‹Programming› 2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

08:30 - 17:30
08:30
9h
Registration
Registration

09:00 - 10:30
09:00
15m
Day opening
Workshop opening
MoreVMs

09:15
25m
Talk
A Compact and Extensible Portable Scheme VM
MoreVMs
Léonard Oest O'Leary , Marc Feeley Université de Montréal
Pre-print
09:40
25m
Talk
Threaded Execution as a Dual to Native Code
MoreVMs
Dave Mason Toronto Metropolitan University (formerly Ryerson University)
10:05
25m
Talk
Parallel garbage collector and thin monitor locks for SubstrateVM
MoreVMs
Dmitry Chuyko BellSoft
09:00 - 10:30
09:00
90m
Tutorial
mkTut
mkTut

09:00 - 10:30
09:00
90m
Tutorial
ARPL
ARPL

10:30 - 11:00
10:30
30m
Break
Break
Breaks

11:00 - 12:00
11:00
60m
Tutorial
mkTut
mkTut

11:00 - 12:00
11:00
60m
Tutorial
ARPL
ARPL

12:00 - 14:00
12:00
2h
Break
Lunch Break
Breaks

14:00 - 15:30
MoreVMs IIIMoreVMs at Faculty of Engineering Building 6, Seminar Room A
Chair(s): Stefan Marr University of Kent
14:00
25m
Talk
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
MoreVMs
Go Suzuki Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology
Pre-print Media Attached
14:25
25m
Talk
Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework
MoreVMs
Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, CF Bolz-Tereick
Media Attached
14:50
25m
Talk
Cross-Language Interoperability of Heterogeneous Code
MoreVMs
Athanasios Stratikopoulos The University of Manchester, Florin Blanaru OctoML, Juan Fumero University of Manchester, UK, Maria Xekalaki University of Manchester, UK, Orion Papadakis The University of Manchester, Christos Kotselidis KTM Innovation / The University of Manchester
Pre-print
14:00 - 15:30
14:00
90m
Tutorial
mkTut
mkTut

14:00 - 15:30
14:00
90m
Tutorial
ARPL
ARPL

15:30 - 16:00
15:30
30m
Break
Break
Breaks

16:00 - 16:50
VIMPLMoreVMs / VIMPL at Faculty of Engineering Building 6, Seminar Room A
Chair(s): Dimi Racordon Northeastern University, USA
16:00
25m
Talk
Lawvere: A categorical programming language with effectsVIMPL
VIMPL
James Haydon National Institute of Informatics, Japan
16:25
25m
Talk
Uniqueness is SeparationVIMPL
VIMPL
Liam O'Connor University of Edinburgh, Pilar Selene Linares Arévalo University of Melbourne, Christine Rizkallah University of Melbourne
16:00 - 17:30
16:00
90m
Tutorial
mkTut
mkTut

16:00 - 17:30
16:00
90m
Tutorial
ARPL
ARPL

17:00 - 18:00
MoveVMs IVMoreVMs at Faculty of Engineering Building 6, Seminar Room A
Chair(s): Athanasios Stratikopoulos The University of Manchester
17:00
59m
Keynote
Programming for deep learning on top of Virtual MachinesMoreVMs Keynote
MoreVMs
Zoran Sevarac Deep Netts LLC
17:59
1m
Day closing
Workshop closing
MoreVMs

Tue 14 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

08:30 - 17:30
08:30
9h
Registration
Registration

09:00 - 10:30
09:00
30m
Talk
Clerk: Moldable Live Programming for Clojure
PX/23
Martin Kavalar Nextjournal, Philippa Markovics Nextjournal, Jack Rusher Nextjournal
09:30
30m
Talk
ReactCOP Supporting Layer Parameter Management for Front-end Web Applications
PX/23
Hiroki Hashimoto Tokai University, Ikuta Tanigawa Kyusyu University, Nobuhiko Ogura Tokyo City University, Harumi Watanabe Tokai University
10:00
30m
Talk
Probe Log: Visualizing the Control Flow of Babylonian Programming
PX/23
Eva Krebs Hasso Plattner Institute (HPI), University of Potsdam, Germany, Patrick Rein University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute, Joana Bergsiek Hasso Plattner Institute, Lina Urban Hasso Plattner Institute
09:00 - 10:30
09:00
90m
Tutorial
mkTut
mkTut

09:00 - 10:30
Keynote and First papersQP at Faculty of Engineering Building 6, Seminar Room C
Chair(s): Tao Yue Simula Research Laboratory
09:00
5m
Day opening
Workshop Opening
QP
Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics , Tao Yue Simula Research Laboratory
09:05
55m
Keynote
Static Analysis for Quantum Software Correctness and ReliabilityQP Keynote
QP
K: Jianjun Zhao Kyushu University
10:00
30m
Talk
Model-Driven Quantum Federated Learning (QFL)Full Paper
QP
Armin Moin Technical University of Munich, Germany, Atta Badii University of Reading, United Kingdom, Moharram Challenger University of Antwerp
10:30 - 11:00
10:30
30m
Break
Break
Breaks

