DLS 2018 Contributors

Write a Blog >>

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

co-located with SPLASH 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (41)

A Nada AminAmin, Nada University of CambridgeUnited Kingdom Committee Member in Program Committee within the DLS-track
Davide AnconaAncona, Davide University of GenovaItaly Steering Committee Member in Steering Committee within the DLS-track
B Martin BodinBodin, Martin Imperial College LondonUnited Kingdom A Trustworthy Mechanized Formalization of R
CF Bolz-TereickBolz-Tereick, CF Germany Steering Committee Chair in Steering Committee within the DLS-track
Alan BorningBorning, Alan CDG Labs Committee Member in Program Committee within the DLS-track
Clément BéraBéra, Clément Sofware Languages Lab, Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the DLS-track
C Guido ChariChari, Guido Czech Technical University, CzechiaCzechia Self-Contained Development Environments
Hanfeng ChenChen, Hanfeng McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hongji ChenChen, Hongji McGill University, Canada HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Université de Montréal Committee Member in Program Committee within the DLS-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Program Committee within the DLS-track
D Joseph Vinish D'SilvaD'Silva, Joseph Vinish McGill University, Canada HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Tomás DiazDiaz, Tomás University of Chile, Chile A Trustworthy Mechanized Formalization of R
F Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Session Chair of Semantics (part of DLS) Program Chair in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track
Olivier FlückigerFlückiger, Olivier Northeastern University, USA Self-Contained Development Environments
Michael FranzFranz, Michael University of California, IrvineUnited States Committee Member in Program Committee within the DLS-track
G Ben GreenmanGreenman, Ben Northeastern University, USAUnited States The Behavior of Gradual Types: A User Study
H Gil HarariHarari, Gil cdl-lang.org, Israel Query-Based Object-Oriented Programming: A Declarative Web of Objects
Laurie HendrenHendren, Laurie McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future HorseIR: Bringing Array Programming Languages Together with Database Query Processing
David HerreraHerrera, David McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Committee Member in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Steering Committee Member in Steering Committee within the DLS-track
K Bettina KemmeKemme, Bettina McGill University, Canada HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Uri KolodnyKolodny, Uri cdl-lang.org, Israel Query-Based Object-Oriented Programming: A Declarative Web of Objects
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA The Behavior of Gradual Types: A User Study
L Erick LavoieLavoie, Erick McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future
M Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of Optimization (part of DLS) Committee Member in Program Committee within the DLS-track
Mark MarronMarron, Mark Microsoft ResearchUnited States Log++ Logging for a Cloud-Native World
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the DLS-track
Hanspeter MössenböckMössenböck, Hanspeter JKU Linz, AustriaAustria Committee Member in Program Committee within the DLS-track
P Javier PimásPimás, Javier Palantir Solutions, Argentina Self-Contained Development Environments
Justin PombrioPombrio, Justin Brown University, USAUnited States The Behavior of Gradual Types: A User Study
S Guido SalvaneschiSalvaneschi, Guido TU DarmstadtGermany Committee Member in Program Committee within the DLS-track
Yoav SeginerSeginer, Yoav cdl-lang.org, Netherlands Query-Based Object-Oriented Programming: A Declarative Web of Objects
Manuel SerranoSerrano, Manuel Inria, France JavaScript AOT Compilation
Lukas StadlerStadler, Lukas Oracle Labs, AustriaAustria Committee Member in Program Committee within the DLS-track
T Éric TanterTanter, Éric University of Chile & Inria ParisChile A Trustworthy Mechanized Formalization of R
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track
V Jan VitekVitek, Jan Northeastern UniversityUnited States Self-Contained Development Environments
Theo VosseVosse, Theo cdl-lang.org, Netherlands Query-Based Object-Oriented Programming: A Declarative Web of Objects
W Preston Tunnell WilsonWilson, Preston Tunnell Brown University, USA The Behavior of Gradual Types: A User Study