Cody Roux

19 papers A* 2B 3Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
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, Clément 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, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2025 J jnl
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.
CoRR
Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng
2023 — conf
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.
NFM
Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
2021 A* conf
CoStar: a verified ALL(*) parser.
PLDI
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
2021 J jnl
Formal Methods for the Informal Engineer: Workshop Recommendations.
CoRR
Gopal Sarma, James Koppel, Gregory Malecha, Patrick Schultz, Eric Drexler, Ramana Kumar, Cody Roux, Philip Zucker
2021 — conf
Program Sketching by Automatically Generating Mocks from Tests.
CAV (1)
Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama
2019 B conf
A Verified LL(1) Parser Generator.
ITP
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
2019 — conf
Using Binary Analysis Frameworks: The Case for BAP and angr.
NFM
Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner
2016 J jnl
A Heuristic Prover for Real Inequalities.
J. Autom. Reason.
Jeremy Avigad, Robert Y. Lewis, Cody Roux
2015 J jnl
Elaboration in Dependent Type Theory.
CoRR
Leonardo Mendonça de Moura, Jeremy Avigad, Soonho Kong, Cody Roux
2014 B conf
A Heuristic Prover for Real Inequalities.
ITP
Jeremy Avigad, Robert Y. Lewis, Cody Roux
2014 J jnl
A heuristic prover for real inequalities.
CoRR
Jeremy Avigad, Robert Y. Lewis, Cody Roux
2014 — conf
The Structural Theory of Pure Type Systems.
RTA-TLCA
Cody Roux, Floris van Doorn
2012 — conf
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers.
SMT@IJCAR
Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala
2011 J jnl
Refinement Types as Higher Order Dependency Pairs
CoRR
Cody Roux
2011 — conf
Refinement Types as Higher-Order Dependency Pairs.
RTA
Cody Roux
2011 — —
Size-based termination: Semantics and generalizations. (Terminaison à base de tailles: Sémantique et généralisations).
Cody Roux
2009 B conf
On the Relation between Sized-Types Based Termination and Semantic Labelling.
CSL
Frédéric Blanqui, Cody Roux
2009 J jnl
On the relation between size-based termination and semantic labelling
CoRR
Frédéric Blanqui, Cody Roux