Dynamic Analysis Group focuses on the runtime behavior of your software.


Dynamic Analysis Group is a research group at Faculty of Informatics of Università della Svizzera italiana (USI, A.K.A. University of Lugano) in Switzerland.

It was founded by Prof. Walter Binder in 2006.

Our research interests include dynamic program analysis, virtual machines, parallel programming, and cloud computing.

PhD students

Former Members

Publication Highlights

DiSL - AOSD'12


ShadowVM - GPCE'13, Modularity'15

Prof. Acc - OOPSLA'15 (Distinguished paper)

Check out Prof. Walter Binder's publications in DBLP


DiSL - a Domain-Specific Language for Instrumentation

FRANC - a FRamework for ANalysis Composition

ShadowVM - a system that allows dynamic analyses execute asynchronously with respect to the observed program

Prof. Acc - an extension to Oracle's Graal compiler that enables accurate profiling in the presence of dynamic compilation



FAN: Foundations of dynamic program ANalysis
SNF Sinergia Project CRSII2_136225. Apr 2012 - Mar. 2015.

SOSOA: Self-Organizing Service-Oriented Architectures
SNF Sinergia Project CRSI22_127386/1. Feb. 2010 - Jan. 2013.

CIAO: Composite Instrumentations And Optimizations for multicores
SNF Project 200020_132663/1. Oct. 2010 - Sep. 2011.

FERRARI: Framework for Efficient Rewriting and Reification Applying Runtime Instrumentation
SNF Project 200021_118016/1. Oct. 2007 - Sep. 2010.