11:00 - 12:30
11:00
30m
Talk
My Space, Our Space, Their Space: a First Glance at Developers' Experience of SpacesRemote
PX/23
Luke Church University of Cambridge | Lund University | Lark Systems, Emma Söderberg Lund University, Martin Höst Lund University
11:30
30m
Talk
Object-centric Time-Travel Debugging: Exploring Traces of ObjectsRemote
PX/23
Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
12:00
30m
Talk
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software DevelopmentRemote
PX/23
Paul Wuilmart KnowIt Dataunit, Emma Söderberg Lund University, Martin Höst Lund University
11:00 - 12:00
11:00
60m
Tutorial
mkTut
mkTut

11:00 - 12:00
First paper sessionQP at Faculty of Engineering Building 6, Seminar Room C
Chair(s): Shaukat Ali Simula Research Laboratory
11:00
30m
Talk
QUARC: Towards an Efficient Hybrid System for Bounded Model CheckingLightning Talk
QP
Christoph Kirsch University of Salzburg; Czech Technical University, Stefanie Muroya Lei Institute of Science and Technology in Austria
11:30
30m
Talk
Towards Reliable Distributed Quantum Computing on Quantum InterconnectsFull Paper
QP
Ryo Wakizaka Kyoto University
12:00 - 14:00
12:00
2h
Break
Lunch Break
Breaks

14:00 - 15:30
14:00
90m
Tutorial
mkTut
mkTut

15:30 - 16:00
15:30
30m
Break
Break
Breaks

16:00 - 17:30
16:00
90m
Tutorial
mkTut
mkTut

16:00 - 17:30
Third paper sessionQP at Faculty of Engineering Building 6, Seminar Room C
Chair(s): João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal
16:00
30m
Talk
Towards a New Model of Experiential Learning for Quantum ProgrammersLightning Talk
QP
Shwetha Jayaraj New York Institute of Technology, Ali Gedawi New York Institute of Technology, Yusui Chen , Michael Nizich New York Institute of Technology
16:30
30m
Talk
Symbolic quantum programming for supporting applications of quantum computing technologiesFull Paper
QP
Jaroslaw Adam Miszczak Institute of Theoretical and Applied Informatics, Polish Academy of Sciences
17:00
10m
Day closing
Workshop Closing
QP
Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics , Tao Yue Simula Research Laboratory

Wed 15 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

08:30 - 17:30
08:30
9h
Registration
Registration

08:45 - 09:00
08:45
15m
Other
Conference Opening

09:00 - 10:30
Research Papers 1Research Papers at Faculty of Engineering Building 2, Room 212
Chair(s): Philipp Haller KTH Royal Institute of Technology
09:00
30m
Talk
A Functional Programming Language with VersionsVol. 6
Research Papers
Yudai Tanabe Tokyo Institute of Technology, Luthfan Anshar Lubis , Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
Link to publication
09:30
30m
Talk
Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning TasksVol. 7
Research Papers
Raphael Mosaner JKU Linz, David Leopoldseder Oracle Labs, Wolfgang Kisling Johannes Kepler University Linz, Lukas Stadler Oracle Labs, Austria, Hanspeter Mössenböck JKU Linz
Link to publication
10:00
30m
Talk
Black Boxes, White Noise: Similarity Detection for Neural FunctionsVol. 7remote
Research Papers
Farima Farmahinifarahani University of California at Irvine, Crista Lopes University of California, Irvine
Link to publication
10:30 - 11:00
10:30
30m
Break
Break
Breaks

11:00 - 12:00
KeynoteKeynotes at Faculty of Engineering Building 2, Room 212
Chair(s): Shigeru Chiba The University of Tokyo
11:00
60m
Keynote
Human-in-the-loop Creative AI‹Programming› Keynote
Keynotes
K: Takeo Igarashi The University of Tokyo
12:00 - 14:00
12:00
2h
Break
Lunch Break
Breaks

14:00 - 15:30
Research Papers 2Research Papers at Faculty of Engineering Building 2, Room 212
Chair(s): Sebastian Kloibhofer Johannes Kepler University Linz
14:00
30m
Talk
Continuation-Passing Style, Defunctionalization, Accumulations, and AssociativityVol. 6
Research Papers
Jeremy Gibbons Department of Computer Science, University of Oxford
Link to publication
14:30
30m
Talk
Consistency types for replicated data in a higher-order distributed programming languageVol. 5
Research Papers
Xin Zhao KTH Royal Institute of Technology, Philipp Haller KTH Royal Institute of Technology
Link to publication
15:00
30m
Talk
A Theory of Composing ProtocolsVol. 7
Research Papers
Laura Bocchi University of Kent, Dominic Orchard University of Kent, UK, A. Laura Voinea University of Kent, UK
Link to publication
15:30 - 16:00
15:30
30m
Break
Break
Breaks

