| |
Byrd, William E.
|
DLS '16: "A Small Embedding of Logic ..."
A Small Embedding of Logic Programming with a Simple Complete Search
Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might
(Indiana University, USA; University of Utah, USA)
@InProceedings{DLS16p97,
author = {Jason Hemann and Daniel P. Friedman and William E. Byrd and Matthew Might},
title = {A Small Embedding of Logic Programming with a Simple Complete Search},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2016},
}
|
| |
Chari, Guido
|
DLS '16: "Building Efficient and Highly ..."
Building Efficient and Highly Run-Time Adaptable Virtual Machines
Guido Chari, Diego Garbervetsky, and Stefan Marr
(University of Buenos Aires, Argentina; CONICET, Argentina; JKU Linz, Austria)
@InProceedings{DLS16p61,
author = {Guido Chari and Diego Garbervetsky and Stefan Marr},
title = {Building Efficient and Highly Run-Time Adaptable Virtual Machines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2016},
}
|
| |
Daloze, Benoit
|
DLS '16: "Cross-Language Compiler Benchmarking: ..."
Cross-Language Compiler Benchmarking: Are We Fast Yet?
Stefan Marr, Benoit Daloze, and Hanspeter Mössenböck
(JKU Linz, Austria)
@InProceedings{DLS16p121,
author = {Stefan Marr and Benoit Daloze and Hanspeter Mössenböck},
title = {Cross-Language Compiler Benchmarking: Are We Fast Yet?},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2016},
}
|
| |
De Meuter, Wolfgang |
DLS '16: "Just-in-Time Inheritance: ..."
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
Mattias De Wael, Janwillem Swalens, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{DLS16p37,
author = {Mattias De Wael and Janwillem Swalens and Wolfgang De Meuter},
title = {Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2016},
}
|
| |
De Wael, Mattias |
DLS '16: "Just-in-Time Inheritance: ..."
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
Mattias De Wael, Janwillem Swalens, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{DLS16p37,
author = {Mattias De Wael and Janwillem Swalens and Wolfgang De Meuter},
title = {Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2016},
}
|
| |
Dubroy, Patrick |
DLS '16: "Modular Semantic Actions ..."
Modular Semantic Actions
Alessandro Warth, Patrick Dubroy, and Tony Garnock-Jones
(Y Combinator Research, USA; Northeastern University, USA)
@InProceedings{DLS16p109,
author = {Alessandro Warth and Patrick Dubroy and Tony Garnock-Jones},
title = {Modular Semantic Actions},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {109-108},
doi = {},
year = {2016},
}
|
| |
Foley-Bourgon, Vincent
|
DLS '16: "Efficiently Implementing the ..."
Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
Vincent Foley-Bourgon and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS16p73,
author = {Vincent Foley-Bourgon and Laurie Hendren},
title = {Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {73-72},
doi = {},
year = {2016},
}
|
| |
Friedman, Daniel P. |
DLS '16: "A Small Embedding of Logic ..."
A Small Embedding of Logic Programming with a Simple Complete Search
Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might
(Indiana University, USA; University of Utah, USA)
@InProceedings{DLS16p97,
author = {Jason Hemann and Daniel P. Friedman and William E. Byrd and Matthew Might},
title = {A Small Embedding of Logic Programming with a Simple Complete Search},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2016},
}
|
| |
Garbervetsky, Diego
|
DLS '16: "Building Efficient and Highly ..."
Building Efficient and Highly Run-Time Adaptable Virtual Machines
Guido Chari, Diego Garbervetsky, and Stefan Marr
(University of Buenos Aires, Argentina; CONICET, Argentina; JKU Linz, Austria)
@InProceedings{DLS16p61,
author = {Guido Chari and Diego Garbervetsky and Stefan Marr},
title = {Building Efficient and Highly Run-Time Adaptable Virtual Machines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2016},
}
|
| |
Garnock-Jones, Tony |
DLS '16: "Modular Semantic Actions ..."
Modular Semantic Actions
Alessandro Warth, Patrick Dubroy, and Tony Garnock-Jones
(Y Combinator Research, USA; Northeastern University, USA)
@InProceedings{DLS16p109,
author = {Alessandro Warth and Patrick Dubroy and Tony Garnock-Jones},
title = {Modular Semantic Actions},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {109-108},
doi = {},
year = {2016},
}
|
| |
Gross, Thomas R. |
DLS '16: "Parallel Virtual Machines ..."
Parallel Virtual Machines with RPython
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland; PyPy.org, Switzerland)
@InProceedings{DLS16p49,
author = {Remigius Meier and Armin Rigo and Thomas R. Gross},
title = {Parallel Virtual Machines with RPython},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2016},
}
|
| |
Heinze, Thomas S.
|
DLS '16: "Type Safety Analysis for Dart ..."
Type Safety Analysis for Dart
Thomas S. Heinze, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)
@InProceedings{DLS16p1,
author = {Thomas S. Heinze and Anders Møller and Fabio Strocco},
title = {Type Safety Analysis for Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
|
| |
Hemann, Jason |
DLS '16: "A Small Embedding of Logic ..."
A Small Embedding of Logic Programming with a Simple Complete Search
Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might
(Indiana University, USA; University of Utah, USA)
@InProceedings{DLS16p97,
author = {Jason Hemann and Daniel P. Friedman and William E. Byrd and Matthew Might},
title = {A Small Embedding of Logic Programming with a Simple Complete Search},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2016},
}
|
| |
Hendren, Laurie |
DLS '16: "Efficiently Implementing the ..."
Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
Vincent Foley-Bourgon and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS16p73,
author = {Vincent Foley-Bourgon and Laurie Hendren},
title = {Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {73-72},
doi = {},
year = {2016},
}
|
| |
Humer, Christian |
DLS '16: "Optimizing R Language Execution ..."
Optimizing R Language Execution via Aggressive Speculation
Lukas Stadler, Adam Welc, Christian Humer, and Mick Jordan
(Oracle Labs, Austria; Oracle Labs, USA; Oracle Labs, Switzerland)
@InProceedings{DLS16p85,
author = {Lukas Stadler and Adam Welc and Christian Humer and Mick Jordan},
title = {Optimizing R Language Execution via Aggressive Speculation},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2016},
}
|
| |
Im, Hyeonseung
|
DLS '16: "Precise and Scalable Static ..."
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
Changhee Park, Hyeonseung Im, and Sukyoung Ryu
(KAIST, South Korea; Kangwon National University, South Korea)
@InProceedings{DLS16p25,
author = {Changhee Park and Hyeonseung Im and Sukyoung Ryu},
title = {Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2016},
}
|
| |
Jordan, Mick
|
DLS '16: "Optimizing R Language Execution ..."
Optimizing R Language Execution via Aggressive Speculation
Lukas Stadler, Adam Welc, Christian Humer, and Mick Jordan
(Oracle Labs, Austria; Oracle Labs, USA; Oracle Labs, Switzerland)
@InProceedings{DLS16p85,
author = {Lukas Stadler and Adam Welc and Christian Humer and Mick Jordan},
title = {Optimizing R Language Execution via Aggressive Speculation},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2016},
}
|
| |
Marr, Stefan
|
DLS '16: "Cross-Language Compiler Benchmarking: ..."
Cross-Language Compiler Benchmarking: Are We Fast Yet?
Stefan Marr, Benoit Daloze, and Hanspeter Mössenböck
(JKU Linz, Austria)
@InProceedings{DLS16p121,
author = {Stefan Marr and Benoit Daloze and Hanspeter Mössenböck},
title = {Cross-Language Compiler Benchmarking: Are We Fast Yet?},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2016},
}
DLS '16: "Building Efficient and Highly ..."
Building Efficient and Highly Run-Time Adaptable Virtual Machines
Guido Chari, Diego Garbervetsky, and Stefan Marr
(University of Buenos Aires, Argentina; CONICET, Argentina; JKU Linz, Austria)
@InProceedings{DLS16p61,
author = {Guido Chari and Diego Garbervetsky and Stefan Marr},
title = {Building Efficient and Highly Run-Time Adaptable Virtual Machines},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2016},
}
|
| |
Meier, Remigius |
DLS '16: "Parallel Virtual Machines ..."
Parallel Virtual Machines with RPython
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland; PyPy.org, Switzerland)
@InProceedings{DLS16p49,
author = {Remigius Meier and Armin Rigo and Thomas R. Gross},
title = {Parallel Virtual Machines with RPython},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2016},
}
|
| |
Mezzetti, Gianluca |
DLS '16: "Type Unsoundness in Practice: ..."
Type Unsoundness in Practice: An Empirical Study of Dart
Gianluca Mezzetti, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)
@InProceedings{DLS16p13,
author = {Gianluca Mezzetti and Anders Møller and Fabio Strocco},
title = {Type Unsoundness in Practice: An Empirical Study of Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2016},
}
|
| |
Might, Matthew |
DLS '16: "A Small Embedding of Logic ..."
A Small Embedding of Logic Programming with a Simple Complete Search
Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might
(Indiana University, USA; University of Utah, USA)
@InProceedings{DLS16p97,
author = {Jason Hemann and Daniel P. Friedman and William E. Byrd and Matthew Might},
title = {A Small Embedding of Logic Programming with a Simple Complete Search},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2016},
}
|
| |
Møller, Anders |
DLS '16: "Type Unsoundness in Practice: ..."
Type Unsoundness in Practice: An Empirical Study of Dart
Gianluca Mezzetti, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)
@InProceedings{DLS16p13,
author = {Gianluca Mezzetti and Anders Møller and Fabio Strocco},
title = {Type Unsoundness in Practice: An Empirical Study of Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2016},
}
DLS '16: "Type Safety Analysis for Dart ..."
Type Safety Analysis for Dart
Thomas S. Heinze, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)
@InProceedings{DLS16p1,
author = {Thomas S. Heinze and Anders Møller and Fabio Strocco},
title = {Type Safety Analysis for Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
|
| |
Mössenböck, Hanspeter |
DLS '16: "Cross-Language Compiler Benchmarking: ..."
Cross-Language Compiler Benchmarking: Are We Fast Yet?
Stefan Marr, Benoit Daloze, and Hanspeter Mössenböck
(JKU Linz, Austria)
@InProceedings{DLS16p121,
author = {Stefan Marr and Benoit Daloze and Hanspeter Mössenböck},
title = {Cross-Language Compiler Benchmarking: Are We Fast Yet?},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2016},
}
|
| |
Park, Changhee
|
DLS '16: "Precise and Scalable Static ..."
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
Changhee Park, Hyeonseung Im, and Sukyoung Ryu
(KAIST, South Korea; Kangwon National University, South Korea)
@InProceedings{DLS16p25,
author = {Changhee Park and Hyeonseung Im and Sukyoung Ryu},
title = {Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2016},
}
|
| |
Rigo, Armin
|
DLS '16: "Parallel Virtual Machines ..."
Parallel Virtual Machines with RPython
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland; PyPy.org, Switzerland)
@InProceedings{DLS16p49,
author = {Remigius Meier and Armin Rigo and Thomas R. Gross},
title = {Parallel Virtual Machines with RPython},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2016},
}
|
| |
Ryu, Sukyoung |
DLS '16: "Precise and Scalable Static ..."
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
Changhee Park, Hyeonseung Im, and Sukyoung Ryu
(KAIST, South Korea; Kangwon National University, South Korea)
@InProceedings{DLS16p25,
author = {Changhee Park and Hyeonseung Im and Sukyoung Ryu},
title = {Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2016},
}
|
| |
Stadler, Lukas
|
DLS '16: "Optimizing R Language Execution ..."
Optimizing R Language Execution via Aggressive Speculation
Lukas Stadler, Adam Welc, Christian Humer, and Mick Jordan
(Oracle Labs, Austria; Oracle Labs, USA; Oracle Labs, Switzerland)
@InProceedings{DLS16p85,
author = {Lukas Stadler and Adam Welc and Christian Humer and Mick Jordan},
title = {Optimizing R Language Execution via Aggressive Speculation},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2016},
}
|
| |
Strocco, Fabio |
DLS '16: "Type Unsoundness in Practice: ..."
Type Unsoundness in Practice: An Empirical Study of Dart
Gianluca Mezzetti, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)
@InProceedings{DLS16p13,
author = {Gianluca Mezzetti and Anders Møller and Fabio Strocco},
title = {Type Unsoundness in Practice: An Empirical Study of Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2016},
}
DLS '16: "Type Safety Analysis for Dart ..."
Type Safety Analysis for Dart
Thomas S. Heinze, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)
@InProceedings{DLS16p1,
author = {Thomas S. Heinze and Anders Møller and Fabio Strocco},
title = {Type Safety Analysis for Dart},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
|
| |
Swalens, Janwillem |
DLS '16: "Just-in-Time Inheritance: ..."
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
Mattias De Wael, Janwillem Swalens, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{DLS16p37,
author = {Mattias De Wael and Janwillem Swalens and Wolfgang De Meuter},
title = {Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2016},
}
|
| |
Warth, Alessandro
|
DLS '16: "Modular Semantic Actions ..."
Modular Semantic Actions
Alessandro Warth, Patrick Dubroy, and Tony Garnock-Jones
(Y Combinator Research, USA; Northeastern University, USA)
@InProceedings{DLS16p109,
author = {Alessandro Warth and Patrick Dubroy and Tony Garnock-Jones},
title = {Modular Semantic Actions},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {109-108},
doi = {},
year = {2016},
}
|
| |
Welc, Adam |
DLS '16: "Optimizing R Language Execution ..."
Optimizing R Language Execution via Aggressive Speculation
Lukas Stadler, Adam Welc, Christian Humer, and Mick Jordan
(Oracle Labs, Austria; Oracle Labs, USA; Oracle Labs, Switzerland)
@InProceedings{DLS16p85,
author = {Lukas Stadler and Adam Welc and Christian Humer and Mick Jordan},
title = {Optimizing R Language Execution via Aggressive Speculation},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2016},
}
|
