2008 |
6 | EE | Rafael Asenjo,
Rosa Castillo,
Francisco Corbera,
Angeles G. Navarro,
Adrian Tineo,
Emilio L. Zapata:
Parallelizing irregular C codes assisted by interprocedural shape analysis.
IPDPS 2008: 1-12 |
2007 |
5 | EE | Angeles G. Navarro,
Francisco Corbera,
Adrian Tineo,
Rafael Asenjo,
Emilio L. Zapata:
Detecting loop-carried dependences in programs with dynamic data structures.
J. Parallel Distrib. Comput. 67(1): 47-62 (2007) |
2006 |
4 | EE | Rosa Castillo,
Adrian Tineo,
Francisco Corbera,
Angeles G. Navarro,
Rafael Asenjo,
Emilio L. Zapata:
Towards a Versatile Pointer Analysis Framework.
Euro-Par 2006: 323-333 |
2005 |
3 | EE | Adrian Tineo,
Francisco Corbera,
Angeles G. Navarro,
Rafael Asenjo,
Emilio L. Zapata:
A Novel Approach for Detecting Heap-Based Loop-Carried Dependences.
ICPP 2005: 99-106 |
2 | | Adrian Tineo,
Francisco Corbera,
Angeles G. Navarro,
Rafael Asenjo,
Emilio L. Zapata:
A New Strategy for Shape Analysis Based on Coexistent Link Sets.
PARCO 2005: 557-564 |
2004 |
1 | EE | Angeles G. Navarro,
Francisco Corbera,
Rafael Asenjo,
Adrian Tineo,
Oscar G. Plata,
Emilio L. Zapata:
A New Dependence Test Based on Shape Analysis for Pointer-Based Codes.
LCPC 2004: 394-408 |