Research Interests
My current work within the ISS group focuses on parallelization of irregular programs, i.e., algorithms that manipulate complex data structures like graphs, and present some data parallelism. 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
    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.

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

  • Sharing Analysis of Arrays, Collections, and Recursive Structures  [pdf]  [slides]  [BibTeX]
    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.

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

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

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

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

  • An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode  [pdf]  [BibTeX]
    M. Méndez-Lojo, J. Navas, M. Hermenegildo
    2nd Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE'07.
  Technical Reports
  • Amorphous Data-parallelism in Irregular Algorithms  [pdf]
    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.

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

  • 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].