Browsing by Academic Advisor Appel, Andrew W
Showing results 1 to 5 of 5
| Class Year | Author(s) | Title | Advisor |
| - | Dodds, Joey | Computation Improves Interactive Symbolic Execution | Appel, Andrew W |
| - | Cuellar, Santiago | Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency. | Appel, Andrew W |
| - | Dockins, Robert William | Operational Refinement for Compiler Correctness | Appel, Andrew W |
| - | Cao, Qinxiang | Separation-Logic-Based Program Verification in Coq | Appel, Andrew W |
| - | Stewart, James Gordon | Verified Separate Compilation for C | Appel, Andrew W |