Chris Casinghino

Publication Activity (10 Years)

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

Top Topics

Dependency Parser

Control Structures

Natural Language

Top Venues

Publications

Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. NFM (2023)
Chris Casinghino
Strong Normalization for the Calculus of Constructions. CoRR (2022)
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
CoStar: a verified ALL(*) parser. PLDI (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)
Brandon Shapiro, Chris Casinghino
specgen: A Tool for Modeling Statecharts in CSP. NFM (2017)
Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich
Combining proofs and programs in a dependently typed language. POPL (2014)
Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn
Equational reasoning about programs with general recursion and call-by-value semantics. PLPV (2012)
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems MSFP (2012)
Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich
Step-Indexed Normalization for a Language with General Recursion MSFP (2012)
Stephanie Weirich, Chris Casinghino
Arity-generic datatype-generic programming. PLPV (2010)
Stephanie Weirich, Chris Casinghino
Generic Programming with Dependent Types. SSGIP (2010)
Stephanie Weirich, Chris Casinghino
Arity-generic datatype-generic programming: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)