BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Belgium
1 × Brazil
1 × China
1 × Denmark
1 × Finland
1 × Japan
1 × Korea
1 × Norway
1 × The Netherlands
10 × USA
2 × Germany
2 × Portugal
2 × Sweden
3 × Italy
3 × United Kingdom
5 × France
5 × Spain
Collaborated with:
M.V.Hermenegildo E.Albert M.Gómez-Zamalloa F.Bueno C.Ochoa J.P.Gallagher S.Genaim P.Arenas P.López-García J.Correas K.Marriott P.J.Stuckey G.Román-Díez M.J.G.d.l.Banda M.Carro D.Zanardini E.Mera E.Martin-Martin J.M.Rojas P.Pietrzak L.Hubert P.Arenas-Sánchez J.F.Morales D.C.Gras D.V.Ramírez-Deantes R.Bubel R.Hähnle A.Flores-Montoya
Talks about:
analysi (22) program (21) abstract (12) logic (11) partial (10) evalu (9) base (8) special (6) optim (6) use (6)

Person: Germán Puebla

DBLP DBLP: Puebla:Germ=aacute=n

Facilitated 3 volumes:

PEPM 2009Ed
LOPSTR 2006Ed
SAS 2002Ed

Contributed to:

FM 20152015
TACAS 20142014
IFM 20132013
PEPM 20122012
PEPM 20112011
ICLP 20102010
LOPSTR 20102010
PEPM 20102010
SAS 20102010
FM 20092009
LOPSTR 20082008
PEPM 20082008
QAPL 20082008
SAC 20082008
SAS 20082008
SCAM 20082008
ESOP 20072007
LOPSTR 20072007
PADL 20072007
PEPM 20072007
ICLP 20062006
PPDP 20062006
SAS 20062006
ICLP 20052005
LOPSTR 20052005
PPDP 20052005
ICLP 20042004
LOPSTR 20042004
PDCL 20042004
PEPM 20032003
SAS 20032003
ICALP 20022002
PADL 20022002
LOPSTR 20002000
LOPSTR 20002000
ICLP 19991999
LOPSTR 19991999
PEPM 19991999
ICLP 19971997
ESOP 19961996
LOPSTR 19961996
PLILP 19961996
SAS 19961996
ICLP 19951995
PEPM 19951995

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.