Person: Germán Puebla

DBLP: Puebla:Germ=aacute=n

Facilitated 3 volumes:

Ed

Ed

Ed

Contributed to:

2015

2014

2013

2012

2011

2010

2010

2010

2010

2009

2008

2008

2008

2008

2008

2008

2007

2007

2007

2007

2006

2006

2006

2005

2005

2005

2004

2004

2004

2003

2003

2002

2002

2000

2000

1999

1999

1999

1997

1996

1996

1996

1996

1995

1995

Wrote 52 papers:

FM-2015-AlbertACGGMPR #analysis #concurrent #distributed #source code

Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.

TACAS-2014-AlbertAFGGMPR #concurrent #named

SACO: Static Analyzer for Concurrent Objects (EA, PA, AFM, SG, MGZ, EMM, GP, GRD), pp. 562–567.

IFM-2013-AlbertCPR #abstraction #distributed #quantifier

Quantified Abstractions of Distributed Systems (EA, JC, GP, GRD), pp. 285–300.

PEPM-2012-AlbertAGGP #named #termination

COSTABS: a cost and termination analyzer for ABS (EA, PA, SG, MGZ, GP), pp. 151–154.

PEPM-2012-AlbertCPR #analysis #incremental #resource management

Incremental resource usage analysis (EA, JC, GP, GRD), pp. 25–34.

PEPM-2011-AlbertBGHPR #using

Verified resource guarantees using COSTA and KeY (EA, RB, SG, RH, GP, GRD), pp. 73–76.

ICLP-J-2010-Gomez-ZamalloaAP #generative #imperative #object-oriented #testing

Test case generation for object-oriented imperative languages in CLP (MGZ, EA, GP), pp. 659–674.

LOPSTR-2010-AlbertGRP #composition #generative #imperative #testing

Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.

PEPM-2010-AlbertGP #bytecode #generative #java #named #partial evaluation #testing

PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.

SAS-2010-AlbertAGPD #analysis #approach

From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis (EA, PA, SG, GP, DVRD), pp. 100–116.

FM-2009-AlbertAGP #analysis

Field-Sensitive Value Analysis by Field-Insensitive Analysis (EA, PA, SG, GP), pp. 370–386.

LOPSTR-2008-AlbertGP #bytecode #generative #partial evaluation #testing

Test Data Generation of Bytecode by CLP Partial Evaluation (EA, MGZ, GP), pp. 4–23.

PEPM-2008-PietrzakCPH #analysis #composition #prolog #source code #verification

A practical type analysis for verification of modular prolog programs (PP, JC, GP, MVH), pp. 61–70.

QAPL-2008-OchoaP #partial evaluation

Oracle-Based Partial Evaluation (CO, GP), pp. 145–161.

SAC-2008-AlbertAGPZ #bytecode #cost analysis #java

Removing useless variables in cost analysis of Java bytecode (EA, PA, SG, GP, DZ), pp. 368–375.

SAS-2008-AlbertAGP #automation #bound #cost analysis

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis (EA, PA, SG, GP), pp. 221–237.

SCAM-2008-Gomez-ZamalloaAP #composition #decompiler #low level #partial evaluation

Modular Decompilation of Low-Level Code by Partial Evaluation (MGZ, EA, GP), pp. 239–248.

ESOP-2007-AlbertAGPZ #bytecode #cost analysis #java

Cost Analysis of Java Bytecode (EA, PA, SG, GP, DZ), pp. 157–172.

LOPSTR-2007-AlbertGGP #online #partial evaluation #type system

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (EA, JPG, MGZ, GP), pp. 23–42.

PADL-2007-AlbertGHP #analysis #bytecode #java #logic programming #source code #using #verification

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs (EA, MGZ, LH, GP), pp. 124–139.

PADL-2007-MeraLPCH #execution #profiling #static analysis

Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.

PEPM-2007-OchoaP #partial evaluation

Poly-controlled partial evaluation in practice (CO, GP), pp. 164–173.

ICLP-2006-AlbertAPH

Reduced Certificates for Abstraction-Carrying Code (EA, PAS, GP, MVH), pp. 163–178.

ICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.

PPDP-2006-PueblaO #partial evaluation

Poly-controlled partial evaluation (GP, CO), pp. 261–271.

SAS-2006-PueblaAH #abstract interpretation

Abstract Interpretation with Specialized Definitions (GP, EA, MVH), pp. 107–126.

