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

Results (24)

A Lennart AugustssonAugustsson, Lennart Haskell Use and Abuse at Scale
C Jose CalderonCalderon, Jose Galois, Inc.United States Session Chair of Compilers (part of HIW) Tagging Tags: Inferring the presence of pointer tags at compile time. Committee Member in Program Committee within the HIW-track
Manuel ChakravartyChakravarty, Manuel Tweag I/O & IOHKNetherlands Committee Member in Program Committee within the HIW-track
D Frank DeddenDedden, Frank Royal Netherlands Aerospace CenterNetherlands Copilot 3.0: a Haskell runtime verification framework for UAVs
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Explicit Dictionary Applications - From Theory to Practice?
Zubin DuggalDuggal, Zubin HIE files in GHC 8.8
E John EricsonEricson, John Obsidian Systems Configuration, but without CPP
G Matthías Páll GissurarsonGissurarson, Matthías Páll Chalmers University of Technology, SwedenSweden HoleFitPlugins and the future of interactive development in GHC
Alwyn GoodloeGoodloe, Alwyn NASA Langley Research Center Copilot 3.0: a Haskell runtime verification framework for UAVs
H Jurriaan HageHage, Jurriaan Utrecht University, Netherlands Status Update on the Helium for Haskell compiler
K Andreas KlebingerKlebinger, Andreas Tagging Tags: Inferring the presence of pointer tags at compile time.
Chaitanya KoparkarKoparkar, Chaitanya Indiana UniversityUnited States The Gibbon Compiler: Accelerating a small subset of Haskell
N Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States The Gibbon Compiler: Accelerating a small subset of Haskell
P Ivan PerezPerez, Ivan NIA / NASA Formal Methods Copilot 3.0: a Haskell runtime verification framework for UAVs
Simon Peyton JonesPeyton Jones, Simon Microsoft, UK GHC status report
Matthew PickeringPickering, Matthew University of BristolUnited Kingdom Configuration, but without CPP HIE files in GHC 8.8
S Ryan ScottScott, Ryan Indiana University at Bloomington, USAUnited States Visible dependent quantification
Satnam SinghSingh, Satnam Google ResearchUnited States Haskell Use and Abuse at Scale
V Jasper Van der JeugtVan der Jeugt, Jasper FugueSwitzerland Committee Member in Program Committee within the HIW-track
Niki VazouVazou, Niki IMDEA Software Institute HiW'19 report Chair in Program Committee within the HIW-track
Michael VollmerVollmer, Michael Indiana University, USAUnited States The Gibbon Compiler: Accelerating a small subset of Haskell
X Ningning XieXie, Ningning The University of Hong KongChina Session Chair of Metadata (part of HIW) Committee Member in Program Committee within the HIW-track
Y Yuji YamamotoYamamoto, Yuji IIJ Innovation Institute, JapanJapan Lightning talk: Simulate Bind with IxApplicative
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States Session Chair of GHC (part of HIW) Committee Member in Program Committee within the HIW-track