SPLASH 2017 (series) / DSLDI 2017 (series) / DSLDI 2017 /
MkMod: A Domain Specific Language for developing Linux Kernel Modules
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.
(dsldi17-paper1.pdf) | 389KiB |
Sun 22 Oct Times are displayed in time zone: Tijuana, Baja California change
Sun 22 Oct
Times are displayed in time zone: Tijuana, Baja California change
10:30 - 10:52 Talk | Substance and Style: domain-specific languages for mathematical diagrams DSLDI Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University File Attached | ||
10:52 - 11:15 Talk | Debugging Domain-Specific Languages Defined with Macros DSLDI File Attached | ||
11:15 - 11:37 Talk | DSL Design for Reinforcement Learning Agents DSLDI Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology File Attached | ||
11:37 - 12:00 Talk | Tangent: automatic differentiation using source code transformation in Python DSLDI File Attached |
13:30 - 13:52 Talk | MkMod: A Domain Specific Language for developing Linux Kernel Modules DSLDI Manasij MukherjeeChennai Mathematical Institute File Attached | ||
13:52 - 14:15 Talk | Bacatá: a generic notebook generator for DSLs DSLDI Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen File Attached | ||
14:15 - 14:37 Talk | Thapl—A Theatrical DSL DSLDI Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology File Attached | ||
14:37 - 15:00 Talk | Towards Naturalistic EDSLs using Algebraic Effects DSLDI Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany Link to publication Pre-print Media Attached File Attached |