Travelled to:2 × USA
Collaborated with:C.Lindig N.Ramsey D.E.Porter S.Boyd-Wickizer J.Howell G.C.Hunt
Talks about:implement (1) techniqu (1) procedur (1) composit (1) specifi (1) rethink (1) librari (1) convent (1) stage (1) alloc (1)
Person: Reuben Olinsky
DBLP: Olinsky:Reuben
Contributed to:
2011
2006Wrote 2 papers:
- ASPLOS-2011-PorterBHOH #library #top-down
- Rethinking the library OS from the top down (DEP, SBW, JH, RO, GCH), pp. 291–304.
- POPL-2006-OlinskyLR #composition #implementation #specification #staged
- Staged allocation: a compositional technique for specifying and implementing procedure calling conventions (RO, CL, NR), pp. 409–421.