Chris Casinghino

14 papers A* 2B 1Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Data Race Freedom à la Mode.
Proc. ACM Program. Lang.
Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer
2023 — conf
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.
NFM
Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
2022 J jnl
Strong Normalization for the Calculus of Constructions.
CoRR
Chris Casinghino
2021 A* conf
CoStar: a verified ALL(*) parser.
PLDI
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
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
2017 — conf
specgen: A Tool for Modeling Statecharts in CSP.
NFM
Brandon Shapiro, Chris Casinghino
2014 A* conf
Combining proofs and programs in a dependently typed language.
POPL
Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich
2012 — conf
Equational reasoning about programs with general recursion and call-by-value semantics.
PLPV
Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn
2012 — conf
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems
MSFP
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich
2012 — conf
Step-Indexed Normalization for a Language with General Recursion
MSFP
Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich
2010 — conf
Arity-generic datatype-generic programming.
PLPV
Stephanie Weirich, Chris Casinghino
2010 — conf
Generic Programming with Dependent Types.
SSGIP
Stephanie Weirich, Chris Casinghino
2009 J jnl
Arity-generic datatype-generic programming: (abstract only).
ACM SIGPLAN Notices
Stephanie Weirich, Chris Casinghino