Elvira Albert

	2009
56		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM 2009: 370-386
55		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Resource Usage Analysis and Its Application to Resource Certification. FOSAD 2009: 258-288
54		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Live heap space analysis for languages with garbage collection. ISMM 2009: 129-138
53		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: On the Generation of Test Data for Prolog by Partial Evaluation CoRR abs/0903.2199: (2009)
52		Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-based homeomorphic embedding for online termination. Inf. Process. Lett. 109(15): 879-886 (2009)
	2008
51		Sergio Antoy, Elvira Albert: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain ACM 2008
50		Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad: Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76
49		Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini: Termination Analysis of Java Bytecode. FMOODS 2008: 2-18
48		Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla: Test Data Generation of Bytecode by CLP Partial Evaluation. LOPSTR 2008: 4-23
47		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Removing useless variables in cost analysis of Java bytecode. SAC 2008: 368-375
46		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS 2008: 221-237
45		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Modular Decompilation of Low-Level Code by Partial Evaluation. SCAM 2008: 239-248
44		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstraction-Carrying Code: a Model for Mobile Code Safety. New Generation Comput. 26(2): 171-204 (2008)
	2007
43		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Cost Analysis of Java Bytecode. ESOP 2007: 157-172
42		Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini: COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO 2007: 113-132
41		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Heap space analysis for java bytecode. ISMM 2007: 105-116
40		Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR 2007: 23-42
39		Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla: Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139
38		Elvira Albert, Puri Arenas, Germán Puebla: Some Issues on Incremental Abstraction-Carrying Code CoRR abs/cs/0701111: (2007)
37		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Experiments in Cost Analysis of Java Bytecode. Electr. Notes Theor. Comput. Sci. 190(1): 67-83 (2007)
36		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Electr. Notes Theor. Comput. Sci. 190(1): 85-101 (2007)
	2006
35		Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo: Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178
34		Elvira Albert, Puri Arenas, Germán Puebla: An Incremental Approach to Abstraction-Carrying Code. LPAR 2006: 377-391
33		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Abstract Interpretation with Specialized Definitions. SAS 2006: 107-126
	2005
32		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP 2005: 407-409
31		Elvira Albert, Germán Puebla, John P. Gallagher: Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. LOPSTR 2005: 115-132
30		John P. Gallagher, Germán Puebla, Elvira Albert: Converting One Type-Based Abstract Domain to Another. LOPSTR 2005: 147-162
29		Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla: Abstraction carrying code and resource-awareness. PPDP 2005: 1-11
28		Germán Puebla, Manuel V. Hermenegildo, Elvira Albert: A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE 2005: 61-76
27		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs CoRR abs/cs/0508111: (2005)
26		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: An Abstract Interpretation-based Approach to Mobile Code Safety. Electr. Notes Theor. Comput. Sci. 132(1): 113-129 (2005)
25		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005)
	2004
24		Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla: Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Euro-Par 2004: 21-36
23		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstract Interpretation-Based Mobile Code Certification. ICLP 2004: 446-447
22		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR 2004: 149-165
21		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstraction-Carrying Code. LPAR 2004: 380-397
20		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) 2004: 1125-1130
	2003
19		Elvira Albert, Josep Silva, Germán Vidal: Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE 2003: 13-24
18		Elvira Albert, Michael Hanus, Germán Vidal: A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett. 85(1): 19-25 (2003)
	2002
17		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: An Operational Semantics for Declarative Multi-Paradigm Languages. Electr. Notes Theor. Comput. Sci. 70(6): (2002)
16		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational Semantics for Functional Logic Languages. Electr. Notes Theor. Comput. Sci. 76: (2002)
15		Elvira Albert, Michael Hanus, Germán Vidal: A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Journal of Functional and Logic Programming 2002: (2002)
	2001
14		Elvira Albert, Michael Hanus, Germán Vidal: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS 2001: 326-342
13		Elvira Albert, Germán Vidal: Symbolic Profiling for Multi-paradigm Declarative Languages. LOPSTR 2001: 148-167
12		Elvira Albert: Partial evaluation of multi-paradigm declarative languages. AI Commun. 14(4): 235-237 (2001)
11		Elvira Albert, Germán Vidal: The Narrowing-driven Approach to Functional Logic Program Specialization. New Generation Comput. 20(1): 3-26 (2001)
	2000
10		Elvira Albert, César Ferri, Frank Steiner, Germán Vidal: Improving Functional Logic Programs by Difference-Lists. ASIAN 2000: 237-254
9		Elvira Albert, Sergio Antoy, Germán Vidal: Measuring the Effectiveness of Partial Evaluation. LOPSTR 2000
8		Elvira Albert, Sergio Antoy, Germán Vidal: Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) 2000: 103-124
7		Elvira Albert, Michael Hanus, Germán Vidal: Using an Abstract Representation to Specialize Functional Logic Programs. LPAR 2000: 381-398
6		Elvira Albert, Michael Hanus, Germán Vidal: Realistic Program Specialization in a Multi-Paradigm Language. WFLP 2000: 104-119
5		Elvira Albert, Sergio Antoy, Germán Vidal: A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP 2000: 120-127
4		Elvira Albert, César Ferri, Frank Steiner, Germán Vidal: List-Processing Optimizations in a Multi-Paradigm Declarative Language. WFLP 2000: 184-194
	1999
3		Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal: A Partial Evaluation Framework for Curry Programs. LPAR 1999: 376-395
	1998
2		Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE 1998: 151-164
1		Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277

Coauthor Index

1	María Alpuente	[1] [2] [3]
2	Sergio Antoy	[5] [8] [9] [51]
3	Puri Arenas (Puri Arenas-Sánchez)	[34] [35] [37] [38] [42] [43] [46] [47] [49] [55] [56]
4	Anindya Banerjee	[50]
5	Michael Codish	[49]
6	Sophia Drossopoulou	[50]
7	Moreno Falaschi	[1] [2]
8	César Ferri (Cèsar Ferri Ramirez)	[4] [10]
9	John P. Gallagher	[30] [31] [40] [52]
10	Samir Genaim	[37] [41] [42] [43] [46] [47] [49] [54] [55] [56]
11	Miguel Gómez-Zamalloa	[36] [39] [40] [41] [45] [48] [52] [53] [54]
12	Michael Hanus	[3] [6] [7] [14] [15] [16] [17] [18] [25]
13	Manuel V. Hermenegildo	[20] [21] [22] [23] [24] [26] [27] [28] [29] [32] [33] [35] [44]
14	Laurent Hubert	[39]
15	Frank Huch	[16] [17] [25]
16	Marieke Huisman	[50]
17	Atsushi Igarashi	[50]
18	Pascual Julián Iranzo (Pascual Julián)	[1] [2]
19	Gary T. Leavens	[50]
20	Pedro López-García	[24] [29]
21	Peter Müller	[50]
22	Javier Oliver	[16] [17] [25]
23	Germán Puebla (German Puebla)	[20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [42] [43] [44] [45] [46] [47] [48] [49] [52] [53] [55] [56]
24	Josep Silva	[19]
25	Frank Steiner	[4] [10]
26	Germán Vidal	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [25]
27	Tobias Wrigstad	[50]
28	Damiano Zanardini	[37] [42] [43] [47] [49] [55]