DLS 2016

11 papers

1. A small embedding of logic programming with a simple complete search · Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
2. Building efficient and highly run-time adaptable virtual machines · Guido Chari, Diego Garbervetsky, Stefan Marr
3. Cross-language compiler benchmarking: are we fast yet? · Stefan Marr, Benoit Daloze, Hanspeter Mössenböck
4. Efficiently implementing the copy semantics of MATLAB's arrays in JavaScript · Vincent Foley-Bourgon, Laurie J. Hendren
5. Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism · Mattias De Wael, Janwillem Swalens, Wolfgang De Meuter
6. Modular semantic actions · Alessandro Warth, Patrick Dubroy, Tony Garnock-Jones
7. Optimizing R language execution via aggressive speculation · Lukas Stadler, Adam Welc, Christian Humer, Mick Jordan
8. Parallel virtual machines with RPython · Remigius Meier, Armin Rigo, Thomas R. Gross
9. Precise and scalable static analysis of jQuery using a regular expression domain · Changhee Park, Hyeonseung Im, Sukyoung Ryu
10. Type safety analysis for Dart · Thomas S. Heinze, Anders Møller, Fabio Strocco
11. Type unsoundness in practice: an empirical study of Dart · Gianluca Mezzetti, Anders Møller, Fabio Strocco