| |
Buckley, Scott
|
SCALA '16: "The sbt-rats Parser Generator ..."
The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Anthony M. Sloane, Franck Cassez, and Scott Buckley
(Macquarie University, Australia)
@InProceedings{SCALA16p111,
author = {Anthony M. Sloane and Franck Cassez and Scott Buckley},
title = {The sbt-rats Parser Generator Plugin for Scala (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {111-110},
doi = {},
year = {2016},
}
|
| |
Cassez, Franck
|
SCALA '16: "The sbt-rats Parser Generator ..."
The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Anthony M. Sloane, Franck Cassez, and Scott Buckley
(Macquarie University, Australia)
@InProceedings{SCALA16p111,
author = {Anthony M. Sloane and Franck Cassez and Scott Buckley},
title = {The sbt-rats Parser Generator Plugin for Scala (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {111-110},
doi = {},
year = {2016},
}
|
| |
De Meuter, Wolfgang
|
SCALA '16: "Building a Modular Static ..."
Building a Modular Static Analysis Framework in Scala (Tool Paper)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover
(Vrije Universiteit Brussel, Belgium)
@InProceedings{SCALA16p106,
author = {Quentin Stiévenart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
title = {Building a Modular Static Analysis Framework in Scala (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {106-105},
doi = {},
year = {2016},
}
|
| |
De Roover, Coen |
SCALA '16: "Building a Modular Static ..."
Building a Modular Static Analysis Framework in Scala (Tool Paper)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover
(Vrije Universiteit Brussel, Belgium)
@InProceedings{SCALA16p106,
author = {Quentin Stiévenart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
title = {Building a Modular Static Analysis Framework in Scala (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {106-105},
doi = {},
year = {2016},
}
|
| |
Doeraene, Sébastien |
SCALA '16: "Semantics-Driven Interoperability ..."
Semantics-Driven Interoperability between Scala.js and JavaScript
Sébastien Doeraene, Tobias Schlatter, and Nicolas Stucki
(EPFL, Switzerland)
@InProceedings{SCALA16p86,
author = {Sébastien Doeraene and Tobias Schlatter and Nicolas Stucki},
title = {Semantics-Driven Interoperability between Scala.js and JavaScript},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {86-85},
doi = {},
year = {2016},
}
|
| |
Eichberg, Michael
|
SCALA '16: "Reactive Async: Expressive ..."
Reactive Async: Expressive Deterministic Concurrency
Philipp Haller, Simon Geries, Michael Eichberg, and Guido Salvaneschi
(KTH, Sweden; TU Darmstadt, Germany)
@InProceedings{SCALA16p11,
author = {Philipp Haller and Simon Geries and Michael Eichberg and Guido Salvaneschi},
title = {Reactive Async: Expressive Deterministic Concurrency},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {11-10},
doi = {},
year = {2016},
}
|
| |
Eugster, Patrick |
SCALA '16: "SecureScala: Scala Embedding ..."
SecureScala: Scala Embedding of Secure Computations
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi
(Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany)
@InProceedings{SCALA16p76,
author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi},
title = {SecureScala: Scala Embedding of Secure Computations},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {76-75},
doi = {},
year = {2016},
}
|
| |
Geries, Simon
|
SCALA '16: "Reactive Async: Expressive ..."
Reactive Async: Expressive Deterministic Concurrency
Philipp Haller, Simon Geries, Michael Eichberg, and Guido Salvaneschi
(KTH, Sweden; TU Darmstadt, Germany)
@InProceedings{SCALA16p11,
author = {Philipp Haller and Simon Geries and Michael Eichberg and Guido Salvaneschi},
title = {Reactive Async: Expressive Deterministic Concurrency},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {11-10},
doi = {},
year = {2016},
}
|
| |
Haller, Philipp
|
SCALA '16: "Reactive Async: Expressive ..."
Reactive Async: Expressive Deterministic Concurrency
Philipp Haller, Simon Geries, Michael Eichberg, and Guido Salvaneschi
(KTH, Sweden; TU Darmstadt, Germany)
@InProceedings{SCALA16p11,
author = {Philipp Haller and Simon Geries and Michael Eichberg and Guido Salvaneschi},
title = {Reactive Async: Expressive Deterministic Concurrency},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {11-10},
doi = {},
year = {2016},
}
|
| |
Hauck, Markus |
SCALA '16: "SecureScala: Scala Embedding ..."
SecureScala: Scala Embedding of Secure Computations
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi
(Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany)
@InProceedings{SCALA16p76,
author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi},
title = {SecureScala: Scala Embedding of Secure Computations},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {76-75},
doi = {},
year = {2016},
}
|
| |
Kuncak, Viktor
|
SCALA '16: "SMT-Based Checking of Predicate-Qualified ..."
SMT-Based Checking of Predicate-Qualified Types for Scala
Georg Stefan Schmid and Viktor Kuncak
(EPFL, Switzerland)
@InProceedings{SCALA16p31,
author = {Georg Stefan Schmid and Viktor Kuncak},
title = {SMT-Based Checking of Predicate-Qualified Types for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2016},
}
|
| |
Lippe, Tim van der
|
SCALA '16: "A Scalable Infrastructure ..."
A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Tim van der Lippe, Thomas Smith, Daniël Pelsmaeker, and Eelco Visser
(Delft University of Technology, Netherlands)
@InProceedings{SCALA16p66,
author = {Tim van der Lippe and Thomas Smith and Daniël Pelsmaeker and Eelco Visser},
title = {A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {66-65},
doi = {},
year = {2016},
}
|
| |
Liu, Fengyun |
SCALA '16: "A Generic Algorithm for Checking ..."
A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)
Fengyun Liu
(EPFL, Switzerland)
@InProceedings{SCALA16p61,
author = {Fengyun Liu},
title = {A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2016},
}
|
| |
Madhavan, Ravichandhran
|
SCALA '16: "A Scala Library for Testing ..."
A Scala Library for Testing Student Assignments on Concurrent Programming
Mikaël Mayer and Ravichandhran Madhavan
(EPFL, Switzerland)
@InProceedings{SCALA16p1,
author = {Mikaël Mayer and Ravichandhran Madhavan},
title = {A Scala Library for Testing Student Assignments on Concurrent Programming},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
|
| |
Martres, Guillaume |
SCALA '16: "Implementing Higher-Kinded ..."
Implementing Higher-Kinded Types in Dotty
Martin Odersky, Guillaume Martres, and Dmitry Petrashko
(EPFL, Switzerland)
@InProceedings{SCALA16p51,
author = {Martin Odersky and Guillaume Martres and Dmitry Petrashko},
title = {Implementing Higher-Kinded Types in Dotty},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {51-50},
doi = {},
year = {2016},
}
|
| |
Mayer, Mikaël |
SCALA '16: "A Scala Library for Testing ..."
A Scala Library for Testing Student Assignments on Concurrent Programming
Mikaël Mayer and Ravichandhran Madhavan
(EPFL, Switzerland)
@InProceedings{SCALA16p1,
author = {Mikaël Mayer and Ravichandhran Madhavan},
title = {A Scala Library for Testing Student Assignments on Concurrent Programming},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
|
| |
Mehta, Farhad |
SCALA '16: "Scaps: Type-Directed API Search ..."
Scaps: Type-Directed API Search for Scala
Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker
(1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland)
@InProceedings{SCALA16p96,
author = {Lukas Wegmann and Farhad Mehta and Peter Sommerlad and Mirko Stocker},
title = {Scaps: Type-Directed API Search for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {96-95},
doi = {},
year = {2016},
}
|
| |
Mezini, Mira |
SCALA '16: "SecureScala: Scala Embedding ..."
SecureScala: Scala Embedding of Secure Computations
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi
(Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany)
@InProceedings{SCALA16p76,
author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi},
title = {SecureScala: Scala Embedding of Secure Computations},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {76-75},
doi = {},
year = {2016},
}
|
| |
Nicolay, Jens
|
SCALA '16: "Building a Modular Static ..."
Building a Modular Static Analysis Framework in Scala (Tool Paper)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover
(Vrije Universiteit Brussel, Belgium)
@InProceedings{SCALA16p106,
author = {Quentin Stiévenart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
title = {Building a Modular Static Analysis Framework in Scala (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {106-105},
doi = {},
year = {2016},
}
|
| |
Odersky, Martin
|
SCALA '16: "Implementing Higher-Kinded ..."
Implementing Higher-Kinded Types in Dotty
Martin Odersky, Guillaume Martres, and Dmitry Petrashko
(EPFL, Switzerland)
@InProceedings{SCALA16p51,
author = {Martin Odersky and Guillaume Martres and Dmitry Petrashko},
title = {Implementing Higher-Kinded Types in Dotty},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {51-50},
doi = {},
year = {2016},
}
|
| |
Ofenbeck, Georg |
SCALA '16: "RandIR: Differential Testing ..."
RandIR: Differential Testing for Embedded Compilers
Georg Ofenbeck, Tiark Rompf, and Markus Püschel
(ETH Zurich, Switzerland; Purdue University, USA)
@InProceedings{SCALA16p21,
author = {Georg Ofenbeck and Tiark Rompf and Markus Püschel},
title = {RandIR: Differential Testing for Embedded Compilers},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {21-20},
doi = {},
year = {2016},
}
|
| |
Pelsmaeker, Daniël
|
SCALA '16: "A Scalable Infrastructure ..."
A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Tim van der Lippe, Thomas Smith, Daniël Pelsmaeker, and Eelco Visser
(Delft University of Technology, Netherlands)
@InProceedings{SCALA16p66,
author = {Tim van der Lippe and Thomas Smith and Daniël Pelsmaeker and Eelco Visser},
title = {A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {66-65},
doi = {},
year = {2016},
}
|
| |
Petrashko, Dmitry |
SCALA '16: "Implementing Higher-Kinded ..."
Implementing Higher-Kinded Types in Dotty
Martin Odersky, Guillaume Martres, and Dmitry Petrashko
(EPFL, Switzerland)
@InProceedings{SCALA16p51,
author = {Martin Odersky and Guillaume Martres and Dmitry Petrashko},
title = {Implementing Higher-Kinded Types in Dotty},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {51-50},
doi = {},
year = {2016},
}
|
| |
Püschel, Markus |
SCALA '16: "RandIR: Differential Testing ..."
RandIR: Differential Testing for Embedded Compilers
Georg Ofenbeck, Tiark Rompf, and Markus Püschel
(ETH Zurich, Switzerland; Purdue University, USA)
@InProceedings{SCALA16p21,
author = {Georg Ofenbeck and Tiark Rompf and Markus Püschel},
title = {RandIR: Differential Testing for Embedded Compilers},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {21-20},
doi = {},
year = {2016},
}
|
| |
Rompf, Tiark
|
SCALA '16: "RandIR: Differential Testing ..."
RandIR: Differential Testing for Embedded Compilers
Georg Ofenbeck, Tiark Rompf, and Markus Püschel
(ETH Zurich, Switzerland; Purdue University, USA)
@InProceedings{SCALA16p21,
author = {Georg Ofenbeck and Tiark Rompf and Markus Püschel},
title = {RandIR: Differential Testing for Embedded Compilers},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {21-20},
doi = {},
year = {2016},
}
SCALA '16: "Reflections on LMS: Exploring ..."
Reflections on LMS: Exploring Front-End Alternatives
Tiark Rompf
(Purdue University, USA)
@InProceedings{SCALA16p41,
author = {Tiark Rompf},
title = {Reflections on LMS: Exploring Front-End Alternatives},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {41-40},
doi = {},
year = {2016},
}
|
| |
Salvaneschi, Guido
|
SCALA '16: "Reactive Async: Expressive ..."
Reactive Async: Expressive Deterministic Concurrency
Philipp Haller, Simon Geries, Michael Eichberg, and Guido Salvaneschi
(KTH, Sweden; TU Darmstadt, Germany)
@InProceedings{SCALA16p11,
author = {Philipp Haller and Simon Geries and Michael Eichberg and Guido Salvaneschi},
title = {Reactive Async: Expressive Deterministic Concurrency},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {11-10},
doi = {},
year = {2016},
}
SCALA '16: "SecureScala: Scala Embedding ..."
SecureScala: Scala Embedding of Secure Computations
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi
(Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany)
@InProceedings{SCALA16p76,
author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi},
title = {SecureScala: Scala Embedding of Secure Computations},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {76-75},
doi = {},
year = {2016},
}
|
| |
Savvides, Savvas |
SCALA '16: "SecureScala: Scala Embedding ..."
SecureScala: Scala Embedding of Secure Computations
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi
(Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany)
@InProceedings{SCALA16p76,
author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi},
title = {SecureScala: Scala Embedding of Secure Computations},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {76-75},
doi = {},
year = {2016},
}
|
| |
Schlatter, Tobias |
SCALA '16: "Semantics-Driven Interoperability ..."
Semantics-Driven Interoperability between Scala.js and JavaScript
Sébastien Doeraene, Tobias Schlatter, and Nicolas Stucki
(EPFL, Switzerland)
@InProceedings{SCALA16p86,
author = {Sébastien Doeraene and Tobias Schlatter and Nicolas Stucki},
title = {Semantics-Driven Interoperability between Scala.js and JavaScript},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {86-85},
doi = {},
year = {2016},
}
|
| |
Schmid, Georg Stefan |
SCALA '16: "SMT-Based Checking of Predicate-Qualified ..."
SMT-Based Checking of Predicate-Qualified Types for Scala
Georg Stefan Schmid and Viktor Kuncak
(EPFL, Switzerland)
@InProceedings{SCALA16p31,
author = {Georg Stefan Schmid and Viktor Kuncak},
title = {SMT-Based Checking of Predicate-Qualified Types for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2016},
}
|
| |
Sloane, Anthony M. |
SCALA '16: "The sbt-rats Parser Generator ..."
The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Anthony M. Sloane, Franck Cassez, and Scott Buckley
(Macquarie University, Australia)
@InProceedings{SCALA16p111,
author = {Anthony M. Sloane and Franck Cassez and Scott Buckley},
title = {The sbt-rats Parser Generator Plugin for Scala (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {111-110},
doi = {},
year = {2016},
}
|
| |
Smith, Thomas |
SCALA '16: "A Scalable Infrastructure ..."
A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Tim van der Lippe, Thomas Smith, Daniël Pelsmaeker, and Eelco Visser
(Delft University of Technology, Netherlands)
@InProceedings{SCALA16p66,
author = {Tim van der Lippe and Thomas Smith and Daniël Pelsmaeker and Eelco Visser},
title = {A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {66-65},
doi = {},
year = {2016},
}
|
| |
Sommerlad, Peter |
SCALA '16: "Scaps: Type-Directed API Search ..."
Scaps: Type-Directed API Search for Scala
Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker
(1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland)
@InProceedings{SCALA16p96,
author = {Lukas Wegmann and Farhad Mehta and Peter Sommerlad and Mirko Stocker},
title = {Scaps: Type-Directed API Search for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {96-95},
doi = {},
year = {2016},
}
|
| |
Stiévenart, Quentin |
SCALA '16: "Building a Modular Static ..."
Building a Modular Static Analysis Framework in Scala (Tool Paper)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover
(Vrije Universiteit Brussel, Belgium)
@InProceedings{SCALA16p106,
author = {Quentin Stiévenart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
title = {Building a Modular Static Analysis Framework in Scala (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {106-105},
doi = {},
year = {2016},
}
|
| |
Stocker, Mirko |
SCALA '16: "Scaps: Type-Directed API Search ..."
Scaps: Type-Directed API Search for Scala
Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker
(1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland)
@InProceedings{SCALA16p96,
author = {Lukas Wegmann and Farhad Mehta and Peter Sommerlad and Mirko Stocker},
title = {Scaps: Type-Directed API Search for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {96-95},
doi = {},
year = {2016},
}
|
| |
Stucki, Nicolas |
SCALA '16: "Semantics-Driven Interoperability ..."
Semantics-Driven Interoperability between Scala.js and JavaScript
Sébastien Doeraene, Tobias Schlatter, and Nicolas Stucki
(EPFL, Switzerland)
@InProceedings{SCALA16p86,
author = {Sébastien Doeraene and Tobias Schlatter and Nicolas Stucki},
title = {Semantics-Driven Interoperability between Scala.js and JavaScript},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {86-85},
doi = {},
year = {2016},
}
|
| |
Visser, Eelco
|
SCALA '16: "A Scalable Infrastructure ..."
A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Tim van der Lippe, Thomas Smith, Daniël Pelsmaeker, and Eelco Visser
(Delft University of Technology, Netherlands)
@InProceedings{SCALA16p66,
author = {Tim van der Lippe and Thomas Smith and Daniël Pelsmaeker and Eelco Visser},
title = {A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {66-65},
doi = {},
year = {2016},
}
|
| |
Wegmann, Lukas
|
SCALA '16: "Scaps: Type-Directed API Search ..."
Scaps: Type-Directed API Search for Scala
Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker
(1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland)
@InProceedings{SCALA16p96,
author = {Lukas Wegmann and Farhad Mehta and Peter Sommerlad and Mirko Stocker},
title = {Scaps: Type-Directed API Search for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {96-95},
doi = {},
year = {2016},
}
|
