Contactos Conócenos


PUBLICACIONES EN CONFERENCIAS

 

CINTI


Los proyectos y trabajos que el CINTI realiza se plasman en Artículos cuya publicación y divulgación constituyen parte central de sus actividades.
Las publicaciones han sido realizadas en colaboración con investigadores de la Universidad de Lugano (Suiza), Oracle Labs (Zurich, Boston), Johannes Kepler University Linz (Austria), Universidad de Berna (Suiza), Universidad de Darmstadt (Alemania), Universidad Charles (Republica Checa) y la Universidad de 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)