[19] Chloe Fortuna, Chris Casinghino, Sam Lasser, JT Paasch, Cody Roux, and Philip Zucker. CBAT: A Comparative Binary Analysis Tool. In Binary Analysis Research '24, March 2024. [ bib | PDF ]
[18] Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, and Cody Roux. Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. In NASA Formal Methods '23, May 2023. [ bib | PDF ]
[17] Sam Lasser, Chris Casinghino, Kathleen Fisher, and Cody Roux. CoStar: A Verified ALL(*) Parser. In PLDI '21, June 2021. [ bib | PDF ]
[16] Sam Lasser, Chris Casinghino, Kathleen Fisher, and Cody Roux. A Verified LL(1) Parser Generator. In Interactive Theorem Proving '19, September 2019. [ bib | PDF ]
[15] Chris Casinghino, JT Paasch, Cody Roux, John Altidor, Michael Dixon, and Dustin Jamner. Using binary analysis frameworks: The case for BAP and angr. In NASA Formal Methods '19, 2019. [ bib | PDF ]
[14] Arun Thomas and Chris Casinghino. PIPE: Hardware acceleration for efficient enforcement of software-defined security policies. In GOMACTech '19, March 2019. [ bib ]
[13] Chris Casinghino. A language for programmable hardware security, November 2018. Invited talk at High Integrity Language Techology workshop at SPLASH 2018. [ bib | slides ]
[12] Brandon Shapiro and Chris Casinghino. specgen: A tool for modeling statecharts in CSP. In NASA Formal Methods '17, 2017. [ bib | PDF ]
[11] Chris Casinghino. Combining Proofs and Programs. PhD thesis, The University of Pennsylvania, 2014. [ bib | PDF | code ]
[10] Chris Casinghino, Vilhelm Sjöberg, and Stephanie Weirich. Combining proofs and programs in a dependently typed langauge. In POPL '14, 2014. [ bib | PDF | code ]
[9] Garrin Kimmel, Aaron Stump, Harley D. Eades, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathin Collins, , and Ki Yunh Anh. Equational reasoning about programs with general recursion and call-by-value semantics. Progress in Informatics, (10), March 2013. [ bib | PDF ]
[8] Stephanie Weirich and Chris Casinghino. Generic Programming with Dependent Types, pages 217--258. Number 7470 in Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg, 2012. [ bib | PDF ]
[7] Chris Casinghino, Vilhelm Sjöberg, and Stephanie Weirich. Step-indexed normalization for a language with general recursion. In MSFP '12, 2012. [ bib | PDF | code ]
[6] Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, and Stephanie Weirich. Irrelevance, heterogenous equality, and call-by-value dependent type systems. In MSFP '12, 2012. [ bib | PDF ]
[5] Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, and Ki Yung Ahn. Equational reasoning about programs with general recursion and call-by-value semantics. In PLPV '12, 2012. [ bib | PDF ]
[4] Chris Casinghino, Harley D. Eades III, Garrin Kimmell, Vilhelm Sjöberg, Tim Sheard, Aaron Stump, and Stephanie Weirich. The preliminary design of the Trellys core language. Talk and discussion session at PLPV 2011. [ bib | slides | .pdf ]
[3] Stephanie Weirich and Chris Casinghino. Arity-Generic Datatype-Generic Programming. In PLPV '10: Proceedings of the 4th Workshop on Programming Languages Meets Program Verification, 2010. [ bib | slides | PDF | code ]
[2] Benjamin C. Pierce, Chris Casinghino, and Michael Greenberg. Software Foundations. 2009. Course book, available online. [ bib | http ]
[1] Tom Murphy VII, Daniel Spoonhower, Chris Casinghino, Daniel R. Licata, Karl Crary, and Robert Harper. The Cult of the Bound Variable: The 9th Annual ICFP Programming Contest. Technical Report CMU-CS-06-163, Department of Computer Science, Carnegie Mellon University, 2006. [ bib | PDF | http ]

This file was generated by bibtex2html 1.99.