DLS 2021

5 papers

1. Analyzing permission transfer channels for dynamically typed languages · Théo Rogliano, Guillermo Polito, Luc Fabresse, Stéphane Ducasse
2. CompGen: generation of fast JIT compilers in a multi-language VM · Florian Latifi, David Leopoldseder, Christian Wimmer, Hanspeter Mössenböck
3. First-class environments in R · Aviral Goel, Jan Vitek
4. Runtime and compiler support for HAMTs · Sona Torosyan, Jon Zeppieri, Matthew Flatt
5. Union and intersection contracts are hard, actually · Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack