Browsing by Academic Advisor Appel, Andrew
Showing results 1 to 16 of 16
| Class Year | Author(s) | Title | Advisor |
| 2003 | Parker, Gregory | Artificial Elegance: Creation of a Chess Playing Application based upon Alpha-Beta | Appel, Andrew |
| 2008 | Mansky, William | Automating Separation Logic for Concurrent C Minor | Appel, Andrew |
| 2010 | Tian, Kevin T | A Computer-Checked Proof to the Two Paths Problem | Appel, Andrew |
| 1996 | Myers, Andrew C. | An Efficient Commerce System | Appel, Andrew |
| 2012 | Cadamuro, Gabriel | Flexibly Persistent Data Structures | Appel, Andrew |
| 2002 | MacIsaac, Sean | The Frontend of A Compiler for CIL Bytecode | Appel, Andrew |
| 2009 | Fischgrund, Sam | Kripke Models for Proof-Carrying Authentication | Appel, Andrew |
| 2016 | Ye, Katherine | THE NOTORIOUS PRG:FORMAL VERIFICATION OF THE HMAC-DRBG PSEUDORANDOM NUMBER
GENERATOR | Appel, Andrew |
| 2015 | Ullman, Robert | Optimal Poker Strategies Under Collusion
Simulating Fictitious Play in Simplified Poker Variants | Appel, Andrew |
| 2005 | Peng, Daniel J. | Preserving Types in the TigerCompiler | Appel, Andrew |
| 2001 | Baccash, Jonathan | Source Code's Challenge to U.S. Law: Introducing a Translator from C to English and Back | Appel, Andrew |
| 2019 | Vassilev, Katja | Specification of the Dead Parameter Elimination Optimization of the CertiCoq Compiler | Dvir, Zeev; Appel, Andrew |
| 2015 | Yucht, Miles | That’s correct: Using the Verified Software
Toolchain to verify C maps | Appel, Andrew |
| 2020 | Grover, Anvay | Towards a Verified CPS translation for CertiCoq | Appel, Andrew |
| 2014 | Alvarez, Mario | Using Reflective Separation-Entailment Solvers
for Reasoning Formally About C: Integrating
the Verified Software Toolchain with the
MirrorShard Solver | Appel, Andrew |
| 1995 | Greer, Jim | Visualizing ML Data Structures | Appel, Andrew |