BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Hungary
1 × Italy
1 × Norway
1 × Portugal
1 × Russia
1 × Spain
1 × The Netherlands
2 × France
3 × USA
Collaborated with:
E.Albert M.Gómez-Zamalloa S.Genaim G.Puebla D.Zanardini E.Martin-Martin G.Román-Díez J.M.Rojas P.Y.H.Wong D.V.Ramírez-Deantes M.G.d.l.Banda P.J.Stuckey J.Correas A.Flores-Montoya
Talks about:
analysi (8) concurr (7) object (5) field (4) test (4) cost (4) clp (4) sensit (3) variabl (2) generat (2)

Person: Puri Arenas

DBLP DBLP: Arenas:Puri

Contributed to:

FM 20152015
SFM 20142014
TACAS 20142014
ESEC/FSE 20132013
ICLP 20122012
PADL 20122012
PEPM 20122012
LCTES 20112011
SAS 20102010
FM 20092009
SAC 20082008
SAS 20082008
ESOP 20072007
CAV (1) 20172017
PPDP 20162016

Wrote 15 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.
SFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation #testing
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
TACAS-2014-AlbertAFGGMPR #concurrent #named
SACO: Static Analyzer for Concurrent Objects (EA, PA, AFM, SG, MGZ, EMM, GP, GRD), pp. 562–567.
ESEC-FSE-2013-AlbertAGW #concurrent #generative #named #testing
aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
ICLP-2012-AlbertAG #concurrent #testing #towards
Towards Testing Concurrent Objects in CLP (EA, PA, MGZ), pp. 98–108.
PADL-2012-AlbertAG #concurrent #execution #symbolic computation
Symbolic Execution of Concurrent Objects in CLP (EA, PA, MGZ), pp. 123–137.
PEPM-2012-AlbertAGGP #named #termination
COSTABS: a cost and termination analyzer for ABS (EA, PA, SG, MGZ, GP), pp. 151–154.
LCTES-2011-AlbertAGZ #analysis #parallel
Task-level analysis for a language with async/finish parallelism (EA, PA, SG, DZ), pp. 21–30.
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.
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.
ESOP-2007-AlbertAGPZ #bytecode #cost analysis #java
Cost Analysis of Java Bytecode (EA, PA, SG, GP, DZ), pp. 157–172.
CAV-2017-AlbertABGS #partial order #reduction
Context-Sensitive Dynamic Partial Order Reduction (EA, PA, MGdlB, MGZ, PJS), pp. 526–543.
PPDP-2016-AlbertAG #concurrent #imperative #testing #using
Testing of concurrent and imperative software using CLP (EA, PA, MGZ), pp. 1–8.

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.