Mario Méndez-Lojo
Cited by
Cited by
The tao of parallelism in algorithms
K Pingali, D Nguyen, M Kulkarni, M Burtscher, MA Hassaan, R Kaleem, ...
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
A GPU implementation of inclusion-based points-to analysis
M Mendez-Lojo, M Burtscher, K Pingali
ACM SIGPLAN Notices 47 (8), 107-116, 2012
A flexible,(C) LP-based approach to the analysis of object-oriented programs
M Méndez-Lojo, J Navas, MV Hermenegildo
International Symposium on Logic-Based Program Synthesis and Transformation …, 2007
Structure-driven optimizations for amorphous data-parallel programs
M Méndez-Lojo, D Nguyen, D Prountzos, X Sui, MA Hassaan, M Kulkarni, ...
ACM Sigplan Notices 45 (5), 3-14, 2010
Parallel inclusion-based points-to analysis
M Méndez-Lojo, A Mathew, K Pingali
Proceedings of the ACM international conference on Object oriented …, 2010
User-definable resource usage bounds analysis for Java bytecode
J Navas, M Méndez-Lojo, MV Hermenegildo
Electronic Notes in Theoretical Computer Science 253 (5), 65-82, 2009
Sharing analysis of arrays, collections, and recursive structures
M Marron, M Méndez-Lojo, M Hermenegildo, D Stefanovic, D Kapur
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2008
Amorphous data-parallelism in irregular algorithms
K Pingali, M Kulkarni, D Nguyen, M Burtscher, M Mendez-Lojo, ...
The University of Texas at Austin, Department of Computer Sciences, Austin …, 2009
Safe upper-bounds inference of energy consumption for Java bytecode applications
J Navas, M Méndez-Lojo, M Hermenegildo
The Sixth NASA Langley Formal Methods Workshop (LFM 08), 29-32, 2008
Precise set sharing analysis for Java-style programs
M Méndez-Lojo, M Hermenegildo
Verification, Model Checking, and Abstract Interpretation, 172-187, 2008
An efficient, parametric fixpoint algorithm for analysis of Java bytecode
M Méndez, J Navas, MV Hermenegildo
Electronic Notes in Theoretical Computer Science 190 (1), 51-66, 2007
A Generic, Context Sensitive Analysis Framework for Object Oriented Programs
J Navas, M Méndez-Lojo, MV Hermenegildo
9th Workshop on Formal Techniques for Java-like Programs FTfJP, 109-120, 2007
Customizable resource usage analysis for java bytecode
J Navas, M Méndez-Lojo, M Hermenegildo
Deliverable 2.6 Preliminary Report on Advanced Resource Policies, 222, 2008
Efficient Set Sharing using ZBDDs
M Méndez-Lojo, O Lhoták, MV Hermenegildo
International Workshop on Languages and Compilers for Parallel Computing, 47-63, 2008
Efficient duplicate elimination
US Patent 9,378,535, 2016
A generic approach to bytecode analysis
M Méndez-Lojo
University of New Mexico, 2008
User-Definable Resource Usage Bounds Analysis for Java Bytecode
M Méndez-Lojo
Precise Set Sharing Analysis for Java-style Programs (and proofs)
M Méndez-Lojo, MV Hermenegildo
Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP
M Hermenegildo
The system can't perform the operation now. Try again later.
Articles 1–19