|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mario Méndez-Lojo, Martin Burtscher, Keshav Pingali |
A GPU implementation of inclusion-based points-to analysis.  |
PPOPP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali |
Parallel inclusion-based points-to analysis. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
amorphous data-parallelism, cautious operator implementations, iteration coalescing, one-shot optimization, synchronization overheads, optimistic parallelization, irregular programs |
| 1 | Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo |
User-Definable Resource Usage Bounds Analysis for Java Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur |
Sharing analysis of arrays, collections, and recursive structures. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
shared structures, parallelism, shape analysis |
| 1 | Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo |
Efficient Set Sharing Using ZBDDs. |
LCPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Méndez-Lojo, Manuel V. Hermenegildo |
Precise Set Sharing Analysis for Java-Style Programs. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")