Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 11:35 - 12:00 at New York Central - Types Chair(s): Richard A. Eisenberg

We present construction of resource-aware safe typed assembly language as an EDSL in dependently-typed Idris language. We use this assembly language to compile Linux kernel probes — small pieces of instrumentation code injected directly into the kernel and thus having to satisfy strict safety properties. We believe that the techniques presented can be generally applied to embedding a typed assembly language into a functional language with dependent types.

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

tyde-2018
10:20 - 12:00: TyDe 2018 - Types at New York Central
Chair(s): Richard A. EisenbergBryn Mawr College, USA
tyde-201810:20 - 10:45
Research paper
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
DOI
tyde-201810:45 - 11:10
Research paper
Joomy KorkutWesleyan University, USA, David Thrane ChristiansenGalois, USA
DOI
tyde-201811:10 - 11:35
Research paper
Victor Cacciari MiraldoUtrecht University, Netherlands, Alejandro SerranoUtrecht University, Netherlands
DOI
tyde-201811:35 - 12:00
Research paper
Ilya YanokUSI Lugano, Switzerland, Nate NystromUSI Lugano, Switzerland
DOI