Adrian Palacios Applied Scientist at Amazon Web Services PhD in Computer Science from UPV Curriculum vitae Email: accorell [at] amazon [dot] com Phone: +1 (857) 210-9288 Address: Amazon Web Services 27 Melcher St Boston, MA 02210 Links: [Blog | GitHub | ResearchGate]

Research

Formal verification, Functional programming, Reversible computing, Concurrency

Publications [dblp | Scholar]

Towards Modelling Actor-Based Concurrency in Term Rewriting
A. Palacios and G. Vidal
WPTE 2015, Warsaw [PDF | slides]

Concolic Execution in Functional Programming by Program Instrumentation
A. Palacios and G. Vidal
LOPSTR 2015, Sienna [PDF | slides]

Reversible Term Rewriting
N. Nishida, A. Palacios and G. Vidal
FSCD 2016, Porto [PDF | slides]

A Reversible Semantics for Erlang
N. Nishida, A. Palacios and G. Vidal
LOPSTR 2016, Edinburgh [PDF | slides]

Safe Sessions for Erlang
A. Palacios
PLDI 2017 SRC, Barcelona [PDF | poster | slides]

Reversible Computation in Term Rewriting
N. Nishida, A. Palacios and G. Vidal
Journal of Logical and Algebraic Methods in Programming, 2018 [PDF]

A Theory of Reversibility for Erlang
I. Lanese, N. Nishida, A. Palacios and G. Vidal
Journal of Logical and Algebraic Methods in Programming, 2018 [PDF]

CauDEr: A Causal-Consistent Reversible Debugger for Erlang
I. Lanese, N. Nishida, A. Palacios and G. Vidal
FLOPS 2018, Nagoya [PDF | slides]

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
E. De Angelis, F. Fioravanti, A. Palacios, A. Pettorossi and M. Proietti
HCVS 2018, Oxford [PDF | slides]

Causal-Consistent Replay Debugging for Message Passing Programs
I. Lanese, A. Palacios and G. Vidal
FORTE 2019, Copenhagen [PDF]

Property-Based Test Case Generators for Free
E. De Angelis, F. Fioravanti, A. Palacios, A. Pettorossi and M. Proietti
TAP 2019, Porto [PDF]

Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang
A. Palacios
PhD Thesis, Valencia [PDF]