SCALA 2017 – Author Index

B C D H K L M N O P R S W X

	Brachthäuser, Jonathan Immanuel	SCALA '17: "Effekt: Extensible Algebraic ..." Effekt: Extensible Algebraic Effects in Scala (Short Paper) Jonathan Immanuel Brachthäuser and Philipp Schuster (University of Tübingen, Germany) @InProceedings{SCALA17p184, author = {Jonathan Immanuel Brachthäuser and Philipp Schuster}, title = {Effekt: Extensible Algebraic Effects in Scala (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {184-183}, doi = {}, year = {2017}, } Article: scala17main-scala17main20-p (type: Full Paper) doi:
	Carbone, Paris	SCALA '17: "Kompics Scala: Narrowing the ..." Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) Lars Kroll, Paris Carbone, and Seif Haridi (KTH, Sweden) @InProceedings{SCALA17p191, author = {Lars Kroll and Paris Carbone and Seif Haridi}, title = {Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {191-190}, doi = {}, year = {2017}, } Article: scala17main-scala17main25-p (type: Full Paper) doi:
	Cassez, Franck	SCALA '17: "ScalaSMT: Satisfiability Modulo ..." ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) Franck Cassez and Anthony M. Sloane (Macquarie University, Australia) @InProceedings{SCALA17p163, author = {Franck Cassez and Anthony M. Sloane}, title = {ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {163-162}, doi = {}, year = {2017}, } Article: scala17main-scala17main14-p (type: Full Paper) doi:
	Chang, Adelbert	SCALA '17: "The Limitations of Type Classes ..." The Limitations of Type Classes as Subtyped Implicits (Short Paper) Adelbert Chang @InProceedings{SCALA17p107, author = {Adelbert Chang}, title = {The Limitations of Type Classes as Subtyped Implicits (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {107-106}, doi = {}, year = {2017}, } Article: scala17main-scala17main19-p (type: Full Paper) doi:
	Chen, Tongfei	SCALA '17: "Typesafe Abstractions for ..." Typesafe Abstractions for Tensor Operations (Short Paper) Tongfei Chen (Johns Hopkins University, USA) @InProceedings{SCALA17p156, author = {Tongfei Chen}, title = {Typesafe Abstractions for Tensor Operations (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {156-155}, doi = {}, year = {2017}, } Article: scala17main-scala17main7-p (type: Full Paper) doi:
	Duboscq, Gilles	SCALA '17: "Making Collection Operations ..." Making Collection Operations Optimal with Aggressive JIT Compilation Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger (Oracle Labs, Switzerland; JKU Linz, Austria) @InProceedings{SCALA17p135, author = {Aleksandar Prokopec and David Leopoldseder and Gilles Duboscq and Thomas Würthinger}, title = {Making Collection Operations Optimal with Aggressive JIT Compilation}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {135-134}, doi = {}, year = {2017}, } Article: scala17main-scala17main10-p (type: Full Paper) doi:
	Haridi, Seif	SCALA '17: "Kompics Scala: Narrowing the ..." Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) Lars Kroll, Paris Carbone, and Seif Haridi (KTH, Sweden) @InProceedings{SCALA17p191, author = {Lars Kroll and Paris Carbone and Seif Haridi}, title = {Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {191-190}, doi = {}, year = {2017}, } Article: scala17main-scala17main25-p (type: Full Paper) doi:
	Koch, Christoph E.	SCALA '17: "Squid: Type-Safe, Hygienic, ..." Squid: Type-Safe, Hygienic, and Reusable Quasiquotes Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch (EPFL, Switzerland) @InProceedings{SCALA17p170, author = {Lionel Parreaux and Amir Shaikhha and Christoph E. Koch}, title = {Squid: Type-Safe, Hygienic, and Reusable Quasiquotes}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2017}, } Article: scala17main-scala17main16-p (type: Full Paper) doi:
	Kroll, Lars	SCALA '17: "Kompics Scala: Narrowing the ..." Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) Lars Kroll, Paris Carbone, and Seif Haridi (KTH, Sweden) @InProceedings{SCALA17p191, author = {Lars Kroll and Paris Carbone and Seif Haridi}, title = {Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {191-190}, doi = {}, year = {2017}, } Article: scala17main-scala17main25-p (type: Full Paper) doi:
	Leopoldseder, David	SCALA '17: "Making Collection Operations ..." Making Collection Operations Optimal with Aggressive JIT Compilation Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger (Oracle Labs, Switzerland; JKU Linz, Austria) @InProceedings{SCALA17p135, author = {Aleksandar Prokopec and David Leopoldseder and Gilles Duboscq and Thomas Würthinger}, title = {Making Collection Operations Optimal with Aggressive JIT Compilation}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {135-134}, doi = {}, year = {2017}, } Article: scala17main-scala17main10-p (type: Full Paper) doi:
	Martres, Guillaume	SCALA '17: "Interactive Development using ..." Interactive Development using the Dotty Compiler (Tool Paper) Guillaume Martres (EPFL, Switzerland) @InProceedings{SCALA17p149, author = {Guillaume Martres}, title = {Interactive Development using the Dotty Compiler (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {149-148}, doi = {}, year = {2017}, } Article: scala17main-scala17main30-p (type: Full Paper) doi:
	Nieto, Abel	SCALA '17: "Towards Algorithmic Typing ..." Towards Algorithmic Typing for DOT (Short Paper) Abel Nieto (University of Waterloo, Canada) @InProceedings{SCALA17p100, author = {Abel Nieto}, title = {Towards Algorithmic Typing for DOT (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {100-99}, doi = {}, year = {2017}, } Article: scala17main-scala17main11-p (type: Full Paper) doi:
	Nystrom, Nathaniel	SCALA '17: "A Scala Framework for Supercompilation ..." A Scala Framework for Supercompilation Nathaniel Nystrom (University of Lugano, Switzerland) @InProceedings{SCALA17p121, author = {Nathaniel Nystrom}, title = {A Scala Framework for Supercompilation}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2017}, } Article: scala17main-scala17main29-p (type: Full Paper) doi:
	Osvald, Leo	SCALA '17: "Rust-Like Borrowing with 2nd-Class ..." Rust-Like Borrowing with 2nd-Class Values (Short Paper) Leo Osvald and Tiark Rompf (Purdue University, USA) @InProceedings{SCALA17p114, author = {Leo Osvald and Tiark Rompf}, title = {Rust-Like Borrowing with 2nd-Class Values (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {114-113}, doi = {}, year = {2017}, } Article: scala17main-scala17main27-p (type: Full Paper) doi:
	Parreaux, Lionel	SCALA '17: "Squid: Type-Safe, Hygienic, ..." Squid: Type-Safe, Hygienic, and Reusable Quasiquotes Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch (EPFL, Switzerland) @InProceedings{SCALA17p170, author = {Lionel Parreaux and Amir Shaikhha and Christoph E. Koch}, title = {Squid: Type-Safe, Hygienic, and Reusable Quasiquotes}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2017}, } Article: scala17main-scala17main16-p (type: Full Paper) doi:
	Prokopec, Aleksandar	SCALA '17: "Making Collection Operations ..." Making Collection Operations Optimal with Aggressive JIT Compilation Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger (Oracle Labs, Switzerland; JKU Linz, Austria) @InProceedings{SCALA17p135, author = {Aleksandar Prokopec and David Leopoldseder and Gilles Duboscq and Thomas Würthinger}, title = {Making Collection Operations Optimal with Aggressive JIT Compilation}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {135-134}, doi = {}, year = {2017}, } Article: scala17main-scala17main10-p (type: Full Paper) doi:
	Rompf, Tiark	SCALA '17: "Rust-Like Borrowing with 2nd-Class ..." Rust-Like Borrowing with 2nd-Class Values (Short Paper) Leo Osvald and Tiark Rompf (Purdue University, USA) @InProceedings{SCALA17p114, author = {Leo Osvald and Tiark Rompf}, title = {Rust-Like Borrowing with 2nd-Class Values (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {114-113}, doi = {}, year = {2017}, } Article: scala17main-scala17main27-p (type: Full Paper) doi:
	Schuster, Philipp	SCALA '17: "Effekt: Extensible Algebraic ..." Effekt: Extensible Algebraic Effects in Scala (Short Paper) Jonathan Immanuel Brachthäuser and Philipp Schuster (University of Tübingen, Germany) @InProceedings{SCALA17p184, author = {Jonathan Immanuel Brachthäuser and Philipp Schuster}, title = {Effekt: Extensible Algebraic Effects in Scala (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {184-183}, doi = {}, year = {2017}, } Article: scala17main-scala17main20-p (type: Full Paper) doi:
	Shaikhha, Amir	SCALA '17: "Squid: Type-Safe, Hygienic, ..." Squid: Type-Safe, Hygienic, and Reusable Quasiquotes Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch (EPFL, Switzerland) @InProceedings{SCALA17p170, author = {Lionel Parreaux and Amir Shaikhha and Christoph E. Koch}, title = {Squid: Type-Safe, Hygienic, and Reusable Quasiquotes}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2017}, } Article: scala17main-scala17main16-p (type: Full Paper) doi:
	Sloane, Anthony M.	SCALA '17: "ScalaSMT: Satisfiability Modulo ..." ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) Franck Cassez and Anthony M. Sloane (Macquarie University, Australia) @InProceedings{SCALA17p163, author = {Franck Cassez and Anthony M. Sloane}, title = {ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {163-162}, doi = {}, year = {2017}, } Article: scala17main-scala17main14-p (type: Full Paper) doi:
	Würthinger, Thomas	SCALA '17: "Making Collection Operations ..." Making Collection Operations Optimal with Aggressive JIT Compilation Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger (Oracle Labs, Switzerland; JKU Linz, Austria) @InProceedings{SCALA17p135, author = {Aleksandar Prokopec and David Leopoldseder and Gilles Duboscq and Thomas Würthinger}, title = {Making Collection Operations Optimal with Aggressive JIT Compilation}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {135-134}, doi = {}, year = {2017}, } Article: scala17main-scala17main10-p (type: Full Paper) doi:
	Xin, Reynold	SCALA '17: "Spark and Scala (Keynote) ..." Spark and Scala (Keynote) Reynold Xin (Databricks, USA) @InProceedings{SCALA17p1, author = {Reynold Xin}, title = {Spark and Scala (Keynote)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3136000.3148042}, year = {2017}, } Publisher's Version Article: scala17key-key1-p (type: Abstract) doi:10.1145/3136000.3148042

22 authors

proc time: 0.03