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: Arenas:Puri
Contributed to:
2015
2014
2014
2013
2012
2012
2012
2011
20102009
20082008
2007
2017
2016Wrote 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.