Mario Méndez-Lojo

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Gpu Implementation

Super Resolution

Image Registration

Detection Algorithm

Top Venues

Publications

Mario Méndez-Lojo, Martin Burtscher, Keshav Pingali
A GPU implementation of inclusion-based points-to analysis. PPOPP (2012)
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
The tao of parallelism in algorithms. PLDI (2011)
Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali
Parallel inclusion-based points-to analysis. OOPSLA (2010)
Mario Méndez-Lojo, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Muhammad Amber Hassaan, Milind Kulkarni, Martin Burtscher, Keshav Pingali
Structure-driven optimizations for amorphous data-parallel programs. PPOPP (2010)
Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo
User-Definable Resource Usage Bounds Analysis for Java Bytecode. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Mario Méndez-Lojo, Manuel V. Hermenegildo
Precise Set Sharing Analysis for Java-Style Programs. VMCAI (2008)
Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo
Efficient Set Sharing Using ZBDDs. LCPC (2008)
Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur
Sharing analysis of arrays, collections, and recursive structures. PASTE (2008)
Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. Electron. Notes Theor. Comput. Sci. 190 (1) (2007)
Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. LOPSTR (2007)