JENSFEST 2024 – Preliminary Table of Contents

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)

Article Search

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

Article Search

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)

Article Search

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

Article Search

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

Article Search

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

Article Search

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

Article Search

Nested Summations
Olivier Danvy
(National University of Singapore, Singapore; Yale-NUS College, Singapore)

Article Search

proc time: 2.35