ICLP-2005-MoralesCPH #automaton #generative #implementation #performance

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization (JFM, MC, GP, MVH), pp. 21–36.

ICLP-2005-PueblaAH #analysis #framework #logic programming #source code

A Generic Framework for the Analysis and Specialization of Logic Programs (GP, EA, MVH), pp. 407–409.

LOPSTR-2005-AlbertPG #logic programming #partial evaluation #source code

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (EA, GP, JPG), pp. 115–132.

LOPSTR-2005-CorreasPHB #analysis #composition #source code

Experiments in Context-Sensitive Analysis of Modular Programs (JC, GP, MVH, FB), pp. 163–178.

LOPSTR-2005-GallagherPA #abstract domain #type system

Converting One Type-Based Abstract Domain to Another (JPG, GP, EA), pp. 147–162.

LOPSTR-2005-OchoaPH #prolog #source code

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs (CO, GP, MVH), pp. 80–97.

PPDP-2005-HermenegildoALP #abstraction

Abstraction carrying code and resource-awareness (MVH, EA, PLG, GP), pp. 1–11.

ICLP-2004-AlbertPH #abstract interpretation #certification #mobile

Abstract Interpretation-Based Mobile Code Certification (EA, GP, MVH), pp. 446–447.

LOPSTR-2004-PueblaAH #performance #prolog

Efficient Local Unfolding with Ancestor Stacks for Full Prolog (GP, EA, MVH), pp. 149–165.

PDCL-2004-PueblaCHBBMS #analysis #composition #framework #source code

A Generic Framework for Context-Sensitive Analysis of Modular Programs (GP, JC, MVH, FB, MJGdlB, KM, PJS), pp. 233–260.

PEPM-2003-PueblaH

Abstract specialization and its applications (GP, MVH), pp. 29–43.

SAS-2003-HermenegildoPBL #abstract interpretation #development #preprocessor #using

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor) (MVH, GP, FB, PLG), pp. 127–152.

ICALP-2002-HermenegildoPBL #approximate #debugging #semantics #specification #using #validation

Program Debugging and Validation Using Semantic Approximations and Partial Specifications (MVH, GP, FB, PLG), pp. 69–72.

PADL-2002-GallagherP #abstract interpretation #analysis #automaton #finite #logic programming #nondeterminism #source code

Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs (JPG, GP), pp. 243–261.

LOPSTR-2000-BuenoBHMPS #analysis #compilation #optimisation

A model for inter-module analysis and optimizing compilation (FB, MJGdlB, MVH, KM, GP, PJS).

LOPSTR-J-2000-BuenoBHMPS #analysis #compilation #optimisation

A Model for Inter-module Analysis and Optimizing Compilation (FB, MJGdlB, MVH, KM, GP, PJS), pp. 86–102.

ICLP-1999-HermenegildoBPL #debugging #optimisation #preprocessor #program analysis #using

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor (MVH, FB, GP, PLG), pp. 52–66.

LOPSTR-1999-PueblaBH #constraints #debugging #logic programming #source code

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (GP, FB, MVH), pp. 273–292.

PEPM-1999-PueblaHG #abstract interpretation #framework #integration #partial evaluation

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework (GP, MVH, JPG), pp. 75–84.

ICLP-1997-PueblaBMS #logic programming #optimisation #scheduling #source code

Optimization of Logic Programs with Dynamic Scheduling (GP, MJGdlB, KM, PJS), pp. 93–107.

ESOP-1996-BuenoGHP #analysis #prolog #source code #standard

Global Analysis of Standard Prolog Programs (FB, DCG, MVH, GP), pp. 108–124.

LOPSTR-1996-PueblaH #parallel

Abstract Specialization and Its Application to Program Parallelization (GP, MVH), pp. 169–186.

PLILP-1996-PueblaH #automation #logic programming #optimisation #scheduling #source code

Automatic Optimization of Dynamic Scheduling in Logic Programs (GP, MVH), pp. 475–476.

SAS-1996-PueblaH #algorithm #analysis #incremental #logic programming #source code

Optimized Algorithms for Incremental Analysis of Logic Programs (GP, MVH), pp. 270–284.

ICLP-1995-HermenegildoPMS #analysis #incremental #logic programming #source code

Incremental Analysis of Logic Programs (MVH, GP, KM, PJS), pp. 797–811.

PEPM-1995-PueblaH #implementation #logic programming #multi #source code

Implementation of Multiple Specialization in Logic Programs (GP, MVH), pp. 77–87.