Scala 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (61)

A Mohammadreza AshouriAshouri, Mohammadreza University of Potsdam, Germany TaintSpy: Runtime Vulnerability Analyzing Framework for Scala
B Elias BenussiBenussi, Elias Faculty Science Ltd Effpi: Verified Message-Passing Programs in Dotty
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland Author in Steering Committee within the Scala-track Committee Member in Program Committee within the Scala-track
Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Program Committee within the COP-track
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFL Towards Improved GADT Reasoning in Scala
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Author in Steering Committee within the Scala-track Sponsorship Chair in Organizing Committee within the Scala-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Committee Member in Program Committee within the Scala-track
C Franck CassezCassez, Franck Macquarie University, Australia Committee Member in Program Committee within the Scala-track
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Program Committee within the COP-track
Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Committee Member in Program Committee within the COP-track
Henry CookCook, Henry SiFive Silicon at the Speed of Software: From Circuits to Systems
D Jonas De BleserDe Bleser, Jonas Sofware Languages Lab, Vrije Universiteit BrusselBelgium Resilience Testing of Akka Systems SoCRATES - Scala Radar for Test Smells
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Committee Member in Program Committee within the Scala-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium SoCRATES - Scala Radar for Test Smells
Dario Di NucciDi Nucci, Dario Vrije Universiteit BrusselBelgium SoCRATES - Scala Radar for Test Smells
Cynthia DisenfeldDisenfeld, Cynthia University of Toronto Committee Member in Program Committee within the COP-track
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the Scala-track
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
E Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Steering Committee Member in Steering Committee within the Scala-track
G Paolo G. GiarrussoGiarrusso, Paolo G. TU Delft, The Netherlands Towards Improved GADT Reasoning in Scala
Paolo G. GiarrussoGiarrusso, Paolo G. TU Delft, The NetherlandsItaly Author in Steering Committee within the Scala-track
H David H. LorenzH. Lorenz, David Technion—Israel Institute of Technology Committee Member in Program Committee within the COP-track
Philipp HallerHaller, Philipp KTH Royal Institute of Technology, SwedenGermany Author in Steering Committee within the Scala-track
Robert HirschfeldHirschfeld, Robert Hasso-Plattner-Institut (HPI), GermanyGermany Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Jaemin HongHong, Jaemin KAIST, South KoreaSouth Korea Symmetric Multiple Dispatch for Path Dependent Types
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
J Alex JefferyJeffery, Alex University of Sussex Dependent Object Types with Implicit Functions
K Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the COP-track
Edward KmettKmett, Edward Committee Member in Program Committee within the Scala-track
L Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Program Committee within the Scala-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Committee Member in Program Committee within the COP-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Author in Steering Committee within the Scala-track
David H. LorenzLorenz, David H. Open University and Technion IIT Session Chair of Research Papers (part of COP) Session Chair of Research Papers (part of COP) Contact Organizer in Organizing Committee within the COP-track Chair in Program Committee within the COP-track
Konstantin LäuferLäufer, Konstantin Loyola University ChicagoUnited States Tests as Maintainable Assets Via Auto-generated Spies
M Mariana MarasoiuMarasoiu, Mariana University of Cambridge Committee Member in Program Committee within the COP-track
Guillaume MartresMartres, Guillaume EPFL, SwitzerlandSwitzerland A universal encoding for functions in Scala based on structural types
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Committee Member in Program Committee within the Scala-track
Heather MillerMiller, Heather Carnegie Mellon University Author in Steering Committee within the Scala-track
N Ulf NorellNorell, Ulf Gothenburg UniversitySweden Committee Member in Program Committee within the Scala-track
Nate NystromNystrom, Nate USI Lugano, Switzerland Program Chair in Program Committee within the Scala-track Program Chair in Organizing Committee within the Scala-track
O John O'SullivanO'Sullivan, John Loyola University Chicago Tests as Maintainable Assets Via Auto-generated Spies
Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland Author in Steering Committee within the Scala-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong Kong, Hong KongHong Kong Committee Member in Steering Committee within the Scala-track
P Lionel ParreauxParreaux, Lionel EPFLSwitzerland Towards Improved GADT Reasoning in Scala
Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Committee Member in Program Committee within the COP-track
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Challenges of Optimizing Scala Programs
Markus PüschelPüschel, Markus ETH ZürichSwitzerland Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
R Tiark RompfRompf, Tiark Purdue UniversityUnited States Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Symmetric Multiple Dispatch for Path Dependent Types General Chair in Organizing Committee within the Scala-track
S Miles SabinSabin, Miles Underscore LLP Committee Member in Program Committee within the Scala-track
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Committee Member in Program Committee within the Scala-track
Alceste ScalasScalas, Alceste Aston University, Birmingham, UKUnited Kingdom Effpi: Verified Message-Passing Programs in Dotty
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Committee Member in Program Committee within the Scala-track
Daniel SpiewakSpiewak, Daniel SlamData Committee Member in Program Committee within the Scala-track
Alen StojanovStojanov, Alen Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
Sandro StuckiStucki, Sandro Chalmers \| University of GothenburgSweden Author in Steering Committee within the Scala-track
T George K. ThiruvathukalThiruvathukal, George K. Loyola University Chicago and Argonne National Laboratory Tests as Maintainable Assets Via Auto-generated Spies
V Mirko ViroliViroli, Mirko University of Bologna Committee Member in Program Committee within the Scala-track
Y Nobuko YoshidaYoshida, Nobuko Imperial College London Effpi: Verified Message-Passing Programs in Dotty

Scala 2019 Contributors

Results (61)

Tracks

Workshops