Adrian Palacios

Adrian Palacios

PhD student at UPV

Curriculum vitae

Email:apalacios [at] dsic [dot] upv [dot] es
Phone:
Address:DSIC, Universitat Politecnica de Valencia
Camino de Vera, s/n
46022 Valencia, Spain

Research

Functional programming, Term rewriting, 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]

Towards Reversible Computation in Erlang
N. Nishida, A. Palacios and G. Vidal
LOPSTR 2016, Edinburgh [PDF | slides]