2008 |
16 | EE | Rosa Castillo,
Francisco Corbera,
Angeles G. Navarro,
Rafael Asenjo,
Emilio L. Zapata:
Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures.
Euro-Par Workshops 2008: 273-282 |
15 | 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 |
14 | EE | Francisco Corbera,
Eladio Gutiérrez,
Julián Ramos,
Sergio Romero,
María A. Trenas:
Development of a new MOODLE module for a basic course on computer architecture.
ITiCSE 2008: 349 |
2007 |
13 | 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 |
12 | 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 |
11 | 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 |
10 | | 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 |
9 | EE | Oscar G. Plata,
Rafael Asenjo,
Eladio Gutiérrez,
Francisco Corbera,
Angeles G. Navarro,
Emilio L. Zapata:
On the parallelization of irregular and dynamic programs.
Parallel Computing 31(6): 544-562 (2005) |
2004 |
8 | 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 |
7 | EE | Rafael Asenjo,
Francisco Corbera,
Eladio Gutiérrez,
M. A. Navarro,
Oscar G. Plata,
Emilio L. Zapata:
Optimization Techniques for Irregular and Pointer-Based Programs.
PDP 2004: 2- |
6 | EE | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
A Framework to Capture Dynamic Data Structures in Pointer-Based Codes.
IEEE Trans. Parallel Distrib. Syst. 15(2): 151-166 (2004) |
2002 |
5 | EE | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
Towards Compiler Optimization of Codes Based on Arrays of Pointers.
LCPC 2002: 142-156 |
4 | | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
New Shape Analysis and Interprocedural Techniques for Automatic Parallelization of C Codes.
International Journal of Parallel Programming 30(1): 37-63 (2002) |
2001 |
3 | EE | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
Progressive Shape Analysis for Real C Codes.
ICPP 2001: 373-382 |
2000 |
2 | EE | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
Accurate Shape Analysis for Recursive Data Structures.
LCPC 2000: 1-15 |
1999 |
1 | EE | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
New shape analysis techniques for automatic parallelization of C codes.
International Conference on Supercomputing 1999: 220-227 |