Volgen
Mario Méndez-Lojo
Mario Méndez-Lojo
Geverifieerd e-mailadres voor nvidia.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
5172011
A GPU implementation of inclusion-based points-to analysis
M Mendez-Lojo, M Burtscher, K Pingali
ACM SIGPLAN Notices 47 (8), 107-116, 2012
1432012
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
952007
Parallel inclusion-based points-to analysis
M Méndez-Lojo, A Mathew, K Pingali
Proceedings of the ACM international conference on Object oriented …, 2010
882010
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
762010
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
562009
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
412008
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
402009
Safe upper-bounds inference of energy consumption for Java bytecode applications
J Navas, M Méndez-Lojo, MV Hermenegildo
Proceedings of The Sixth NASA Langley Formal Methods Workshop, 2008
392008
Precise set sharing analysis for Java-style programs
M Méndez-Lojo, M Hermenegildo
Verification, Model Checking, and Abstract Interpretation, 172-187, 2008
252008
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
252007
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
13*2007
Customizable resource usage analysis for java bytecode
J Navas, M Méndez-Lojo, MV Hermenegildo
University of New Mexico, 2008
82008
Efficient set sharing using ZBDDs
M Méndez-Lojo, O Lhoták, MV Hermenegildo
Languages and Compilers for Parallel Computing: 21th International Workshop …, 2008
52008
Efficient duplicate elimination
MM LOJO
US Patent 9,378,535, 2016
22016
Precise set sharin analysis for java-style programs (and proofs).
M Méndez-Lojo, MV Hermenegildo
Technical University of Madrid (UPM), 2007
12007
Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP
MV Hermenegildo, F Bueno Carrillo, AG Puebla Sánchez, ...
Informatica, 2010
2010
A generic approach to bytecode analysis
M Méndez-Lojo
The University of New Mexico, 2008
2008
Programme Chair
J Boyland, CV Artho, FS de Boer, F Bouquet, A Buckley, P Chalin, ...
2007
An efficient, parametric fixpoint algorithm for incremental analysis of java bytecode
M Méndez-Lojo, J Navas, MV Hermenegildo
Technical University of Madrid (UPM), 2006
2006
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20