Scala 2016 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (69)

A Nada AminAmin, Nada EPFLSwitzerland Committee Member in Program Committee within the Scala-track
B Zeljko BajicBajic, Zeljko Serbia and Montenegro Towards a Scala embedded information system description DSL
Aggelos BiboudisBiboudis, Aggelos University of AthensGreece Co-chair in Organizing Committee within the Scala-track
Rastislav BodíkBodík, Rastislav University of Washington, USASlovakia Automatically finding Scala soundness bugs
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions”
Scott BuckleyBuckley, Scott Macquarie University, AustraliaAustralia Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
C Roberto CasadeiCasadei, Roberto University of Bologna, ItalyItaly Practical Aggregate Programming in Scala
Franck CassezCassez, Franck Macquarie University, Australia The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Mandar ChandorkarChandorkar, Mandar Centrum Wiskunde & InformaticaNetherlands DynaML: A Scala machine learning environment
Kartik ChandraChandra, Kartik Henry M. Gunn High School Automatically finding Scala soundness bugs
Shigeru ChibaChiba, Shigeru University of Tokyo Committee Member in Program Committee within the Scala-track
D Eva DarulovaDarulova, Eva MPI-SWS, Germany Committee Member in Program Committee within the Scala-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel, BelgiumBelgium Building a Modular Static Analysis Framework in Scala (Tool Paper)
Coen De RooverDe Roover, Coen Vrije Universiteit Brussel, BelgiumBelgium Building a Modular Static Analysis Framework in Scala (Tool Paper)
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Session Chair of Reactive, Concurrent, Distributed Computation \| Parsing (part of Scala) Semantics-Driven Interoperability between Scala.js and JavaScript Committee Member in Program Committee within the Scala-track
E Michael EichbergEichberg, Michael TU Darmstadt, Germany Reactive Async: Expressive Deterministic Concurrency
Sebastian ErdwegErdweg, Sebastian Delft University of Technology, Netherlands Committee Member in Program Committee within the Scala-track
Patrick EugsterEugster, Patrick Purdue UniversityUnited States SecureScala: Scala Embedding of Secure Computations
G Simon GeriesGeries, Simon KTH Royal Institute of Technology, Sweden Reactive Async: Expressive Deterministic Concurrency
Paolo G. GiarrussoGiarrusso, Paolo G. University of Tübingen, GermanyItaly Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions”
H Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Session Chair of Analysis, Testing & Verification (part of Scala) Reactive Async: Expressive Deterministic Concurrency Committee Member in Program Committee within the Scala-track
Markus HauckHauck, Markus codecentric AG SecureScala: Scala Embedding of Secure Computations
Ricardo Honorato-ZimmerHonorato-Zimmer, Ricardo University of EdinburghUnited Kingdom Committee Member in Program Committee within the Scala-track
Cay HorstmannHorstmann, Cay San Jose State University Committee Member in Program Committee within the Scala-track
Lars HupelHupel, Lars Technische Universität MünchenGermany Committee Member in Program Committee within the Scala-track
J Manohar JonnalageddaJonnalagedda, Manohar EPFL, Switzerland Opening - Day 1 Opening - Day 2 Co-chair in Organizing Committee within the Scala-track
Vojin JovanovicJovanovic, Vojin Oracle LabsSwitzerland Committee Member in Program Committee within the Scala-track
Milan JovicJovic, Milan Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad Towards a Scala embedded information system description DSL
K Oleg KiselyovKiselyov, Oleg Tohoku University Committee Member in Program Committee within the Scala-track
Viktor KunčakKunčak, Viktor EPFL, Switzerland SMT-Based Checking of Predicate-Qualified Types for Scala
L Doug LeaLea, Doug State University of New York (SUNY) Oswego Committee Member in Program Committee within the Scala-track
Fengyun LiuLiu, Fengyun EPFL, SwitzerlandSwitzerland A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)
M Ravichandhran MadhavanMadhavan, Ravichandhran EPFLSwitzerland A Scala Library for Testing Student Assignments on Concurrent Programming
Guillaume MartresMartres, Guillaume EPFL, SwitzerlandSwitzerland Implementing Higher-Kinded Types in Dotty
Mikaël MayerMayer, Mikaël EPFL, Switzerland A Scala Library for Testing Student Assignments on Concurrent Programming
Farhad MehtaMehta, Farhad University of Applied Sciences Rapperswil, Switzerland Scaps: Type-Directed API Search for Scala
Erik MeijerMeijer, Erik Applied Duality, Inc.United States Committee Member in Program Committee within the Scala-track
Mira MeziniMezini, Mira TU DarmstadtGermany SecureScala: Scala Embedding of Secure Computations
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Committee Member in Program Committee within the Scala-track
N Jens NicolayNicolay, Jens Vrije Universiteit Brussel, BelgiumBelgium Building a Modular Static Analysis Framework in Scala (Tool Paper)
Nate NystromNystrom, Nate University of LuganoSwitzerland Committee Member in Program Committee within the Scala-track
O Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland Implementing Higher-Kinded Types in Dotty
Georg OfenbeckOfenbeck, Georg ETH Zurich, Switzerland RandIR: Differential Testing for Embedded Compilers
Klaus OstermannOstermann, Klaus University of Tübingen, Germany Committee Member in Program Committee within the Scala-track
P Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Dmitry PetrashkoPetrashko, Dmitry EPFL, Switzerland Implementing Higher-Kinded Types in Dotty
Markus PüschelPüschel, Markus ETH ZurichSwitzerland RandIR: Differential Testing for Embedded Compilers
R Tiark RompfRompf, Tiark Purdue University, USAUnited States RandIR: Differential Testing for Embedded Compilers Reflections on LMS: Exploring Front-End Alternatives
S Guido SalvaneschiSalvaneschi, Guido TU Darmstadt, Germany SecureScala: Scala Embedding of Secure Computations Reactive Async: Expressive Deterministic Concurrency
Savvas SavvidesSavvides, Savvas Purdue University SecureScala: Scala Embedding of Secure Computations
Tobias SchlatterSchlatter, Tobias EPFL, Switzerland Semantics-Driven Interoperability between Scala.js and JavaScript
Georg Stefan SchmidSchmid, Georg Stefan EPFL, Switzerland SMT-Based Checking of Predicate-Qualified Types for Scala
Ilya SergeySergey, Ilya University College LondonUnited Kingdom Committee Member in Program Committee within the Scala-track
Ruslan ShevchenkoShevchenko, Ruslan vertamedia Scala-Gopher: CSP-style programming techniques with idiomatic Scala.
Anthony SloaneSloane, Anthony Macquarie University, AustraliaAustralia The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Thomas SmithSmith, Thomas Delft University of Technology, Netherlands A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Peter SommerladSommerlad, Peter University of Applied Sciences Rapperswil, Switzerland Scaps: Type-Directed API Search for Scala
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel, Belgium Building a Modular Static Analysis Framework in Scala (Tool Paper)
Mirko StockerStocker, Mirko University of Applied Sciences Rapperswil, SwitzerlandSwitzerland Scaps: Type-Directed API Search for Scala Committee Member in Program Committee within the Scala-track
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland Semantics-Driven Interoperability between Scala.js and JavaScript
Sandro StuckiStucki, Sandro EPFLSwitzerland Opening - Day 1 Opening - Day 2 Co-chair in Organizing Committee within the Scala-track
T Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Fine-grained language composition without a common VM Keynote Speaker in Keynote Speakers within the Scala-track
U Vlad UrecheUreche, Vlad EPFL, SwitzerlandRomania Co-chair in Organizing Committee within the Scala-track
V Tim van der Lippevan der Lippe, Tim Delft University of Technology, NetherlandsNetherlands A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Committee Member in Program Committee within the Scala-track
Niki VazouVazou, Niki UC San Diego Committee Member in Program Committee within the Scala-track
Eelco VisserVisser, Eelco Delft University of Technology, NetherlandsNetherlands A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Jan VitekVitek, Jan Northeastern UniversitySwitzerland This is not a Type: Gradual typing in practice Keynote Speaker in Keynote Speakers within the Scala-track
W Lukas WegmannWegmann, Lukas 1plusX, SwitzerlandSwitzerland Scaps: Type-Directed API Search for Scala