1 code implementation • 31 May 2023 • Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
Manual engineering of high-performance implementations typically consumes many resources and requires in-depth knowledge of the hardware.
1 code implementation • 19 Nov 2022 • Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
Most software domains rely on compilers to translate high-level code to multiple different machine languages, with performance not too much worse than what developers would have the patience to write directly in assembly language.
no code implementations • 13 Mar 2018 • Benjamin Delaware, Sorawit Suriyakarn, Clément Pit--Claudel, Qianchuan Ye, Adam Chlipala
It is a neat result from functional programming that libraries of parser combinators can support rapid construction of decoders for quite a range of formats.
Programming Languages