Guillermo A. Pérez

Validating Streaming JSON Documents with Learned VPAs

V. Bruyère, Gaëtan Staquet, Guillermo A. Pérez, 2022, 2211.08891.

A method-based ahead-of-time compiler for Android applications

Wei-Kuan Shih, Yeh-Ching Chung, Guillermo A. Pérez, 2011, 2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES).

Learning Realtime One-Counter Automata

V. Bruyère, Gaëtan Staquet, Guillermo A. Pérez, 2021, TACAS.