kirancodes.me
To Proof Maintenance & Beyond!
Venues / DLS /

DLS 2014

14 papers

  1. ACDC-JS: explorative benchmarking of javascript memory management · Martin Aigner, Thomas Hütter, Christoph M. Kirsch, Alexander Miller, Hannes Payer, Mario Preishuber
  2. Abstracting abstract control · Dionna Amalie Glaze, David Van Horn
  3. Contracts for domain-specific languages in Ruby · T. Stephen Strickland, Brianna M. Ren, Jeffrey S. Foster
  4. Design and evaluation of gradual typing for python · Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker
  5. Dynamic detection of object capability violations through model checking · Dustin Rhodes, Tim Disney, Cormac Flanagan
  6. Dynamic page sharing optimization for the R language · Helena Kotthaus, Ingo Korb, Michael Engel, Peter Marwedel
  7. Object versioning to support recovery needs: using proxies to preserve previous development states in lively · Bastian Steinert, Lauritz Thamsen, Tim Felgentreff, Robert Hirschfeld
  8. On the use of type predicates in object-oriented software: the case of Smalltalk · Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger, Alexandre Bergel
  9. Scriptable operating systems with Lua · Lourival Vieira Neto, Roberto Ierusalimschy, Ana Lúcia de Moura, Marc Balmer
  10. SqueakJS: a modern and practical smalltalk that runs in any browser · Bert Freudenberg, Dan H. H. Ingalls, Tim Felgentreff, Tobias Pape, Robert Hirschfeld
  11. Sweeten your JavaScript: hygienic macros for ES5 · Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan
  12. Typed objects in JavaScript · Nicholas D. Matsakis, David Herman, Dmitry Lomov
  13. Using JavaScript and WebCL for numerical computations: a comparative study of native and web technologies · Faiz Khan, Vincent Foley-Bourgon, Sujay Kathrotia, Erick Lavoie, Laurie J. Hendren
  14. Why do we know so little about programming languages, and what would have happened if we had known more? · Stefan Hanenberg