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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3694848.3694852

	Agda PDF: This PDF was produced by generating LaTeX from Agda code corresponding to that presented in the paper, except that all 'literate' comments are omitted here, and no code is hidden. The proofs of Lemmas 1-4 are included.
	Agda source code: This ZIP archive includes all the Agda code presented in the paper. It also includes a copy of the code omitting the literate explanations of the definitions, and a presentation of the latter in PDF with the proofs of Lemmas 1-4. See README.md for the table of contents and references to other papers. The Agda files in ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3694848.3694855

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

Publisher's Version Article: splashws24jensfestmain-p6-p (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3694848.3694857

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

Publisher's Version Article: splashws24jensfestmain-p8-p (type: Full Paper) doi:10.1145/3694848.3694858

proc time: 0.01