• English
  • Español
 

Publications - CINTI

    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).

     

    CONFERENCE ARTICLES:

    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

     

    JOURNALS:

     

    FiMAN: SISTEMA COMPUTARIZADO PARA ANÁLISIS DE MOVIMIENTOS DIGITALES
    FiMAN: A COMPUTER SYSTEM FOR FINGER MOTION ANALYSIS
    Miguel Carballo, Marcél Barrero y Alex Villazón
    Investigación & Desarrollo No. 16, Vol. 1, pág. 86-101, 2016

     

    DESARROLLO DE UN ESPECTRÓMETRO DE BAJO COSTO CON UNA REJILLA AJUSTABLE Y CONTROL ELECTRÓNICO INALÁMBRICO
    DEVELOPMENT OF A LOW COST SPECTROMETER WITH ADJUSTABLE GRID AND WIRELESS ELECTRONIC CONTROL
    I. Terceros, O. Ormachea, O. Urquidi, A. Villazón
    Revista Politécnica - Marzo 2016, Vol. 37, No. 1
    http://www.revistapolitecnica.epn.edu.ec/revista_archivos/revista_volumen_37/TOMO1.pdf

     

    HEYCITY: A SOCIAL-ORIENTED APPLICATION AND PLATFORM ON THE CLOUD
    HEYCITY: UNA APLICACIÓN Y PLATAFORMA DE CARÁCTER SOCIAL EN LA NUBE
    M. Rasguido y A. Villazón
    Investigación & Desarrollo # 15, Vol. 1, pág. 19 - 31, 2015 / Abstract / Resumen

     

    GENERALIZING THE COMPOSITIONS OF PETRI NETS MODULES
    A. Marechal and D. Buchs
    Fundamenta Informaticae (2015)
    http://dl.acm.org/citation.cfm?id=2751295

     

    VIRMS: A VEHICLE INFORMATION AND ROAD MONITORING SYSTEM
    VIRMS: UN SISTEMA DE INFORMACIÓN VEHICULAR Y MONITOREO DE CARRETERAS
    F. Arnéz y A. Villazón
    Investigación & Desarrollo # 14, Vol. 2, pág. 94 -107, 2014 / Abstract / Resumen

     

    A PROGRAMMING MODEL AND FRAMEWORK FOR COMPREHENSIVE DYNAMIC ANALYSIS ON ANDROID
    H. Sun, Y. Zheng, L. Bulej, A. Villazón, Z. Qi, P. Tuma, W. Binder
    14th International Conference on Modularity, Fort Collins, Colorado, USA. 16-19 marzo 2015. 
    http://dl.acm.org/citation.cfm?id=2724566

     

    SEA: A PLATFORM FOR DESIGNING, CAPTURING AND PROCESSING LARGE-SCALE SURVEYS
    SEA: UNA PLATAFORMA PARA DISEÑAR, RECOLECTAR Y PROCESAR ENCUESTAS A GRAN ESCALA
    A. Villazón, V. Calderón y I. Krsul
    Investigación & Desarrollo No 13, Vol. 1, pág. 39-55, 2013 / Abstract / Resumen

     

    EXPLOITING DYNAMIC INFORMATION IN IDES IMPROVES SPEED AND CORRECTNESS OF SOFTWARE MAINTENANCE TASKS
    D. Röthlisberger, M. Härry, W. Binder, P. Moret, D. Ansaloni, A. Villazón, O. Nierstrasz.
    IEEE Transactions on Software Engineering (2012)
    http://doi.ieeecomputersociety.org/10.1109/TSE.2011.42

     

    MAJOR: AN ASPECT WEAVER WITH FULL COVERAGE SUPPORT
    A. Villazón, W. Binder, P. Moret, D. Ansaloni.
    Investigación & Desarrollo No. 11, Vol. 1, pág. 46-60, 2011

     

    COMPREHENSIVE ASPECT WEAVING FOR JAVA.
    A. Villazón, W. Binder, P. Moret, D. Ansaloni.
    Concurrency and Computation: Practice and Experience (2011)
    http://dx.doi.org/10.1016/j.scico.2010.04.007

     

    FLEXIBLE AND EFFICIENT PROFILING WITH ASPECT-ORIENTED PROGRAMMING.
    W. Binder, D. Ansaloni, A. Villazón, P. Moret.
    Concurrency and Computation: Practice and Experience (2011)
    http://dx.doi.org/10.1002/cpe.1760

     

    ADVANCED AND RAPID DEVELOPMENT OF DYNAMIC ANALYSIS TOOLS FOR JAVA
    A. Villazón, W. Binder, D. Ansaloni, P. Moret.
    Investigación & Desarrollo No. 10, Vol. 1, pág. 49-66, 2010

     

    VISUALIZING AND EXPLORING PROFILES WITH CALLING CONTEXT RING CHARTS
    P. Moret, W. Binder, D. Ansaloni, A. Villazón, A. Heydarnoori.
    Software: Practice and Experience (2010)
    http://dx.doi.org/10.1002/spe.985

     

     

    English