16:00 - 17:30
Research Papers 3Research Papers at Faculty of Engineering Building 2, Room 212
Chair(s): Ian Sweet Galois, Inc.
16:00
30m
Talk
Little Tricky Logic: Misconceptions in the Understanding of LTLVol. 7remote
Research Papers
Ben Greenman Brown University, Sam Saarinen Brown University, Tim Nelson Brown University, Shriram Krishnamurthi Brown University, United States
Link to publication
16:30
30m
Talk
Building a Secure Software Supply Chain with GNU GuixVol. 7remote
Research Papers
Ludovic Courtès Inria, France
Link to publication
17:00
30m
Talk
Technical Dimensions of Programming SystemsVol. 7remote
Research Papers
Joel Jakubovic University of Kent, Jonathan Edwards Independent, Tomas Petricek Charles University
Link to publication
18:00 - 21:00
BanquetSocial Events at Restaurant Gonpachi

We will move to a restaurant by bus from the conference venue just after the last session ends. Please come to the entrance of the room 212 at 17:30.

18:00
3h
Social Event
Banquet at Gonpachi
Social Events

Thu 16 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

08:30 - 17:30
08:30
9h
Registration
Registration

09:00 - 10:30
Research Papers 4Research Papers at Faculty of Engineering Building 2, Room 212
Chair(s): Joel Jakubovic University of Kent
09:00
30m
Talk
Control Flow Duplication for Columnar Arrays in a Dynamic CompilerVol. 7
Research Papers
Sebastian Kloibhofer Johannes Kepler University Linz, Lukas Makor JKU Linz, David Leopoldseder Oracle Labs, Daniele Bonetta Oracle Labs, Lukas Stadler Oracle Labs, Austria, Hanspeter Mössenböck JKU Linz
Link to publication
09:30
30m
Talk
Gradual Soundness: Lessons from Static PythonVol. 7remote
Research Papers
Kuang-Chen Lu Brown University, USA, Ben Greenman Brown University, USA, Carl Meyer Meta, Dino Viehland Meta, Aniket Panse Meta, Shriram Krishnamurthi Brown University, United States
Link to publication
10:00
30m
Talk
Symphony: Expressive Secure Multiparty Computation with CoordinationVol. 7remote
Research Papers
Ian Sweet Galois, Inc., David Darais Galois, David Heath University of Illinois Urbana-Champaign, Ryan Estes University of Vermont, William Harris Galois, Inc., Michael Hicks University of Maryland; Amazon
Link to publication
10:30 - 11:00
10:30
30m
Break
Break
Breaks

12:00 - 14:00
12:00
2h
Break
Lunch Break
Breaks

14:00 - 15:30
14:00
30m
Talk
Primrose: Selecting Container Data Types by their PropertiesVol. 7
Research Papers
Xueying Qin The University of Edinburgh, Liam O'Connor University of Edinburgh, Michel Steuwer University of Edinburgh
Link to publication
14:30
30m
Talk
Revisiting Language Support for Generic Programming: When Genericity is a Core Design GoalVol. 7
Research Papers
Benjamin Chetioui University of Bergen, Norway, Jaakko Järvi University of Turku, Magne Haveraaen University of Bergen, Norway
Link to publication
15:00
30m
Talk
Profiling and Optimizing Java StreamsVol. 7
Research Papers
Eduardo Rosales University of Lugano, Switzerland, Matteo Basso Università della Svizzera italiana, Andrea Rosà USI Lugano, Walter Binder USI Lugano
Link to publication
15:30 - 16:00
15:30
30m
Break
Break
Breaks

16:00 - 17:00
Research Papers 6Research Papers at Faculty of Engineering Building 2, Room 212
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
16:00
30m
Talk
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAsVol. 5
Research Papers
Michail Papadimitriou OctoML, Juan Fumero University of Manchester, UK, Athanasios Stratikopoulos The University of Manchester, Foivos S. Zakkak Red Hat, Inc., Christos Kotselidis KTM Innovation / The University of Manchester
Link to publication
16:30
30m
Talk
Out-of-Things Debugging: A Live Debugging Approach for Internet of ThingsVol. 7
Research Papers
Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
Link to publication
17:00 - 17:15
17:00
15m
Other
Announcements

Fri 17 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

10:00 - 12:00
Social EventSocial Events at Yanaka area

Let’s enjoy a town walk from the university campus to Yanaka, a nostalgic old town in Tokyo.

10:00
2h
Social Event
Conference Closing and Social event
Social Events