Mario Méndez-Lojo

According to our database, Mario Méndez-Lojo authored at least 10 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A GPU implementation of inclusion-based points-to analysis.

Mario Méndez-Lojo, Martin Burtscher, Keshav Pingali

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

2011

The tao of parallelism in algorithms.

Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Structure-driven optimizations for amorphous data-parallel programs.

Mario Méndez-Lojo, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Muhammad Amber Hassaan, Milind Kulkarni, Martin Burtscher, Keshav Pingali

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Parallel inclusion-based points-to analysis.

Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

User-Definable Resource Usage Bounds Analysis for Java Bytecode.

Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

2008

Precise Set Sharing Analysis for Java-Style Programs.

Mario Méndez-Lojo, Manuel V. Hermenegildo

Proceedings of the Verification, 2008

Sharing analysis of arrays, collections, and recursive structures.

Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Efficient Set Sharing Using ZBDDs.

Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo

Proceedings of the Languages and Compilers for Parallel Computing, 2008

2007

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode.

Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo

Proceedings of the Second Workshop on Bytecode Semantics, 2007

A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.

Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007