Alan Jeffrey and Ruy Ley-Wild
Dynamic Model Checking of C Cryptographic Protocol Implementations
Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA)
2006
pdf

Ruy Ley-Wild and Frank Pfenning
Avoiding Spurious Causal Dependencies via Proof Irrelevance in a Concurrent Logical Framework (Draft)
Technical Report CMU-CS-07-107
2007
pdf

Michael Benedikt, Alan Jeffrey, and Ruy Ley-Wild
Stream Firewalling of XML Constraints
Special Interest Group on Management Of Data (SIGMOD)
2008
pdf

Ruy Ley-Wild, Matthew Fluet, and Umut Acar
Compiling Self-Adjusting Programs with Continuations
International Conference on Functional Programming (ICFP)
2008
pdf

Ruy Ley-Wild, Umut Acar, and Matthew Fluet
A Cost Semantics for Self-Adjusting Computation
Principles of Programming Languages (POPL)
2009
pdf twelf
Technical Report CMU-CS-08-141
2008
pdf

Umut Acar and Ruy Ley-Wild
Self-Adjusting Computation in Delta ML
Advanced Functional Programming
2009
pdf