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)

@InProceedings{JENSFEST24p1, author = {Shuo Ding and Qirun Zhang}, title = {The Normalization Barrier Revisited}, booktitle = {Proc.\ JENSFEST}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3694848.3694851}, year = {2024}, } 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)

@InProceedings{JENSFEST24p51, author = {Peter D. Mosses}, title = {Towards Verification of a Denotational Semantics of Inheritance}, booktitle = {Proc.\ JENSFEST}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3694848.3694852}, year = {2024}, } 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)

@InProceedings{JENSFEST24p101, author = {Özgür Kesim and Christian Grothoff}, title = {Lost and Found in the Fog of Trust}, booktitle = {Proc.\ JENSFEST}, publisher = {ACM}, pages = {101-100}, doi = {10.1145/3694848.3694853}, year = {2024}, } 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)

@InProceedings{JENSFEST24p151, author = {Jack Forden and Alexander Gebhard and Maverick Berner and Dennis Brylow}, title = {MiniJava on RISC-V: A Game of Global Compilers Domination}, booktitle = {Proc.\ JENSFEST}, publisher = {ACM}, pages = {151-150}, doi = {10.1145/3694848.3694854}, year = {2024}, } 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)

@InProceedings{JENSFEST24p201, author = {Fernando Magno Quintão Pereira and Caio Raposo}, title = {The Essence of the Flyweight Design Pattern}, booktitle = {Proc.\ JENSFEST}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3694848.3694855}, year = {2024}, } 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)

@InProceedings{JENSFEST24p251, author = {John Bender}, title = {Correct Compilation of Concurrent C Code}, booktitle = {Proc.\ JENSFEST}, publisher = {ACM}, pages = {251-250}, doi = {10.1145/3694848.3694856}, year = {2024}, } 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)

@InProceedings{JENSFEST24p301, author = {Bradley Wei Jie Teo and Ben L. Titzer}, title = {Unboxing Virgil ADTs for Fun and Profit}, booktitle = {Proc.\ JENSFEST}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3694848.3694857}, year = {2024}, } Publisher's Version Article: splashws24jensfestmain-p7-p (type: Full Paper) doi:10.1145/3694848.3694857

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

@InProceedings{JENSFEST24p351, author = {Olivier Danvy}, title = {Nested Summations}, booktitle = {Proc.\ JENSFEST}, publisher = {ACM}, pages = {351-350}, doi = {10.1145/3694848.3694858}, year = {2024}, } Publisher's Version Article: splashws24jensfestmain-p8-p (type: Full Paper) doi:10.1145/3694848.3694858

proc time: 0.04