The projects and research work performed at CINTI result in publications that are an important part of the research activity. 

The publications were mainly realized in collaboration with the University of Lugano (Switzerland), Oracle Labs (Zurich/Boston), Johannes Kepler University Linz (Austria), University of Bern (Switzerland), University of Darmstadt (Germany), Charles University (Czech Republic), and the University of Shanghai (China).

• AUTOMATED LARGE-SCALE MULTI-LANGUAGE DYNAMIC PROGRAM ANALYSIS IN THE WILD

A. Villazón, H. Sun, A. Rosa, E. Rosales, D. Bonetta, I. Defilippis, S. Oporto, and W. Binder.
33rd European Conference on Object-Oriented Programming (ECOOP-2019), Hammersmith, London, UK, July 2019.
Accepted, Artifact submitted.

• RENAISSANCE: BENCHMARKING SUITE FOR PARALLEL APPLICATIONS ON THE JVM

A. Prokopec, A. Rosa, D. Leopoldseder, G. Duboscq, P. Tuma, M. Studener, L. Bulej, Y. Zheng, A. Villazón, D. Simon, T. Würthinger, and W. Binder. 
40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI-2019), Phoenix, AZ, USA, June 2019.
Accepted, Artifact accepted.

• CAPTURING INTER-PROCESS COMMUNICATION FOR RUNTIME VERIFICATION ON ANDROID

A. Villazón, H. Sun, and W. Binder. 
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2018), Limassol, Cyprus, November 2018.

• A PROGRAMMING MODEL AND FRAMEWORK FOR COMPREHENSIVE DYNAMIC ANALYSIS ON ANDROID

H. Sun, Y. Zheng, L. Bulej, A. Villazón, Z. Qi, P. Tuma, Z. Qi, W. Binder.
14th International Conference on Modularity, Fort Collins, Colorado, USA, 16-19 March. 2015

• TURBO DiSL: PARTIAL EVALUATION FOR HIGH-LEVEL BYTECODE INSTRUMENTATION

Y. Zheng, D. Ansaloni, L. Marek, A. Sewe, W. Binder, A. Villazón, P. Tuma, Z. Qi, M. Mezini.
50th International Conference on Objects, Models, Components, Patterns (TOOLS-2012), Prague, Czech Republic (2012)

• DiSL: AN INTERMEDIATE LANGUAGE FOR DYNAMIC PROGRAM ANALYSIS

L. Marek, A. Villazón, Y. Zheng, D. Ansaloni, W. Binder, Z. Qi.
11th International Conference on Aspect-Oriented Software Development (AOSD-2012), Potsdam, Germany (2012)

• JP2 - COLLECTING DYNAMIC BYTECODE METRICS IN JVMS

A. Sarimbekov, A. Villazón, W. Binder, A. Sewe, and M. Mezini.
2011 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-2011), Portland, Oregon, USA, (2011)