‹Programming› 2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan
‹Programming› 2023 (series) / The University of Tokyo /

Room information: Faculty of Engineering Building 2, Room 212

VenueThe University of Tokyo
Room nameFaculty of Engineering Building 2, Room 212
Floor1
Room number212
Room Information

The entrance is on the 2nd floor. So, go down the stairs.

Program

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

Wed 15 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

08:45 - 09:00
Conference Opening at Faculty of Engineering Building 2, Room 212
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
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
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
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

Thu 16 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

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
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
Let’s talk about Poetic Computation!‹Programming› Keynote
Keynotes
K: Takashi Ikegami
14:00 - 15:30
Research Papers 5Research Papers at Faculty of Engineering Building 2, Room 212
Chair(s): Raphael Mosaner JKU Linz
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
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
Announcements at Faculty of Engineering Building 2, Room 212
17:00
15m
Other
Announcements

Wed 15 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Faculty of Engineering Building 2, Room 212

Conference Opening

Research Papers

Research Papers 1

Keynotes

Keynote

Research Papers

Research Papers 2

Research Papers

Research Papers 3

Thu 16 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Faculty of Engineering Building 2, Room 212

Research Papers

Research Papers 4

Keynotes

Keynote

Research Papers

Research Papers 5

Research Papers

Research Papers 6

Announcements

Wed 15 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Faculty of Engineering Building 2, Room 212
‹Programming›
Conference Opening
08:45 - 09:00
‹Programming› Research PapersVol. 6
A Functional Programming Language with Versions
09:00 - 09:30
‹Programming› Research PapersVol. 7
Compilation Forking: A Fast and Flexible Way of Generating Data for Com ...
09:30 - 10:00
‹Programming› Research PapersVol. 7remote
Black Boxes, White Noise: Similarity Detection for Neural Functions
10:00 - 10:30
‹Programming› Keynotes‹Programming› Keynote
Human-in-the-loop Creative AI
11:00 - 12:00
‹Programming› Research PapersVol. 6
Continuation-Passing Style, Defunctionalization, Accumulations, and Ass ...
14:00 - 14:30
‹Programming› Research PapersVol. 5
Consistency types for replicated data in a higher-order distributed pro ...
14:30 - 15:00
‹Programming› Research PapersVol. 7
A Theory of Composing Protocols
15:00 - 15:30
‹Programming› Research PapersVol. 7remote
Little Tricky Logic: Misconceptions in the Understanding of LTL
16:00 - 16:30
‹Programming› Research PapersVol. 7remote
Building a Secure Software Supply Chain with GNU Guix
16:30 - 17:00
‹Programming› Research PapersVol. 7remote
Technical Dimensions of Programming Systems
17:00 - 17:30

Thu 16 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Faculty of Engineering Building 2, Room 212
‹Programming› Research PapersVol. 7
Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
09:00 - 09:30
‹Programming› Research PapersVol. 7remote
Gradual Soundness: Lessons from Static Python
09:30 - 10:00
‹Programming› Research PapersVol. 7remote
Symphony: Expressive Secure Multiparty Computation with Coordination
10:00 - 10:30
‹Programming› Keynotes‹Programming› Keynote
Let’s talk about Poetic Computation!
11:00 - 12:00
‹Programming› Research PapersVol. 7
Primrose: Selecting Container Data Types by their Properties
14:00 - 14:30
‹Programming› Research PapersVol. 7
Revisiting Language Support for Generic Programming: When Genericity is ...
14:30 - 15:00
‹Programming› Research PapersVol. 7
Profiling and Optimizing Java Streams
15:00 - 15:30
‹Programming› Research PapersVol. 5
Transparent Compiler and Runtime Specializations for Accelerating Manag ...
16:00 - 16:30
‹Programming› Research PapersVol. 7
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
16:30 - 17:00
‹Programming›
Announcements
17:00 - 17:15