DLS 2019
who it's for
language implementers, runtime engineers, compiler engineers, tooling engineers, web platform engineers, language server developers, performance engineers, program analysis researchers
topics
cross-component tracing garbage collection; snapshotting for unsafe shape changes; transient gradual typing optimization; Reticulated Python on PyPy; first-class pattern type objects; PIR IR for first-class environments; stub environments for lazy arguments; Graal-LSP for Truffle languages; runtime-observed completions; automata-based SMT for AST repair
| title | author | length |
|---|---|---|
| Untangling the web: Memory management in Chrome’s web platform implementation | Michael Lippautz | 47m |
Chrome implements a cross-component tracing GC that coordinates Blink’s C++ collector and V8’s JavaScript collector, adds tooling to inspect mixed C++/JS… | ||
| Optimizing and Evaluating Transient Gradual Typing | Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri | 27m |
Gradual typing for Python via Reticulated Python inserts many lightweight runtime checks and shows up to a 6× slowdown on CPython as programs go from dynamic… | ||
| First-class Dynamic Types | James Noble, Michael Homer, Timothy Jones | 27m |
Claim: patterns in Grace become first-class type objects that are looked up at runtime, matched via a uniform match API, and can carry transformed values back… | ||
| R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments | Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain, Jan Vitek | 27m |
An SSA-based intermediate language PIR IR models first-class environments, promises (makepromise/force) and closures explicitly so scope-resolution computes… | ||
| Graal-LSP: A Language Server Implementation with Polyglot Support for the GraalVM | Tim Felgentreff, Daniel Stolpe, Christian Humer, Fabio Niephaus, Robert Hirschfeld | 31m |
A Graal/Truffle language server that automatically enable LSP for all Truffle languages wires the Truffle instrumentation API to the Language Server Protocol… | ||
| Automatic Repair of Regular Expressions | Rong Pan, Qinheping Hu, Gaowei Xu, Loris D'Antoni | 20m |
Tool enumerates AST templates with holes and uses automata-based and regex-based SMT encodings plus three pruning tests (Sigma/Top/Bottom) to synthesize… | ||
| nothing matches | ||