Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
Bao: Automatic Region Placement and Memory Allocation for Intermittent Computing
Byeongjee Kang, Jan Hoffmann, Limin Jia +2
Intermittent computing enables batteryless embedded devices to operate in harsh environment, but frequent power failures interrupt program execution and require careful management…
cs.PL2026
LFPL: Revisited and Mechanized
Nathaniel Glover, Jan Hoffmann
Hofmann (1999) introduced the functional programming language LFPL to characterize the functions computable in polynomial time using an affine type system. LFPL enables a natural p…
cs.PL2023
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
Long Pham, Jan Hoffmann
Worst-case input generation aims to automatically generate inputs that exhibit the worst-case performance of programs. It has several applications, and can, for example, detect vul…