Adrián Palacios

According to our database, Adrián Palacios authored at least 12 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs.

Ivan Lanese, Adrián Palacios, Germán Vidal

Fundam. Informaticae, 2021

2019

Property-Based Test Case Generators for Free.

Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti

Proceedings of the Tests and Proofs - 13th International Conference, 2019

Causal-Consistent Replay Debugging for Message Passing Programs.

Ivan Lanese, Adrián Palacios, Germán Vidal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2018

Reversible computation in term rewriting.

Naoki Nishida, Adrián Palacios, Germán Vidal

J. Log. Algebraic Methods Program., 2018

A theory of reversibility for Erlang.

Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal

J. Log. Algebraic Methods Program., 2018

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs.

Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti

Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

CauDEr: A Causal-Consistent Reversible Debugger for Erlang.

Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2016

Towards Reversible Computation in Erlang.

Naoki Nishida, Adrián Palacios, Germán Vidal

CoRR, 2016

Reversible Term Rewriting.

Naoki Nishida, Adrián Palacios, Germán Vidal

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

A Reversible Semantics for Erlang.

Naoki Nishida, Adrián Palacios, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Towards Modelling Actor-Based Concurrency in Term Rewriting.

Adrián Palacios, Germán Vidal

Proceedings of the 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2015

Concolic Execution in Functional Programming by Program Instrumentation.

Adrián Palacios, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015