A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. - Mario Méndez-Lojo; Jorge A. Navas; Manuel V. Hermenegildo (LOPSTR, 2007)

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. - Mario Méndez-Lojo; Jorge A. Navas; Manuel V. Hermenegildo (Bytecode@ETAPS, 2007)

Efficient Set Sharing Using ZBDDs. - Mario Méndez-Lojo; Ondrej Lhoták; Manuel V. Hermenegildo (LCPC, 2008)

Sharing analysis of arrays, collections, and recursive structures. - Mark Marron; Mario Méndez-Lojo; Manuel V. Hermenegildo; Darko Stefanovic; Deepak Kapur (PASTE, 2008)

Precise Set Sharing Analysis for Java-Style Programs. - Mario Méndez-Lojo; Manuel V. Hermenegildo (VMCAI, 2008)

User-Definable Resource Usage Bounds Analysis for Java Bytecode. - Jorge A. Navas; Mario Méndez-Lojo; Manuel V. Hermenegildo (BYTECODE@ETAPS, 2009)

Parallel inclusion-based points-to analysis. - Mario Méndez-Lojo; Augustine Mathew; Keshav Pingali (OOPSLA, 2010)

Structure-driven optimizations for amorphous data-parallel programs. - Mario Méndez-Lojo; Donald Nguyen; Dimitrios Prountzos; Xin Sui; Muhammad Amber Hassaan; Milind Kulkarni 001; Martin Burtscher; Keshav Pingali (PPoPP, 2010)

The tao of parallelism in algorithms. - Keshav Pingali; Donald Nguyen; Milind Kulkarni 001; Martin Burtscher; Muhammad Amber Hassaan; Rashid Kaleem; Tsung-Hsien Lee; Andrew Lenharth; Roman Manevich; Mario Méndez-Lojo; Dimitrios Prountzos; Xin Sui (PLDI, 2011)

A GPU implementation of inclusion-based points-to analysis. - Mario Méndez-Lojo; Martin Burtscher; Keshav Pingali (PPoPP, 2012)