JENSFEST 2024 – Proceedings

Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday (JENSFEST 2024)

Frontmatter

Papers

The Normalization Barrier Revisited
Shuo Ding and Qirun Zhang
(Georgia Institute of Technology, USA)

Publisher's Version

Towards Verification of a Denotational Semantics of Inheritance
Peter D. Mosses
(TU Delft, Netherlands; Swansea University, United Kingdom)

Publisher's Version

Lost and Found in the Fog of Trust
Özgür Kesim and Christian Grothoff
(Freie Universität Berlin, Germany; Code Blau, Germany; Bern University of Applied Sciences, Switzerland)

Publisher's Version

MiniJava on RISC-V: A Game of Global Compilers Domination
Jack Forden, Alexander Gebhard, Maverick Berner, and Dennis Brylow
(Marquette University, USA)

Publisher's Version

The Essence of the Flyweight Design Pattern
Fernando Magno Quintão Pereira and Caio Raposo
(Federal University of Minas Gerais, Brazil)

Publisher's Version

Correct Compilation of Concurrent C Code
John Bender
(Sandia National Laboratories, USA)

Publisher's Version

Unboxing Virgil ADTs for Fun and Profit
Bradley Wei Jie Teo and Ben L. Titzer
(Jane Street, USA; Carnegie Mellon University, USA)

Publisher's Version

Nested Summations
Olivier Danvy
(National University of Singapore, Singapore)

Publisher's Version Published Artifact Artifacts Available

proc time: 0.91