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 Article: splashws24jensfestmain-p1-p doi:10.1145/3694848.3694851

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

Publisher's Version Article: splashws24jensfestmain-p2-p doi:10.1145/3694848.3694852

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 Article: splashws24jensfestmain-p3-p doi:10.1145/3694848.3694853

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 Article: splashws24jensfestmain-p4-p doi:10.1145/3694848.3694854

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

Publisher's Version Article: splashws24jensfestmain-p5-p doi:10.1145/3694848.3694855

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

Publisher's Version Article: splashws24jensfestmain-p6-p doi:10.1145/3694848.3694856

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 Article: splashws24jensfestmain-p7-p doi:10.1145/3694848.3694857

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

Publisher's Version Published Artifact Artifacts Available Article: splashws24jensfestmain-p8-p doi:10.1145/3694848.3694858

proc time: 0.02