Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 09:35 - 10:00 at New York Central - Applications and Monoids Chair(s): Daan Leijen

We present hamm, a Haskell library that enables programmers to easily configure authenticated map (key-value store) implementations. We use type level programming techniques to establish an extensible foundation, and provide an example base map and several example “add on” transformers supporting features such as caches, Bloom filters and paging structures. Another add-on enables a prover to provide a “summary” containing only small a subset of the map’s data, and a verifier to subsequently receive and verify additional data only if needed. We present preliminary performance results demonstrating significant potential for authenticated maps configured using hamm to support our goal of enabling participants to join blockchain networks faster.

Thu 27 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:45 - 10:00: TyDe 2018 - Applications and Monoids at New York Central
Chair(s): Daan LeijenMicrosoft Research, USA
tyde-201808:45 - 08:55
Richard A. EisenbergBryn Mawr College, USA, Niki VazouUniversity of Maryland, USA
tyde-201808:55 - 09:15
Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research
File Attached
tyde-201809:15 - 09:35
Media Attached File Attached
tyde-201809:35 - 10:00
Research paper
Victor Cacciari MiraldoUtrecht University, Netherlands, Harold CarrOracle Labs, USA, Alex KoganOracle Labs, USA, Mark MoirOracle Labs, New Zealand, Maurice HerlihyBrown University, USA