Travelled to:1 × Estonia
1 × France
1 × Italy
1 × The Netherlands
1 × USA
3 × Canada
Collaborated with:U.A.Acar A.Nanevski M.Fluet G.E.Blelloch M.Benedikt A.Jeffrey I.Sergey G.A.Delbianco K.Tangwongsan D.Türkoglu
Talks about:adjust (5) self (5) comput (4) concurr (2) state (2) grain (2) constraint (1) auxiliari (1) traceabl (1) communic (1)
Person: Ruy Ley-Wild
DBLP: Ley-Wild:Ruy
Contributed to:
2014
20132012
20102009
2008
2008
2008Wrote 8 papers:
- ESOP-2014-NanevskiLSD #communication #concurrent #fine-grained
- Communicating State Transition Systems for Fine-Grained Concurrent Resources (AN, RLW, IS, GAD), pp. 290–310.
- POPL-2013-Ley-WildN #concurrent
- Subjective auxiliary state for coarse-grained concurrency (RLW, AN), pp. 561–574.
- ESOP-2012-Ley-WildAB #self
- Non-monotonic Self-Adjusting Computation (RLW, UAA, GEB), pp. 476–496.
- PLDI-2010-AcarBLTT #data type #self
- Traceable data types for self-adjusting computation (UAA, GEB, RLW, KT, DT), pp. 483–496.
- POPL-2009-Ley-WildAF #self #semantics
- A cost semantics for self-adjusting computation (RLW, UAA, MF), pp. 186–199.
- AFP-2008-AcarL08 #ml #self
- Self-adjusting Computation with Delta ML (UAA, RLW), pp. 1–38.
- ICFP-2008-Ley-WildFA #compilation #continuation #self #source code
- Compiling self-adjusting programs with continuations (RLW, MF, UAA), pp. 321–334.
- SIGMOD-2008-BenediktJL #constraints #xml
- Stream firewalling of xml constraints (MB, AJ, RLW), pp. 487–498.