Adrin Palacios
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2015–2019
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FORTE | Causal-Consistent Replay Debugging for Message Passing Programs. | Ivan Lanese, Adrin Palacios, Germn Vidal |
| 2019 | TAP | Property-Based Test Case Generators for Free. | Emanuele De Angelis, Fabio Fioravanti, Adrin Palacios, Alberto Pettorossi, Maurizio Proietti |
| 2018 | FLOPS | CauDEr: A Causal-Consistent Reversible Debugger for Erlang. | Ivan Lanese, Naoki Nishida, Adrin Palacios, Germn Vidal |
| 2016 | LOPSTR | A Reversible Semantics for Erlang. | Naoki Nishida, Adrin Palacios, Germn Vidal |
| 2015 | LOPSTR | Concolic Execution in Functional Programming by Program Instrumentation. | Adrin Palacios, Germn Vidal |