Contactos Conócenos

Publicaciones - CINTI

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

ARTICULOS DE CONFERENCIA ARBITRADOS:

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 / REVISTAS:

DESARROLLO DE UN MICROSCOPIO DE EPIFLUORESCENCIA DE BAJO COSTO

A SPECTROMETER BASED ON SMARTPHONES AND A LOW-COST KIT FOR TRANSMITTANCE AND ABSORBANCE MEASUREMENTS IN REAL-TIME

O. Ormachea, A. Villazón y R. Escalera.  

Revista Óptica Pura y Aplicada. Vol. 50, No 3, pág. 239-249, 2017


DESARROLLO DE UN ESPECTRÓMETRO DE BAJO COSTO CON UNA REJILLA AJUSTABLE Y CONTROL ELECTRÓNICO INALÁMBRICO

I. Terceros, O. Ormachea, O. Urquidi, A. Villazón .

Revista Politécnica. Vol. 37, No. 1. Marzo 2016.


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: UNA APLICACIÓN Y PLATAFORMA DE CARÁCTER SOCIAL EN LA NUBE

HEYCITY: A SOCIAL-ORIENTED APPLICATION AND PLATFORM ON THE CLOUD

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