EDD: A declarative debugger for sequential Erlang programs, TACAS. LNCS, vol.8413, pp.581-586, 2014. ,
Core erlang 1.0.3. language specification, 2004. ,
, Finding race conditions in Erlang with QuickCheck and PULSE. In: ICFP, pp.149-160, 2009.
Reversible communicating systems, In: CONCUR. LNCS, vol.3170, pp.292-307, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00784051
Automatic Verification of Erlang-Style Concurrency, SAS. LNCS, vol.7935, pp.454-476, 2013. ,
McErlang: a model checker for a distributed functional programming language, pp.125-136, 2007. ,
Causal-consistent reversible debugging, FASE. LNCS, vol.8411, pp.370-384, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089270
Causal-consistent rollback in a tuple-based language, J. Log. Algebr. Meth. Program, vol.88, pp.99-120, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01633260
Concolic testing for functional languages, pp.137-148, 2015. ,
Test-driven development of concurrent programs using Concuerror, 10th ACM SIGPLAN workshop on Erlang, pp.51-61, 2011. ,
Irreversibility and heat generation in the computing process, IBM Journal of Research and Development, vol.5, pp.183-191, 1961. ,
Causal-consistent reversibility, Bulletin of the EATCS, vol.114, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089350
A theory of reversibility for Erlang (2017), submitted for publication ,
A reversible abstract machine and its space overhead, FMOODS/FORTE, vol.7273, pp.1-17, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00909384
Practical type inference based on success typings, pp.167-178, 2006. ,
A study of concurrency bugs and advanced development support for actor-based programs, 2017. ,
A reversible semantics for Erlang, LOPSTR'16, vol.10184, pp.259-274, 2017. ,
A PropEr integration of types and function specifications with property-based testing, 10th ACM SIGPLAN workshop on Erlang, pp.39-50, 2011. ,
Actoverse: A reversible debugger for actors, pp.50-57, 2017. ,
Causeway: a message-oriented distributed debugger, 2009. ,
A unified semantics for future Erlang, 9th ACM SIGPLAN workshop on Erlang, pp.23-32, 2010. ,