Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Sun 22 Oct 2017 13:30 - 13:52 at Regency A - Session 3 Chair(s): Eric Walkingshaw

A kernel module is an object file that can be dynamically loaded to extend a running kernel. Modules are widely used for the development and distribution of device drivers and file systems.
This talk presents MkMod, a domain specific language for developing Linux kernel modules. It enables a separation of concerns between the interface of a module and its functionality. Potential users of the language can automate the former to a large extent and focus on the latter. MkMod also aims to minimize security issues by providing default policies for locking access to shared state, preventing resource leaks and checking for appropriate permissions in system calls like ioctl.

Sun 22 Oct

dsldi-2017
10:30 - 12:00: DSLDI 2017 - Session 2 at Regency A
Chair(s): Nada AminUniversity of Cambridge
dsldi-201710:30 - 10:52
Talk
Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University
File Attached
dsldi-201710:52 - 11:15
Talk
Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah
File Attached
dsldi-201711:15 - 11:37
Talk
Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology
File Attached
dsldi-201711:37 - 12:00
Talk
Bart van MerriënboerUniversity of Montreal, Alexander B. WiltschkoGoogle Brain
File Attached
dsldi-2017
13:30 - 15:00: DSLDI 2017 - Session 3 at Regency A
Chair(s): Eric WalkingshawOregon State University
dsldi-201713:30 - 13:52
Talk
Manasij MukherjeeChennai Mathematical Institute
File Attached
dsldi-201713:52 - 14:15
Talk
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
File Attached
dsldi-201714:15 - 14:37
Talk
Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology
File Attached
dsldi-201714:37 - 15:00
Talk
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
Link to publication Pre-print Media Attached File Attached