| 2008 |
|---|
| 5 | EE | Mario Méndez-Lojo,
Ondrej Lhoták,
Manuel V. Hermenegildo:
Efficient Set Sharing Using ZBDDs.
LCPC 2008: 47-63 |
| 4 | EE | Mark Marron,
Mario Méndez-Lojo,
Manuel V. Hermenegildo,
Darko Stefanovic,
Deepak Kapur:
Sharing analysis of arrays, collections, and recursive structures.
PASTE 2008: 43-49 |
| 3 | EE | Mario Méndez-Lojo,
Manuel V. Hermenegildo:
Precise Set Sharing Analysis for Java-Style Programs.
VMCAI 2008: 172-187 |
| 2007 |
|---|
| 2 | EE | Mario Méndez-Lojo,
Jorge Navas,
Manuel V. Hermenegildo:
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.
LOPSTR 2007: 154-168 |
| 1 | EE | Mario Méndez-Lojo,
Jorge Navas,
Manuel V. Hermenegildo:
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode.
Electr. Notes Theor. Comput. Sci. 190(1): 51-66 (2007) |
