Clment Pit-Claudel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
14
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Automatic Heap-Memory Diagrams for Separation-Logic Proofs. | Yawen Guan, Shardul Chiplunkar, Clment Pit-Claudel |
| 2026 | CP | Formally Verified Certification of Constraint Programming Proofs. | Maarten Flippo, Konstantin Sidorov, Tip ten Brink, Clment Pit-Claudel, Emir Demirovic |
| 2026 | CPP | Precise Reasoning about Container-Internal Pointers with Logical Pinning. | Yawen Guan, Clment Pit-Claudel |
| 2026 | ECOOP | Automatic Layout of Railroad Diagrams. | Shardul Chiplunkar, Clment Pit-Claudel |
| 2025 | CAV | Verified and Optimized Implementation of Orthologic Proof Search. | Simon Guilloud, Clment Pit-Claudel |
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clment Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2024 | CCS | Specification and Verification of Strong Timing Isolation of Hardware Enclaves. | Stella Lau, Thomas Bourgeat, Clment Pit-Claudel, Adam Chlipala |
| 2024 | SOSP | Practical Verification of System-Software Components Written in Standard C. | Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clment Pit-Claudel |
| 2022 | PLDI | Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code. | Clment Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala |
| 2021 | ASPLOS | Effective simulation and debugging for a high-level hardware language using software compilers. | Clment Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala |
| 2020 | CADE | Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs. | Clment Pit-Claudel, Peng Wang, Benjamin Delaware, Jason Gross, Adam Chlipala |
| 2020 | PLDI | The essence of Bluespec: a core language for rule-based hardware design. | Thomas Bourgeat, Clment Pit-Claudel, Adam Chlipala, Arvind |
| 2020 | SLE | Untangling mechanized proofs. | Clment Pit-Claudel |
| 2019 | ESOP | Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. | Guido Martnez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clment Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
| 2018 | SETTA | Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. | Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clment Pit-Claudel, Insup Lee, Oleg Sokolsky |
| 2016 | CAV | Trigger Selection Strategies to Stabilize Program Verifiers. | K. Rustan M. Leino, Clment Pit-Claudel |
| 2015 | POPL | Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant. | Benjamin Delaware, Clment Pit-Claudel, Jason Gross, Adam Chlipala |