Research Interests
My current work within the ISS group focuses on the parallelization of irregular programs, i.e., algorithms that manipulate pointer-based data structures like graphs. Previously I worked on static analysis using abstract interpretation. More information can be found in my CV.
  Publications in Conferences and Workshops
Structure-driven Optimizations for Amorphous Data-Parallel Programs  (best paper nominee)
M. Méndez-Lojo, D. Nguyen, M. Kulkarni, M. Burtscher, M. Hassan, D. Prountzos, X. Sui, K. Pingali
15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'10.
[pdf]  [slides (pptx)]  [slides (flash)]  [BibTeX]

A Generic Resource Usage Analysis for Java Bytecode
J. Navas, M. Méndez-Lojo, M. Hermenegildo
4th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE'09.
[pdf]  [BibTeX]

Sharing Analysis of Arrays, Collections, and Recursive Structures
M.. Marron, M. Méndez-Lojo, M. Hermenegildo, D. Stefanovic, D. Kapur
8th ACM Workshop on Program Analysis for Software Tools and Engineering, PASTE 2008.
[pdf]  [slides]  [BibTeX]

Efficient Set Sharing using ZBDDs
M. Méndez-Lojo, O. Lhoták, M. Hermenegildo
21st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2008.
[pdf]  [slides]  [BibTeX]

Precise Set Sharing Analysis for Java-style Programs
M. Méndez-Lojo, M. Hermenegildo
9th Int. Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2008.
[pdf]  [slides]  [BibTeX]

A Flexible, (C)LP-based Approach to the Analysis of Object-Oriented Programs
M. Méndez-Lojo, J. Navas, M. Hermenegildo
17th Int. Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007.
[pdf]  [BibTeX]

Generic, Context Sensitive Analysis Framework for Object Oriented Programs
J. Navas, M. Méndez-Lojo, M. Hermenegildo
9th Workshop on Formal Techniques for Java-like Programs, FTfJP'07.
[pdf]

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode
M. Méndez-Lojo, J. Navas, M. Hermenegildo
2nd Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE'07.
[pdf]  [BibTeX]

  Technical Reports
Amorphous Data-parallelism in Irregular Algorithms
K. Pingali, M. Kulkarni, D. Nguyen, M. Burtscher, M. Méndez-Lojo, D. Prountzos, X.Sui, Z.Zhong
The University of Texas at Austin, Department of Computer Sciences, Report# TR-09-05, February 2009.
[pdf]

Technical reports prior to 2009 can be found here.

  Invited Talks and Tutorials
Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications
J. Navas, M. Méndez-Lojo, M. Hermenegildo
LFM'08, The Sixth NASA Langley Formal Methods Workshop, May 2008.
[pdf]

Advanced Program Development Using Abstract Interpretation
M. Hermenegildo, E. Albert, P.Arenas, F.Bueno, P. Lopez-Garcia, M. Méndez-Lojo, G. Puebla
ACM SAC'06, ACM Symposium in Applied Computing (keynote address), April 2006

  Ranked DBLP
DBLP is a priceless source of information for Computer Science researchers. However, venues in the "Refine by Venue" box are not ranked, and sometimes we just do not know how good they are. My small contribution to solve this problem is a Greasemonkey user script that attaches to every conference its position in the Citeseer and CORE rankings. Install the script by clicking on it [requires Firefox and Greasemonkey].