팔로우
Mario Méndez-Lojo
제목
인용
인용
연도
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
5062011
A GPU implementation of inclusion-based points-to analysis
M Mendez-Lojo, M Burtscher, K Pingali
ACM SIGPLAN Notices 47 (8), 107-116, 2012
1392012
A flexible,(C) LP-based approach to the analysis of object-oriented programs
M Méndez-Lojo, J Navas, MV Hermenegildo
Logic-Based Program Synthesis and Transformation: 17th International …, 2008
942008
Parallel inclusion-based points-to analysis
M Méndez-Lojo, A Mathew, K Pingali
Proceedings of the ACM international conference on Object oriented …, 2010
862010
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
742010
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
572009
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
392009
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
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
242007
Precise set sharing analysis for Java-style programs
M Méndez-Lojo, M Hermenegildo
Verification, Model Checking, and Abstract Interpretation, 172-187, 2008
232008
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20