@inproceedings{fortuna:bar24,
author = {Chloe Fortuna and Chris Casinghino and Sam Lasser and JT Paasch and Cody Roux and Philip Zucker},
title = {{CBAT: A Comparative Binary Analysis Tool}},
booktitle = {Binary Analysis Research '24},
month = {March},
year = {2024},
pdf = {papers/bar2024_cbat.pdf}
}
@inproceedings{lasser:nfm23,
author = {Sam Lasser and Chris Casinghino and Derek Egolf and Kathleen Fisher and Cody Roux},
title = {{Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation}},
booktitle = {{NASA} Formal Methods '23},
month = {May},
year = {2023},
pdf = {papers/nfm2023_verified_allstar.pdf}
}
@inproceedings{lasser:pldi21,
author = {Sam Lasser and Chris Casinghino and Kathleen Fisher and Cody Roux},
title = {{CoStar: A Verified ALL(*) Parser}},
booktitle = {PLDI '21},
month = {June},
year = {2021},
pdf = {papers/pldi2021-costar.pdf}
}
@inproceedings{lasser:itp19,
author = {Sam Lasser and Chris Casinghino and Kathleen Fisher and Cody Roux},
title = {{A Verified LL(1) Parser Generator}},
booktitle = {Interactive Theorem Proving '19},
month = {September},
year = {2019},
pdf = {papers/itp2019_ll1.pdf}
}
@inproceedings{casinghino:nfm19,
author = {Chris Casinghino and {JT} Paasch and Cody Roux and John Altidor and Michael Dixon and Dustin Jamner},
title = {Using Binary Analysis Frameworks: The Case for {BAP} and angr},
booktitle = {NASA Formal Methods '19},
year = {2019},
pdf = {papers/nfm2019_bap_angr.pdf}
}
@inproceedings{thomas:gomac19,
author = {Arun Thomas and Chris Casinghino},
title = {{PIPE}: Hardware Acceleration for Efficient Enforcement of Software-defined Security Policies},
booktitle = {{GOMACTech} '19},
month = {March},
year = {2019}
}
@misc{casinghino:hilt18,
author = {Chris Casinghino},
title = {A Language for Programmable Hardware Security},
month = {November},
year = {2018},
note = {Invited talk at High Integrity Language Techology workshop at {SPLASH} 2018},
slides = {papers/Casinghino_HILT_2018.pptx}
}
@inproceedings{shapiro:nfm17,
author = {Brandon Shapiro and Chris Casinghino},
title = {{\tt specgen}: A Tool for Modeling Statecharts in {CSP}},
booktitle = {NASA Formal Methods '17},
year = {2017},
pdf = {papers/nfm2017_specgen.pdf}
}
@phdthesis{phdthesis,
author = {Chris Casinghino},
title = {Combining Proofs and Programs},
school = {The University of Pennsylvania},
year = 2014,
pdf = {papers/casinghino-thesis.pdf},
code = {papers/casinghino-thesis.tar.gz}
}
@inproceedings{ccasin:popl14,
author = {Chris Casinghino and Vilhelm Sj\"{o}berg and Stephanie Weirich},
title = {Combining Proofs and Programs in a Dependently Typed Langauge},
booktitle = {POPL '14},
year = {2014},
pdf = {papers/combining-TR.pdf},
code = {papers/combining-coq.tgz}
}
@article{pii:equationalreasoning,
author = {Garrin Kimmel and Aaron Stump and Harley D. Eades and Peng Fu and Tim Sheard and Stephanie Weirich and Chris Casinghino and Vilhelm Sjöberg and Nathin Collins and and Ki Yunh Anh},
title = {Equational reasoning about programs with general recursion and call-by-value semantics},
journal = {Progress in Informatics},
number = {10},
year = {2013},
month = {March},
pdf = {papers/pi13.pdf}
}
@inbook{wc:generictutorial,
author = {Stephanie Weirich and Chris Casinghino},
title = {Generic Programming with Dependent Types},
booktitle = {Generic and Indexed Programming},
editor = {Jeremy Gibbons},
number = {7470},
series = {Lecture Notes in Computer Science},
pages = {217-258},
publisher = {Springer-Verlag Berlin Heidelberg},
pdf = {papers/genericChapter2010.pdf},
year = {2012}
}
@inproceedings{ccasin:msfp12,
author = {Chris Casinghino and Vilhelm Sj\"{o}berg and Stephanie Weirich},
title = {Step-Indexed Normalization for a Language with General Recursion},
booktitle = {MSFP '12},
year = 2012,
pdf = {papers/msfp12log.pdf},
code = {papers/step_normalization.tar.gz}
}
@inproceedings{sjoberg:msfp12,
author = {Vilhelm Sj\"oberg and Chris Casinghino and Ki Yung Ahn and
Nathan Collins and Harley D. Eades III and Peng Fu
and Garrin Kimmell and Tim Sheard and Aaron Stump
and Stephanie Weirich},
title = {Irrelevance, Heterogenous Equality, and Call-by-value Dependent Type Systems},
booktitle = {MSFP '12},
year = 2012,
pdf = {papers/msfp12prog.pdf}
}
@inproceedings{kimmel:plpv12,
author = {Garrin Kimmell and Aaron Stump and Harley D. Eades III and
Peng Fu and Tim Sheard and Stephanie Weirich and Chris Casinghino
and Vilhelm Sj\"oberg and Nathan Collins and Ki Yung Ahn},
title = {Equational Reasoning about Programs with General Recursion and Call-by-value Semantics},
booktitle = {PLPV '12},
year = 2012,
pdf = {papers/plpv2012genreccbv.pdf}
}
@misc{ccasin:plpv11talk,
author = {Chris Casinghino and Harley D. Eades III and Garrin
Kimmell and Vilhelm Sj\"{o}berg and Tim Sheard and
Aaron Stump and Stephanie Weirich},
title = {The Preliminary Design of the {Trellys} Core Language},
booktitle = {PLPV '11},
note = {Talk and discussion session at PLPV 2011},
url = {http://www.tyconmismatch.com/papers/plpv11_slides.pdf},
slides = {papers/plpv11_slides.pdf}
}
@inproceedings{wc10agdgp,
author = {Stephanie Weirich and Chris Casinghino},
title = {{Arity-Generic Datatype-Generic Programming}},
booktitle = {PLPV '10: Proceedings of the 4th Workshop on Programming Languages Meets Program Verification},
year = {2010},
pdf = {papers/aritygen.pdf},
code = {papers/aritygen.tar.gz},
slides = {papers/aritygen_slides.pdf}
}
@book{Pierce09sf,
author = {Benjamin C. Pierce and Chris Casinghino and Michael Greenberg},
title = {Software Foundations},
year = {2009},
url = {http://www.cis.upenn.edu/~bcpierce/sf/},
note = {Course book, available online.}
}
@techreport{msclch06icfpc,
author = {Tom {Murphy VII} and Daniel Spoonhower and Chris Casinghino and Daniel R. Licata and Karl Crary and Robert Harper},
title = {{The Cult of the Bound Variable: The 9$^{th}$ Annual ICFP Programming Contest}},
institution = {Department of Computer Science, Carnegie Mellon University},
year = {2006},
number = {CMU-CS-06-163},
pdf = {papers/cbv.pdf},
url = {http://www.boundvariable.org/}
}
This file was generated by bibtex2html 1.99.