Chris Casinghino

According to our database, Chris Casinghino authored at least 13 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

2022

Strong Normalization for the Calculus of Constructions.

Chris Casinghino

CoRR, 2022

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

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

2017

specgen: A Tool for Modeling Statecharts in CSP.

Brandon Shapiro, Chris Casinghino

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2014

Combining proofs and programs in a dependently typed language.

Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Step-Indexed Normalization for a Language with General Recursion

Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Equational reasoning about programs with general recursion and call-by-value semantics.

Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2010

Generic Programming with Dependent Types.

Stephanie Weirich, Chris Casinghino

Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Arity-generic datatype-generic programming.

Stephanie Weirich, Chris Casinghino

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009

Arity-generic datatype-generic programming: (abstract only).

Stephanie Weirich, Chris Casinghino

ACM SIGPLAN Notices, 2009