Cody Roux

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 7

Top Venues

CoRR

ITP

NFM

RTA-TLCA

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. NFM (2023)
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
CoStar: a verified ALL(*) parser. PLDI (2021)
Gopal Sarma, James Koppel, Gregory Malecha, Patrick Schultz, Eric Drexler, Ramana Kumar, Cody Roux, Philip Zucker
Formal Methods for the Informal Engineer: Workshop Recommendations. CoRR (2021)
Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama
Program Sketching by Automatically Generating Mocks from Tests. CAV (1) (2021)
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
A Verified LL(1) Parser Generator. ITP (2019)
Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner
Using Binary Analysis Frameworks: The Case for BAP and angr. NFM (2019)
Jeremy Avigad, Robert Y. Lewis, Cody Roux
A Heuristic Prover for Real Inequalities. J. Autom. Reason. 56 (3) (2016)
Leonardo Mendonça de Moura, Jeremy Avigad, Soonho Kong, Cody Roux
Elaboration in Dependent Type Theory. CoRR (2015)
Cody Roux, Floris van Doorn
The Structural Theory of Pure Type Systems. RTA-TLCA (2014)
Jeremy Avigad, Robert Y. Lewis, Cody Roux
A Heuristic Prover for Real Inequalities. ITP (2014)
Jeremy Avigad, Robert Y. Lewis, Cody Roux
A heuristic prover for real inequalities. CoRR (2014)
Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers. SMT@IJCAR (2012)
Cody Roux
Refinement Types as Higher Order Dependency Pairs CoRR (2011)
Cody Roux
Refinement Types as Higher-Order Dependency Pairs. RTA (2011)
Frédéric Blanqui, Cody Roux
On the relation between size-based termination and semantic labelling CoRR (2009)
Frédéric Blanqui, Cody Roux
On the Relation between Sized-Types Based Termination and Semantic Labelling. CSL (2009)

Cody Roux.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cody Roux