Cody Roux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2021 | CAV | Program Sketching by Automatically Generating Mocks from Tests. | Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama |
| 2021 | PLDI | CoStar: a verified ALL(*) parser. | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
| 2019 | ITP | A Verified LL(1) Parser Generator. | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
| 2014 | ITP | A Heuristic Prover for Real Inequalities. | Jeremy Avigad, Robert Y. Lewis, Cody Roux |
| 2012 | CADE | Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers. | Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala |
| 2009 | CSL | On the Relation between Sized-Types Based Termination and Semantic Labelling. | Frdric Blanqui, Cody Roux |