HIW 2019 Contributors -

Sun 18 - Fri 23 August 2019 Berlin, Germany

co-located with ICFP 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (24)

Lennart Augustsson Author of Haskell Use and Abuse at Scale within the HIW 2019-track in HIW 2019
Jose Calderon Galois, Inc. United States Session Chair of Compilers (part of HIW) Author of Tagging Tags: Inferring the presence of pointer tags at compile time. within the HIW 2019-track in HIW 2019 Committee Member in Program Committee within the HIW-track
Manuel Chakravarty Tweag I/O & IOHK Netherlands Committee Member in Program Committee within the HIW-track
Frank Dedden Royal Netherlands Aerospace Center Netherlands Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track in HIW 2019
Dominique Devriese Vrije Universiteit Brussel Belgium Author of Explicit Dictionary Applications - From Theory to Practice? within the HIW 2019-track in HIW 2019
Zubin Duggal Author of HIE files in GHC 8.8 within the HIW 2019-track in HIW 2019
John Ericson Obsidian Systems Author of Configuration, but without CPP within the HIW 2019-track in HIW 2019
Matthías Páll Gissurarson Chalmers University of Technology, Sweden Sweden Author of HoleFitPlugins and the future of interactive development in GHC within the HIW 2019-track in HIW 2019
Alwyn Goodloe NASA Langley Research Center Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track in HIW 2019
Jurriaan Hage Utrecht University, Netherlands Author of Status Update on the Helium for Haskell compiler within the HIW 2019-track in HIW 2019
Simon Peyton Jones Microsoft, UK Author of GHC status report within the HIW 2019-track in HIW 2019
Andreas Klebinger Author of Tagging Tags: Inferring the presence of pointer tags at compile time. within the HIW 2019-track in HIW 2019
Chaitanya Koparkar Indiana University United States Author of The Gibbon Compiler: Accelerating a small subset of Haskell within the HIW 2019-track in HIW 2019
Ryan R. Newton Indiana University United States Author of The Gibbon Compiler: Accelerating a small subset of Haskell within the HIW 2019-track in HIW 2019
Ivan Perez NIA / NASA Formal Methods Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track in HIW 2019
Matthew Pickering University of Bristol United Kingdom Author of HIE files in GHC 8.8 within the HIW 2019-track in HIW 2019 Author of Configuration, but without CPP within the HIW 2019-track in HIW 2019
Ryan Scott Indiana University at Bloomington, USA United States Author of Visible dependent quantification within the HIW 2019-track in HIW 2019
Satnam Singh Google Research United States Author of Haskell Use and Abuse at Scale within the HIW 2019-track in HIW 2019
Jasper Van der Jeugt Fugue Switzerland Committee Member in Program Committee within the HIW-track
Niki Vazou IMDEA Software Institute Author of HiW'19 report within the HIW 2019-track in HIW 2019 Chair in Program Committee within the HIW-track
Michael Vollmer Indiana University, USA United States Author of The Gibbon Compiler: Accelerating a small subset of Haskell within the HIW 2019-track in HIW 2019
Ningning Xie The University of Hong Kong China Session Chair of Metadata (part of HIW) Committee Member in Program Committee within the HIW-track
Yuji Yamamoto IIJ Innovation Institute, Japan Japan Author of Lightning talk: Simulate Bind with IxApplicative within the HIW 2019-track in HIW 2019
Brent Yorgey Hendrix College United States Session Chair of GHC (part of HIW) Committee Member in Program Committee within the HIW-track