Ph.D. student
Dynamic Analysis Group
Faculty of Informatics
University of Lugano (USI)
Faculty of Informatics
Via Giuseppe Buffi 13
CH-6904 Lugano

Phone +41 58 666 4326

I'm a Ph.D. student in the Dynamic Analysis Group at University of Lugano, under the supervision of Prof.Walter Binder.
I am generally interested in program analysis and programming languages.


DiSL is a Domain-Specific Language for Instrumentation that uses Java methods to define the JVM bytecode to be inserted, and Java annotations for indicating the instrumentation site. Turbo is a partial evaluator for JVM bytecode integrated with the DiSL weaver.

ShadowVM is a system that allows dynamic analyses execute asynchronously with respect to the observed program, introducing parallelism to mitigate isolation-induced slowdowns.

FRANC is a FRamework for ANalysis Composition, which focuses on encapsulating instrumentation behind listener-like event interfaces, and subsequently processing events in plain, annotation-free Java code.


Journal Papers
  • Gengbiao Chen, Zhengwei Qi, Shiqiu Huang, Kangqi Ni, Yudi Zheng, Walter Binder and Haibing Guan. A refined decompiler to generate C code with high readability. Accepted by Software: Practice and Experience.
Conference Papers
  • Lukas Marek, Stephen Kell, Yudi Zheng, Lubomir Bulej, Walter Binder, Petr Tuma, Danilo Ansaloni, Aibek Sarimbekov, and Andreas Sewe. ShadowVM: Robust and Comprehensive Dynamic Analysis for the Java Platform. GPCE 2013, Indianapolis, Indiana, October 27-28, 2013.
  • Rui Xin, Shiqiu Huang, Chengcheng Xiang, Yudi Zheng and Zhengwei Qi. An Automation-assisted Empirical Study on Lock Usage for Concurrent Programs. ICSM 2013, Eindhoven, The Netherlands, September 24-26, 2013.
  • Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomir Bulej, Walter Binder, and Petr Tuma. Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. ECOOP 2013, Montpellier, France, July 1-5, 2013. LNCS, pp. 352-377.
  • Yudi Zheng, Danilo Ansaloni, Lukas Marek, Andreas Sewe, Walter Binder, Alex Villazon, Petr Tuma, Zhengwei Qi and Mira Mezini. Turbo DiSL: Partial Evaluation for High-level Bytecode Instrumentation. TOOLS 2012, Prague, Czech Republic, May 28 - June 1, 2012. LNCS, pp. 353-368.
  • Danilo Ansaloni, Walter Binder, Christoph Bockish, Eric Bodden, Kardelen Hatun, Lukas Marek, Zhengwei Qi, Aibek Sarimbekov, Andreas Sewe, Petr Tuma and Yudi Zheng. Challenges for Refinement and Composition of Instrumentations: Position Paper. SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. LNCS, pp. 86-96.
  • Lukas Marek, Alex Villazon, Yudi Zheng, Danilo Ansoloni, Walter Binder and Zhengwei Qi. DiSL: a domain-specific language for bytecode instrumentation. AOSD 2012, Potsdam, Germany, March 25 - 30, 2012. ACM Press, pp. 239-250.
Workshop Papers
Invited Talk
Tool Demo