| 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 | 526 | 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 | 145 | 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 | 96 | 2007 |
| Parallel inclusion-based points-to analysis M Méndez-Lojo, A Mathew, K Pingali Proceedings of the ACM international conference on Object oriented …, 2010 | 89 | 2010 |
| 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 | 76 | 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 | 57 | 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 | 41 | 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 | 39 | 2009 |
| 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 | 37 | 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 | 26 | 2007 |
| Precise set sharing analysis for Java-style programs M Méndez-Lojo, M Hermenegildo Verification, Model Checking, and Abstract Interpretation, 172-187, 2008 | 25 | 2008 |
| 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 | 8 | 2008 |
| Efficient set sharing using ZBDDs M Méndez-Lojo, O Lhoták, MV Hermenegildo Languages and Compilers for Parallel Computing: 21th International Workshop …, 2008 | 5 | 2008 |
| Efficient duplicate elimination MM LOJO US Patent 9,378,535, 2016 | 2 | 2016 |
| Precise set sharin analysis for java-style programs (and proofs). M Méndez-Lojo, MV Hermenegildo Technical University of Madrid (UPM), 2007 | 1 | 2007 |
| 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 |
