BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ley-Wild:Ruy

Contributed to:

ESOP 20142014
POPL 20132013
ESOP 20122012
PLDI 20102010
POPL 20092009
AFP 20082008
ICFP 20082008
SIGMOD 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.