Romain Demeyer

According to our database, Romain Demeyer authored at least 3 papers between 2010 and 2013.

Collaborative distances:

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

2013

Static Application-Level Race Detection in STM Haskell using Contracts.

Romain Demeyer, Wim Vanhoof

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

2010

Declarative workflows to efficiently manage flexible and advanced business processes.

Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Program Analysis to Support Concurrent Programming in Declarative Languages.

Romain Demeyer

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010