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.
This program is tentative and subject to change.
Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 10mDay opening | Welcome from Todd Millstein JENSFEST Todd Millstein University of California at Los Angeles | ||
09:10 20mKeynote | Julia's talk JENSFEST Julia Lawall Inria | ||
09:30 25mTalk | Lost and Found in the Fog of Trust JENSFEST | ||
09:55 25mTalk | 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 |
11:00 - 12:30 | |||
11:00 25mTalk | Towards Verification of a Denotational Semantics of Inheritance JENSFEST Peter D. Mosses Delft University of Technology and Swansea University | ||
11:25 25mTalk | Correct Compilation of Concurrent C Code JENSFEST John Bender Sandia National Laboratories | ||
11:50 25mTalk | Unboxing Virgil ADTs For Fun and Profit JENSFEST |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | |||
14:00 30mKeynote | Vivek's talk JENSFEST Vivek Sarkar Rice University, USA | ||
14:30 25mTalk | 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 25mTalk | The Normalization Barrier Revisited JENSFEST |
16:00 - 17:30 | |||
16:00 20mTalk | Krishna's talk JENSFEST V Krishna Nandivada IIT Madras | ||
16:20 20mTalk | Dennis's talk JENSFEST Dennis Brylow Marquette University | ||
16:50 25mTalk | Nested Summations JENSFEST Olivier Danvy Yale-NUS College and School of Computing, Singapore | ||
17:15 15mTalk | Closing Remarks from Jens JENSFEST Jens Palsberg University of California, Los Angeles (UCLA) |
Accepted Papers
Title | |
---|---|
Closing Remarks from Jens JENSFEST | |
Correct Compilation of Concurrent C Code JENSFEST | |
Dennis's talk JENSFEST | |
Julia's talk JENSFEST | |
Krishna's talk JENSFEST | |
Lost and Found in the Fog of Trust JENSFEST | |
MiniJava on RISC-V: A Game of Global Compilers Domination JENSFEST | |
Nested Summations JENSFEST | |
The Essence of the Flyweight Design Pattern JENSFEST | |
The Normalization Barrier Revisited JENSFEST | |
Towards Verification of a Denotational Semantics of Inheritance JENSFEST | |
Unboxing Virgil ADTs For Fun and Profit JENSFEST | |
Vivek's talk JENSFEST | |
Welcome from Todd Millstein JENSFEST |
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."