Cody Roux

According to our database, Cody Roux authored at least 14 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.

Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2021

Formal Methods for the Informal Engineer: Workshop Recommendations.

Gopal Sarma, James Koppel, Gregory Malecha, Patrick Schultz, Eric Drexler, Ramana Kumar, Cody Roux, Philip Zucker

CoRR, 2021

CoStar: a verified ALL(*) parser.

Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Program Sketching by Automatically Generating Mocks from Tests.

Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Using Binary Analysis Frameworks: The Case for BAP and angr.

Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

A Verified LL(1) Parser Generator.

Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2016

A Heuristic Prover for Real Inequalities.

Jeremy Avigad, Robert Y. Lewis, Cody Roux

J. Autom. Reason., 2016

2015

Elaboration in Dependent Type Theory.

Leonardo Mendonça de Moura, Jeremy Avigad, Soonho Kong, Cody Roux

CoRR, 2015

2014

The Structural Theory of Pure Type Systems.

Cody Roux, Floris van Doorn

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2012

Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers.

Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

Size-based termination: Semantics and generalizations. (Terminaison à base de tailles: Sémantique et généralisations).

Cody Roux

PhD thesis, 2011

Refinement Types as Higher-Order Dependency Pairs.

Cody Roux

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2009

On the relation between size-based termination and semantic labelling

Frédéric Blanqui, Cody Roux

CoRR, 2009

On the Relation between Sized-Types Based Termination and Semantic Labelling.

Frédéric Blanqui, Cody Roux

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009