| |
Åkerblom, Beatrice
|
DLS '15: "Measuring Polymorphism in ..."
Measuring Polymorphism in Python Programs
Beatrice Åkerblom and Tobias Wrigstad
(Stockholm University, Sweden; Uppsala University, Sweden)
@InProceedings{DLS15p136,
author = {Beatrice Åkerblom and Tobias Wrigstad},
title = {Measuring Polymorphism in Python Programs},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {136-135},
doi = {},
year = {2015},
}
Article: dls15main-mainid34-p doi:
|
| |
Alcocer, Juan Pablo Sandoval |
DLS '15: "Tracking Down Performance ..."
Tracking Down Performance Variation against Source Code Evolution
Juan Pablo Sandoval Alcocer and Alexandre Bergel
(University of Chile, Chile)
@InProceedings{DLS15p151,
author = {Juan Pablo Sandoval Alcocer and Alexandre Bergel},
title = {Tracking Down Performance Variation against Source Code Evolution},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {151-150},
doi = {},
year = {2015},
}
Article: dls15main-mainid18-p doi:
|
| |
Bergel, Alexandre
|
DLS '15: "Tracking Down Performance ..."
Tracking Down Performance Variation against Source Code Evolution
Juan Pablo Sandoval Alcocer and Alexandre Bergel
(University of Chile, Chile)
@InProceedings{DLS15p151,
author = {Juan Pablo Sandoval Alcocer and Alexandre Bergel},
title = {Tracking Down Performance Variation against Source Code Evolution},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {151-150},
doi = {},
year = {2015},
}
Article: dls15main-mainid18-p doi:
|
| |
Bolz, Carl Friedrich |
DLS '15: "Language-independent Storage ..."
Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines
Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, and Carl Friedrich Bolz
(HPI, Germany; TU Berlin, Germany; King's College London, UK)
@InProceedings{DLS15p121,
author = {Tobias Pape and Tim Felgentreff and Robert Hirschfeld and Anton Gulenko and Carl Friedrich Bolz},
title = {Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2015},
}
Article: dls15main-mainid14-p doi:
|
| |
Byrd, William E. |
DLS '15: "Control-Flow Analysis of Dynamic ..."
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Steven Lyde, William E. Byrd, and Matthew Might
(University of Utah, USA)
@InProceedings{DLS15p61,
author = {Steven Lyde and William E. Byrd and Matthew Might},
title = {Control-Flow Analysis of Dynamic Languages via Pointer Analysis},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2015},
}
Article: dls15main-mainid27-p doi:
|
| |
Cassou, Damien
|
DLS '15: "Access Control to Reflection ..."
Access Control to Reflection with Object Ownership
Camille Teruel, Stéphane Ducasse, Damien Cassou, and Marcus Denker
(INRIA, France; University of Lille, France)
@InProceedings{DLS15p196,
author = {Camille Teruel and Stéphane Ducasse and Damien Cassou and Marcus Denker},
title = {Access Control to Reflection with Object Ownership},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {196-195},
doi = {},
year = {2015},
}
Article: dls15main-mainid30-p doi:
|
| |
Denker, Marcus
|
DLS '15: "Access Control to Reflection ..."
Access Control to Reflection with Object Ownership
Camille Teruel, Stéphane Ducasse, Damien Cassou, and Marcus Denker
(INRIA, France; University of Lille, France)
@InProceedings{DLS15p196,
author = {Camille Teruel and Stéphane Ducasse and Damien Cassou and Marcus Denker},
title = {Access Control to Reflection with Object Ownership},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {196-195},
doi = {},
year = {2015},
}
Article: dls15main-mainid30-p doi:
|
| |
Ducasse, Stéphane |
DLS '15: "Access Control to Reflection ..."
Access Control to Reflection with Object Ownership
Camille Teruel, Stéphane Ducasse, Damien Cassou, and Marcus Denker
(INRIA, France; University of Lille, France)
@InProceedings{DLS15p196,
author = {Camille Teruel and Stéphane Ducasse and Damien Cassou and Marcus Denker},
title = {Access Control to Reflection with Object Ownership},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {196-195},
doi = {},
year = {2015},
}
Article: dls15main-mainid30-p doi:
|
| |
Ernst, Erik
|
DLS '15: "Message Safety in Dart ..."
Message Safety in Dart
Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco
(Google, Denmark; Aarhus University, Denmark)
@InProceedings{DLS15p46,
author = {Erik Ernst and Anders Møller and Mathias Schwarz and Fabio Strocco},
title = {Message Safety in Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2015},
}
Article: dls15main-mainid22-p doi:
|
| |
Feeley, Marc
|
DLS '15: "Compiling for Multi-language ..."
Compiling for Multi-language Task Migration
Marc Feeley
(Université de Montréal, Canada)
@InProceedings{DLS15p76,
author = {Marc Feeley},
title = {Compiling for Multi-language Task Migration},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {76-75},
doi = {},
year = {2015},
}
Article: dls15main-mainid31-p doi:
|
| |
Felgentreff, Tim |
DLS '15: "Language-independent Storage ..."
Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines
Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, and Carl Friedrich Bolz
(HPI, Germany; TU Berlin, Germany; King's College London, UK)
@InProceedings{DLS15p121,
author = {Tobias Pape and Tim Felgentreff and Robert Hirschfeld and Anton Gulenko and Carl Friedrich Bolz},
title = {Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2015},
}
Article: dls15main-mainid14-p doi:
|
| |
Fischer, Lars |
DLS '15: "An Empirical Investigation ..."
An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio
Lars Fischer and Stefan Hanenberg
(University of Duisburg-Essen, Germany)
@InProceedings{DLS15p181,
author = {Lars Fischer and Stefan Hanenberg},
title = {An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {181-180},
doi = {},
year = {2015},
}
Article: dls15main-mainid41-p doi:
|
| |
Grimmer, Matthias
|
DLS '15: "High-Performance Cross-Language ..."
High-Performance Cross-Language Interoperability in a Multi-language Runtime
Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, UK; Oracle Labs, Austria; Oracle Labs, Switzerland)
@InProceedings{DLS15p91,
author = {Matthias Grimmer and Chris Seaton and Roland Schatz and Thomas Würthinger and Hanspeter Mössenböck},
title = {High-Performance Cross-Language Interoperability in a Multi-language Runtime},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {91-90},
doi = {},
year = {2015},
}
Article: dls15main-mainid3-p doi:
|
| |
Gulenko, Anton |
DLS '15: "Language-independent Storage ..."
Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines
Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, and Carl Friedrich Bolz
(HPI, Germany; TU Berlin, Germany; King's College London, UK)
@InProceedings{DLS15p121,
author = {Tobias Pape and Tim Felgentreff and Robert Hirschfeld and Anton Gulenko and Carl Friedrich Bolz},
title = {Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2015},
}
Article: dls15main-mainid14-p doi:
|
| |
Hanenberg, Stefan
|
DLS '15: "An Empirical Investigation ..."
An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio
Lars Fischer and Stefan Hanenberg
(University of Duisburg-Essen, Germany)
@InProceedings{DLS15p181,
author = {Lars Fischer and Stefan Hanenberg},
title = {An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {181-180},
doi = {},
year = {2015},
}
Article: dls15main-mainid41-p doi:
|
| |
Hardekopf, Ben |
DLS '15: "Server-Side Type Profiling ..."
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Madhukar N. Kedlaya, Behnam Robatmili, and Ben Hardekopf
(University of California at Santa Barbara, USA; Qualcomm Research, USA)
@InProceedings{DLS15p166,
author = {Madhukar N. Kedlaya and Behnam Robatmili and Ben Hardekopf},
title = {Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {166-165},
doi = {},
year = {2015},
}
Article: dls15main-mainid7-p doi:
|
| |
Hirschfeld, Robert |
DLS '15: "Language-independent Storage ..."
Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines
Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, and Carl Friedrich Bolz
(HPI, Germany; TU Berlin, Germany; King's College London, UK)
@InProceedings{DLS15p121,
author = {Tobias Pape and Tim Felgentreff and Robert Hirschfeld and Anton Gulenko and Carl Friedrich Bolz},
title = {Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2015},
}
Article: dls15main-mainid14-p doi:
|
| |
Homer, Michael |
DLS '15: "From APIs to Languages: Generalising ..."
From APIs to Languages: Generalising Method Names
Michael Homer, Timothy Jones, and James Noble
(Victoria University of Wellington, New Zealand)
@InProceedings{DLS15p1,
author = {Michael Homer and Timothy Jones and James Noble},
title = {From APIs to Languages: Generalising Method Names},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2015},
}
Article: dls15main-mainid37-p doi:
|
| |
Ierusalimschy, Roberto
|
DLS '15: "A Formalization of Typed Lua ..."
A Formalization of Typed Lua
André Murbach Maidl, Fabio Mascarenhas, and Roberto Ierusalimschy
(PUC-Rio, Brazil; Federal University of Rio de Janeiro, Brazil)
@InProceedings{DLS15p16,
author = {André Murbach Maidl and Fabio Mascarenhas and Roberto Ierusalimschy},
title = {A Formalization of Typed Lua},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {16-15},
doi = {},
year = {2015},
}
Article: dls15main-mainid12-p doi:
|
| |
Jones, Timothy
|
DLS '15: "From APIs to Languages: Generalising ..."
From APIs to Languages: Generalising Method Names
Michael Homer, Timothy Jones, and James Noble
(Victoria University of Wellington, New Zealand)
@InProceedings{DLS15p1,
author = {Michael Homer and Timothy Jones and James Noble},
title = {From APIs to Languages: Generalising Method Names},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2015},
}
Article: dls15main-mainid37-p doi:
|
| |
Kedlaya, Madhukar N.
|
DLS '15: "Server-Side Type Profiling ..."
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Madhukar N. Kedlaya, Behnam Robatmili, and Ben Hardekopf
(University of California at Santa Barbara, USA; Qualcomm Research, USA)
@InProceedings{DLS15p166,
author = {Madhukar N. Kedlaya and Behnam Robatmili and Ben Hardekopf},
title = {Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {166-165},
doi = {},
year = {2015},
}
Article: dls15main-mainid7-p doi:
|
| |
Leopoldseder, David
|
DLS '15: "Java-to-JavaScript Translation ..."
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
David Leopoldseder, Lukas Stadler, Christian Wimmer, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Austria; Oracle Labs, USA)
@InProceedings{DLS15p106,
author = {David Leopoldseder and Lukas Stadler and Christian Wimmer and Hanspeter Mössenböck},
title = {Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {106-105},
doi = {},
year = {2015},
}
Article: dls15main-mainid23-p doi:
|
| |
Lyde, Steven |
DLS '15: "Control-Flow Analysis of Dynamic ..."
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Steven Lyde, William E. Byrd, and Matthew Might
(University of Utah, USA)
@InProceedings{DLS15p61,
author = {Steven Lyde and William E. Byrd and Matthew Might},
title = {Control-Flow Analysis of Dynamic Languages via Pointer Analysis},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2015},
}
Article: dls15main-mainid27-p doi:
|
| |
Maidl, André Murbach
|
DLS '15: "A Formalization of Typed Lua ..."
A Formalization of Typed Lua
André Murbach Maidl, Fabio Mascarenhas, and Roberto Ierusalimschy
(PUC-Rio, Brazil; Federal University of Rio de Janeiro, Brazil)
@InProceedings{DLS15p16,
author = {André Murbach Maidl and Fabio Mascarenhas and Roberto Ierusalimschy},
title = {A Formalization of Typed Lua},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {16-15},
doi = {},
year = {2015},
}
Article: dls15main-mainid12-p doi:
|
| |
Mascarenhas, Fabio |
DLS '15: "A Formalization of Typed Lua ..."
A Formalization of Typed Lua
André Murbach Maidl, Fabio Mascarenhas, and Roberto Ierusalimschy
(PUC-Rio, Brazil; Federal University of Rio de Janeiro, Brazil)
@InProceedings{DLS15p16,
author = {André Murbach Maidl and Fabio Mascarenhas and Roberto Ierusalimschy},
title = {A Formalization of Typed Lua},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {16-15},
doi = {},
year = {2015},
}
Article: dls15main-mainid12-p doi:
|
| |
Might, Matthew |
DLS '15: "Control-Flow Analysis of Dynamic ..."
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Steven Lyde, William E. Byrd, and Matthew Might
(University of Utah, USA)
@InProceedings{DLS15p61,
author = {Steven Lyde and William E. Byrd and Matthew Might},
title = {Control-Flow Analysis of Dynamic Languages via Pointer Analysis},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2015},
}
Article: dls15main-mainid27-p doi:
|
| |
Møller, Anders |
DLS '15: "Message Safety in Dart ..."
Message Safety in Dart
Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco
(Google, Denmark; Aarhus University, Denmark)
@InProceedings{DLS15p46,
author = {Erik Ernst and Anders Møller and Mathias Schwarz and Fabio Strocco},
title = {Message Safety in Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2015},
}
Article: dls15main-mainid22-p doi:
|
| |
Mössenböck, Hanspeter |
DLS '15: "Java-to-JavaScript Translation ..."
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
David Leopoldseder, Lukas Stadler, Christian Wimmer, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Austria; Oracle Labs, USA)
@InProceedings{DLS15p106,
author = {David Leopoldseder and Lukas Stadler and Christian Wimmer and Hanspeter Mössenböck},
title = {Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {106-105},
doi = {},
year = {2015},
}
Article: dls15main-mainid23-p doi:
DLS '15: "High-Performance Cross-Language ..."
High-Performance Cross-Language Interoperability in a Multi-language Runtime
Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, UK; Oracle Labs, Austria; Oracle Labs, Switzerland)
@InProceedings{DLS15p91,
author = {Matthias Grimmer and Chris Seaton and Roland Schatz and Thomas Würthinger and Hanspeter Mössenböck},
title = {High-Performance Cross-Language Interoperability in a Multi-language Runtime},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {91-90},
doi = {},
year = {2015},
}
Article: dls15main-mainid3-p doi:
|
| |
Noble, James
|
DLS '15: "From APIs to Languages: Generalising ..."
From APIs to Languages: Generalising Method Names
Michael Homer, Timothy Jones, and James Noble
(Victoria University of Wellington, New Zealand)
@InProceedings{DLS15p1,
author = {Michael Homer and Timothy Jones and James Noble},
title = {From APIs to Languages: Generalising Method Names},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2015},
}
Article: dls15main-mainid37-p doi:
|
| |
Pape, Tobias
|
DLS '15: "Language-independent Storage ..."
Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines
Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, and Carl Friedrich Bolz
(HPI, Germany; TU Berlin, Germany; King's College London, UK)
@InProceedings{DLS15p121,
author = {Tobias Pape and Tim Felgentreff and Robert Hirschfeld and Anton Gulenko and Carl Friedrich Bolz},
title = {Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2015},
}
Article: dls15main-mainid14-p doi:
|
| |
Robatmili, Behnam
|
DLS '15: "Server-Side Type Profiling ..."
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Madhukar N. Kedlaya, Behnam Robatmili, and Ben Hardekopf
(University of California at Santa Barbara, USA; Qualcomm Research, USA)
@InProceedings{DLS15p166,
author = {Madhukar N. Kedlaya and Behnam Robatmili and Ben Hardekopf},
title = {Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {166-165},
doi = {},
year = {2015},
}
Article: dls15main-mainid7-p doi:
|
| |
Schatz, Roland
|
DLS '15: "High-Performance Cross-Language ..."
High-Performance Cross-Language Interoperability in a Multi-language Runtime
Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, UK; Oracle Labs, Austria; Oracle Labs, Switzerland)
@InProceedings{DLS15p91,
author = {Matthias Grimmer and Chris Seaton and Roland Schatz and Thomas Würthinger and Hanspeter Mössenböck},
title = {High-Performance Cross-Language Interoperability in a Multi-language Runtime},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {91-90},
doi = {},
year = {2015},
}
Article: dls15main-mainid3-p doi:
|
| |
Schwarz, Mathias |
DLS '15: "Message Safety in Dart ..."
Message Safety in Dart
Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco
(Google, Denmark; Aarhus University, Denmark)
@InProceedings{DLS15p46,
author = {Erik Ernst and Anders Møller and Mathias Schwarz and Fabio Strocco},
title = {Message Safety in Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2015},
}
Article: dls15main-mainid22-p doi:
|
| |
Seaton, Chris |
DLS '15: "High-Performance Cross-Language ..."
High-Performance Cross-Language Interoperability in a Multi-language Runtime
Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, UK; Oracle Labs, Austria; Oracle Labs, Switzerland)
@InProceedings{DLS15p91,
author = {Matthias Grimmer and Chris Seaton and Roland Schatz and Thomas Würthinger and Hanspeter Mössenböck},
title = {High-Performance Cross-Language Interoperability in a Multi-language Runtime},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {91-90},
doi = {},
year = {2015},
}
Article: dls15main-mainid3-p doi:
|
| |
Stadler, Lukas |
DLS '15: "Java-to-JavaScript Translation ..."
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
David Leopoldseder, Lukas Stadler, Christian Wimmer, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Austria; Oracle Labs, USA)
@InProceedings{DLS15p106,
author = {David Leopoldseder and Lukas Stadler and Christian Wimmer and Hanspeter Mössenböck},
title = {Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {106-105},
doi = {},
year = {2015},
}
Article: dls15main-mainid23-p doi:
|
| |
Strocco, Fabio |
DLS '15: "Message Safety in Dart ..."
Message Safety in Dart
Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco
(Google, Denmark; Aarhus University, Denmark)
@InProceedings{DLS15p46,
author = {Erik Ernst and Anders Møller and Mathias Schwarz and Fabio Strocco},
title = {Message Safety in Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2015},
}
Article: dls15main-mainid22-p doi:
|
| |
Tabareau, Nicolas
|
DLS '15: "Gradual Certified Programming ..."
Gradual Certified Programming in Coq
Éric Tanter and Nicolas Tabareau
(University of Chile, Chile; INRIA, France)
@InProceedings{DLS15p31,
author = {Éric Tanter and Nicolas Tabareau},
title = {Gradual Certified Programming in Coq},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2015},
}
Article: dls15main-mainid2-p doi:
|
| |
Tanter, Éric |
DLS '15: "Gradual Certified Programming ..."
Gradual Certified Programming in Coq
Éric Tanter and Nicolas Tabareau
(University of Chile, Chile; INRIA, France)
@InProceedings{DLS15p31,
author = {Éric Tanter and Nicolas Tabareau},
title = {Gradual Certified Programming in Coq},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2015},
}
Article: dls15main-mainid2-p doi:
|
| |
Teruel, Camille |
DLS '15: "Access Control to Reflection ..."
Access Control to Reflection with Object Ownership
Camille Teruel, Stéphane Ducasse, Damien Cassou, and Marcus Denker
(INRIA, France; University of Lille, France)
@InProceedings{DLS15p196,
author = {Camille Teruel and Stéphane Ducasse and Damien Cassou and Marcus Denker},
title = {Access Control to Reflection with Object Ownership},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {196-195},
doi = {},
year = {2015},
}
Article: dls15main-mainid30-p doi:
|
| |
Wimmer, Christian
|
DLS '15: "Java-to-JavaScript Translation ..."
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
David Leopoldseder, Lukas Stadler, Christian Wimmer, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Austria; Oracle Labs, USA)
@InProceedings{DLS15p106,
author = {David Leopoldseder and Lukas Stadler and Christian Wimmer and Hanspeter Mössenböck},
title = {Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {106-105},
doi = {},
year = {2015},
}
Article: dls15main-mainid23-p doi:
|
| |
Wrigstad, Tobias |
DLS '15: "Measuring Polymorphism in ..."
Measuring Polymorphism in Python Programs
Beatrice Åkerblom and Tobias Wrigstad
(Stockholm University, Sweden; Uppsala University, Sweden)
@InProceedings{DLS15p136,
author = {Beatrice Åkerblom and Tobias Wrigstad},
title = {Measuring Polymorphism in Python Programs},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {136-135},
doi = {},
year = {2015},
}
Article: dls15main-mainid34-p doi:
|
| |
Würthinger, Thomas |
DLS '15: "High-Performance Cross-Language ..."
High-Performance Cross-Language Interoperability in a Multi-language Runtime
Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, UK; Oracle Labs, Austria; Oracle Labs, Switzerland)
@InProceedings{DLS15p91,
author = {Matthias Grimmer and Chris Seaton and Roland Schatz and Thomas Würthinger and Hanspeter Mössenböck},
title = {High-Performance Cross-Language Interoperability in a Multi-language Runtime},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {91-90},
doi = {},
year = {2015},
}
Article: dls15main-mainid3-p doi:
|
