This workshop celebrates the career and accomplishments of Jens Palsberg on the occasion of his 60th birthday. Jens has been a pillar of the OOPSLA community for over three decades and has represented the SIGPLAN community at the ACM level as a member of the Executive Committee. His distinguished service to the community includes ACM SIGPLAN chair, vice-chair of SIGBED, editor-in-chief of TOPLAS, editorial board of Information and Computation, Program Chair of POPL, TACAS, EMSOFT, and SAS, General Chair of POPL, LICS, and SPIN, as well as a member of over 100 Program Committees. Jens has been honored with many awards, including the ACM Distinguished Service Award. But more than that, Jens has been a great advisor, mentor, and friend to so many in the community, particularly his many successful students. Please join us to honor him with a series of distinguished talks and papers in the many areas of research that he’s fostered and contributed to.

Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 22 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
Opening SessionJENSFEST at Pasadena
09:00
10m
Day opening
Welcome from Todd Millstein
JENSFEST
Todd Millstein University of California at Los Angeles
09:10
20m
Keynote
Julia's talk
JENSFEST
09:30
25m
Talk
Lost and Found in the Fog of Trust
JENSFEST
Özgür Kesim Freie Universität Berlin, Christian Grothoff Bern University of Applied Sciences
09:55
25m
Talk
MiniJava on RISC-V: A Game of Global Compilers Domination
JENSFEST
Jack Forden Marquette University, Alexander Gebhard Marquette University, Maverick Berner Marquette University, Dennis Brylow Marquette University
10:30 - 11:00
Coffee BreakCatering at Foyer
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Morning Paper SessionJENSFEST at Pasadena
11:00
25m
Talk
Towards Verification of a Denotational Semantics of Inheritance
JENSFEST
Peter D. Mosses Delft University of Technology and Swansea University
11:25
25m
Talk
Correct Compilation of Concurrent C Code
JENSFEST
John Bender Sandia National Laboratories
11:50
25m
Talk
Unboxing Virgil ADTs For Fun and Profit
JENSFEST
Bradley Wei Jie Teo Jane Street, Ben L. Titzer Carnegie Mellon University
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Afternoon Paper SessionJENSFEST at Pasadena
14:00
30m
Keynote
Vivek's talk
JENSFEST
Vivek Sarkar Rice University, USA
14:30
25m
Talk
The Essence of the Flyweight Design Pattern
JENSFEST
Fernando Magno Quintão Pereira Federal University of Minas Gerais, Caio Raposo Universidade Federal de Minas Gerais
14:55
25m
Talk
The Normalization Barrier Revisited
JENSFEST
Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
15:30 - 16:00
Coffee BreakCatering at Foyer
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Final SessionJENSFEST at Pasadena
16:00
20m
Talk
Krishna's talk
JENSFEST
16:20
20m
Talk
Dennis's talk
JENSFEST
Dennis Brylow Marquette University
16:50
25m
Talk
Nested Summations
JENSFEST
Olivier Danvy Yale-NUS College and School of Computing, Singapore
17:15
15m
Talk
Closing Remarks from Jens
JENSFEST
Jens Palsberg University of California, Los Angeles (UCLA)

Call for Papers

The JENSFEST workshop is inviting short papers on all topics that Jens Palsberg has contributed to over the years. A non-exhaustive list of topics are:

  • Quantum programming.
  • Static and dynamic program analysis.
    • Partial type inference.
    • Program reduction.
    • Memory and lock violations.
    • Transactional memory.
    • Other
  • Compilers.
    • Register allocation.
    • FPGA synthesis.
    • Embedded systems.
    • Program synthesis.
    • Other
  • Foundations of object-oriented systems.
    • Type systems.
    • Semantics.
    • Correctness.
    • Other
  • AI and program analysis.
  • Weak memory models.
  • Benchmarks suites.

Important Dates

  • Submission: June 9th, anywhere on earth,
  • Response: July 12th.

Submission website

Submissions are accepted through hotcrp, at https://jensfest24.hotcrp.com/

Reviewing

Submissions will be reviewed according to ACM SIGPLAN standards for a typical workshop in any of these fields. The program committee will evaluate papers for soundness, completeness, presentation quality, and most of all–Jensness.

Formatting instructions

Submissions should be in a single-column, ACM proceedings format and not exceed 12 pages, excluding references and appendices. Additionally, we welcome two-page summaries, describing either original thoughts or the current state-of-afairs on areas where Jens has done research. The ACM LaTeX Template is here. Submissions should use the acmsmall document class."

Questions? Use the JENSFEST contact form.