Elvira Albert

	2012
85		Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez: Verified Resource Guarantees for Heap Manipulating Programs. FASE 2012: 130-145
84		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11
83		Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa: Symbolic Execution of Concurrent Objects in CLP. PADL 2012: 123-137
82		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: COSTABS: a cost and termination analyzer for ABS. PEPM 2012: 151-154
81		Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez: Incremental resource usage analysis. PEPM 2012: 25-34
80		Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini: Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413(1): 142-159 (2012)
	2011
79		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla: Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254
78		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM 2011: 353-368
77		Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini: Task-level analysis for a language with async/finish parallelism. LCTES 2011: 21-30
76		Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez: Verified resource guarantees using COSTA and KeY. PEPM 2011: 73-76
75		Elvira Albert, Samir Genaim, Abu Naser Masud: More Precise Yet Widely Applicable Cost Analysis. VMCAI 2011: 38-53
74		Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez: jPET: An Automatic Test-Case Generator for Java. WCRE 2011: 441-442
73		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reasoning 46(2): 161-203 (2011)
72		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient local unfolding with ancestor stacks. TPLP 11(1): 1-32 (2011)
	2010
71		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Parametric inference of memory requirements for garbage collected languages. ISMM 2010: 121-130
70		Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla: Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR 2010: 99-116
69		Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla: PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM 2010: 25-28
68		Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes: From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS 2010: 100-116
67		Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla: Verification of Java Bytecode using Analysis and Transformation of Logic Programs CoRR abs/1007.3250: (2010)
66		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Test Case Generation for Object-Oriented Imperative Languages in CLP CoRR abs/1007.5195: (2010)
65		Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo: Certificate size reduction in Abstraction-Carrying Code CoRR abs/1010.4533: (2010)
64		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Test case generation for object-oriented imperative languages in CLP. TPLP 10(4-6): 659-674 (2010)
	2009
63		Elvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla: Asymptotic Resource Usage Bounds. APLAS 2009: 294-310
62		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM 2009: 370-386
61		Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla: Comparing Cost Functions in Resource Analysis. FOPARA 2009: 1-17
60		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Resource Usage Analysis and Its Application to Resource Certification. FOSAD 2009: 258-288
59		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Live heap space analysis for languages with garbage collection. ISMM 2009: 129-138
58		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)
57		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks CoRR abs/0911.4047: (2009)
56		Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. Electr. Notes Theor. Comput. Sci. 248: 31-46 (2009)
55		Elvira Albert, Samir Genaim: Preface. Electr. Notes Theor. Comput. Sci. 253(5): 1-2 (2009)
54		Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini: Termination and Cost Analysis with COSTA and its User Interfaces. Electr. Notes Theor. Comput. Sci. 258(1): 109-121 (2009)
53		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)
52		Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Decompilation of Java bytecode to Prolog by partial evaluation. Information & Software Technology 51(10): 1409-1427 (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): 62-83 (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: 1-19 (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	Diego Alonso	[63]
2	María Alpuente	[1] [2] [3]
3	Sergio Antoy	[5] [8] [9] [51]
4	Puri Arenas (Puri Arenas-Sánchez)	[34] [35] [37] [38] [42] [43] [46] [47] [49] [54] [56] [60] [61] [62] [63] [65] [68] [73] [77] [79] [80] [82] [83] [84]
5	Anindya Banerjee	[50]
6	Richard Bubel	[76] [85]
7	Israel Cabanas	[74]
8	Michael Codish	[49]
9	Jesús Correas	[81]
10	Sophia Drossopoulou	[50]
11	Moreno Falaschi	[1] [2]
12	César Ferri (Cèsar Ferri Ramirez)	[4] [10]
13	Antonio Flores-Montoya	[74]
14	John P. Gallagher	[30] [31] [40] [53]
15	Samir Genaim	[37] [41] [42] [43] [46] [47] [49] [54] [55] [56] [59] [60] [61] [62] [63] [68] [71] [73] [75] [76] [77] [78] [79] [80] [82] [84] [85]
16	Miguel Gómez-Zamalloa	[36] [39] [40] [41] [45] [48] [52] [53] [54] [58] [59] [64] [66] [67] [69] [70] [71] [74] [78] [79] [82] [83] [84]
17	Sergio Gutierrez	[74]
18	Reiner Hähnle	[76] [85]
19	Michael Hanus	[3] [6] [7] [14] [15] [16] [17] [18] [25]
20	Manuel V. Hermenegildo	[20] [21] [22] [23] [24] [26] [27] [28] [29] [32] [33] [35] [44] [57] [65] [72]
21	Israel Herraiz	[61]
22	Laurent Hubert	[39] [67]
23	Frank Huch	[16] [17] [25]
24	Marieke Huisman	[50]
25	Atsushi Igarashi	[50]
26	Pascual Julián Iranzo (Pascual Julián)	[1] [2]
27	Einar Broch Johnsen	[78]
28	Gary T. Leavens	[50]
29	Pedro López-García	[24] [29]
30	Abu Naser Masud	[75]
31	Peter Müller	[50]
32	Javier Oliver	[16] [17] [25]
33	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] [54] [56] [57] [58] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [72] [73] [76] [79] [80] [81] [82] [84]
34	Diana V. Ramírez-Deantes	[54] [68]
35	José Miguel Rojas (José Miguel Rojas Siles)	[70]
36	Guillermo Román-Díez	[54] [76] [81] [85]
37	Rudolf Schlatte	[78]
38	Josep Silva	[19]
39	Frank Steiner	[4] [10]
40	Silvia Lizeth Tapia Tarifa	[78]
41	Germán Vidal	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [25]
42	Tobias Wrigstad	[50]
43	Damiano Zanardini	[37] [42] [43] [47] [49] [54] [60] [77] [80]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page