Follow
Adrian Palacios
Adrian Palacios
Amazon Web Services
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
CauDEr: a causal-consistent reversible debugger for Erlang
I Lanese, N Nishida, A Palacios, G Vidal
International Symposium on Functional and Logic Programming, 247-263, 2018
852018
A theory of reversibility for Erlang
I Lanese, N Nishida, A Palacios, G Vidal
Journal of Logical and Algebraic Methods in Programming 100, 71-97, 2018
682018
Causal-consistent replay debugging for message passing programs
I Lanese, A Palacios, G Vidal
Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019
402019
A reversible semantics for Erlang
N Nishida, A Palacios, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
372016
Causal-consistent replay reversible semantics for message passing concurrent programs
I Lanese, A Palacios, G Vidal
Fundamenta Informaticae 178 (3), 229-266, 2021
212021
Reversible computation in term rewriting
N Nishida, A Palacios, G Vidal
Journal of Logical and Algebraic Methods in Programming 94, 128-149, 2018
172018
CauDEr website
I Lanese, N Nishida, A Palacios, G Vidal
URL: https://github. com/mistupv/cauder, 2018
152018
Reversible term rewriting
N Nishida, A Palacios Corella, GF Vidal Oriola
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016
142016
Property-based test case generators for free
E De Angelis, F Fioravanti, A Palacios, A Pettorossi, M Proietti
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019
102019
Concolic execution in functional programming by program instrumentation
A Palacios, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2015
72015
APRIL-ANN toolkit, a pattern recognizer in Lua with artificial neural networks (2013)
F Zamora-Martínez, S España-Boquera, J Gorbe-Moya, J Pastor-Pellicer, ...
6
Towards modelling actor-based concurrency in term rewriting
A Palacios, G Vidal
2nd International Workshop on Rewriting Techniques for Program …, 2015
32015
Bounded symbolic execution for runtime error detection of Erlang programs
E De Angelis, F Fioravanti, A Palacios, A Pettorossi, M Proietti
arXiv preprint arXiv:1809.04770, 2018
22018
Towards reversible computation in erlang
N Nishida, A Palacios, G Vidal
arXiv preprint arXiv:1608.05521, 2016
22016
Reversible term rewriting: foundations and applications
N Nishida, A Palacios, G Vidal
Technical report, DSIC, UPV, 2016. Available from the following URL: http …, 0
1
Formal methods for constraint-based testing and reversible debugging in erlang
A Palacios Corella
Universitat Politècnica de València, 2020
2020
Fallback Variable History NNLMs: Efficient NNLMs by precomputation and stochastic training
FJ Zamora-Martinez, S Espana-Boquera, MJ Castro-Bleda, ...
Plos one 13 (7), e0200884, 2018
2018
Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs
A Palacios, A Pettorossi, M Proietti
2018
Safe Sessions for Erlang
A Palacios
2017
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
A Ahmed, I Hasuo, G Huet, T Nipkow, R Akiyoshi, K Terui, T Altenkirch, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20