• English
  • Español
 

CINTI - Publications in Proceedings

 

     

    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.
    https://doi.org/10.1007/978-3-030-03427-6_4

     

    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
    http://dl.acm.org/citation.cfm?id=2724566

     

    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)
    http://dx.doi.org/10.1007/978-3-642-30561-0_24

     

    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)
    http://dx.doi.org/10.1145/2162049.2162077

     

    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)
    http://dx.doi.org/10.1145/2048147.2048165

     

     

     

    English
    Volver