coordinates

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
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 code

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 with Delta ML
Advanced Functional Programming (AFP)
2009
pdf

Alejandro Cornejo, Fabian Kuhn, Ruy Ley-Wild, and Nancy Lynch
☍ Keeping Mobile Robots Swarms Connected
International Symposium on Distributed Computing (DISC)
2009
pdf
Technical Report MIT-CSAIL-TR-2009-027
2009
pdf

Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwonsan, and Duru Turkoglu
↷ Traceable Data Types for Self-Adjusting Computation
Programming Language Design and Implementation (PLDI)
2010
pdf

Ruy Ley-Wild
↷ Programmable Self-Adjusting Computation
Ph.D. dissertation
Computer Science Department, Carnegie Mellon University
Technical Report CMU-CS-10-146
2010
pdf

Ruy Ley-Wild, Umut A. Acar, Guy Blelloch
↷ Non-Monotonic Self-Adjusting Computation
European Symposium on Programming (ESOP)
2012
pdf

Ruy Ley-Wild, Aleksandar Nanevski
☯ Subjective Auxiliary State for Coarse-Grained Concurrency
submitted
20120711
pdf coq

"Substitution of an expression for a variable is an elementary operation of mathematics, but is meaningless in a programming language."
-Leslie Lamport

pinche aquí