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)

DiSL Reflection API - GPCE'17

tgp - CGO'18

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. Also available for Android.

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

tgp - a tool for profiling task granularity on the JVM

AkkaProf - a tool for profiling Akka actors in parallel and distributed applications

ADRENALIN-RV - a framework for runtime verification on Android

NodeProf - an instrumentation and profiling framework for Graal.js

AsyncG - a debugger for asynchronous executions in Node.js



Fundamentals of Parallel Programming for Platform-as-a-Service Clouds
SNF Project 153560. Nov. 2014 - Oct. 2017.

LoadOpt - Workload Characterization and Optimization for Multicore Systems
SNF Project 200021_141002. Mar. 2013 - Feb. 2017.

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.