Travelled to:1 × Austria
1 × Denmark
1 × Estonia
1 × France
1 × Hungary
1 × Italy
1 × Spain
1 × Switzerland
2 × USA
2 × United Kingdom
Collaborated with:J.Silva M.Llorens J.Oliver R.Caballero E.Martin-Martin A.Riesco G.Vidal C.Herrero M.Leuschel K.F.Sagonas C.Tomás J.M.Almendros-Jiménez G.Vigueras M.Carro J.Mariño G.Arroyo J.G.Ramos S.Fischer
Talks about:program (7) sequenti (3) erlang (3) graph (3) csp (3) transform (2) influenc (2) function (2) generat (2) analysi (2)
Person: Salvador Tamarit
DBLP: Tamarit:Salvador
Contributed to:
2015
2014
2013
2013
2013
2012
2011
2010
2010200920082007Wrote 14 papers:
- PADL-2015-TamaritVCM #c #haskell #implementation #program transformation #rule-based #source code
- A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
- TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code
- EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
- ITiCSE-2013-HerreroLOST #student
- The influence of students distribution on their grades (CH, ML, JO, JS, ST), p. 316.
- ITiCSE-2013-HerreroLOST13a #analysis #empirical #performance
- An empirical analysis of the influence of classmates on the academic performance (CH, ML, JO, JS, ST), p. 328.
- PEPM-2013-SagonasST #fault #precise #type system
- Precise explanation of success typing errors (KFS, JS, ST), pp. 33–42.
- TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code
- A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
- FASE-2012-SilvaTT #dependence #erlang #graph
- System Dependence Graphs in Sequential Erlang (JS, ST, CT), pp. 486–500.
- CIKM-2011-Almendros-JimenezST #optimisation #slicing #xquery
- XQuery optimization based on program slicing (JMAJ, JS, ST), pp. 1525–1534.
- LOPSTR-2010-LlorensOST #csp #generative #graph #process
- Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
- SAC-2010-LlorensOST #algorithm #control flow #graph
- An algorithm to generate the context-sensitive synchronized control flow graph (ML, JO, JS, ST), pp. 2144–2148.
- PEPM-2009-LeuschelLOST #csp #named #slicing #specification
- SOC: a slicer for CSP specifications (ML, ML, JO, JS, ST), pp. 165–168.
- LOPSTR-2008-ArroyoRTV #approach #functional #higher-order #source code
- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (GA, JGR, ST, GV), pp. 40–54.
- LOPSTR-2008-LeuschelLOST #csp #specification #static analysis
- The MEB and CEB Static Analysis for CSP Specifications (ML, ML, JO, JS, ST), pp. 103–118.
- LOPSTR-2007-FischerSTV #functional #lazy evaluation #partial evaluation #source code
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.