Chris Casinghino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PLDI | CoStar: a verified ALL(*) parser. | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
| 2019 | ITP | A Verified LL(1) Parser Generator. | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
| 2014 | POPL | Combining proofs and programs in a dependently typed language. | Chris Casinghino, Vilhelm Sjberg, Stephanie Weirich |