Delphine Demange
According to our database1,
Delphine Demange
authored at least 17 papers
between 2009 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
1
1
1
1
1
2
1
1
2
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2020
Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020
2019
J. Autom. Reason., 2019
2018
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the 27th International Conference on Compiler Construction, 2018
2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2016
Proceedings of the 25th International Conference on Compiler Construction, 2016
2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
Proceedings of the Compiler Construction - 24th International Conference, 2015
2014
ACM Trans. Program. Lang. Syst., 2014
2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
2012
Semantic foundations of intermediate program representations. (Fondements sémantiques des représentations intermédiaires de programmes).
PhD thesis, 2012
Proceedings of the Programming Languages and Systems, 2012
2010
Proceedings of the Formal Verification of Object-Oriented Software, 2010
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010
2009
Proceedings of the Programming Languages and Systems, 2009