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

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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‹Programming› at Faculty of Engineering Building 2, Room 212

08:45 15m Other		Conference Opening ‹Programming›

09:00 - 10:30	Research Papers 1‹Programming› Research 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 ‹Programming› 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 ‹Programming› 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 ‹Programming› Research Papers Farima Farmahinifarahani University of California at Irvine, Crista Lopes University of California, Irvine Link to publication

11:00 - 12:00	Keynote‹Programming› Keynotes 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 ‹Programming› Keynotes K: Takeo Igarashi The University of Tokyo

14:00 - 15:30	Research Papers 2‹Programming› Research 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 ‹Programming› 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 ‹Programming› 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 ‹Programming› 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 3‹Programming› Research 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 ‹Programming› 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 ‹Programming› Research Papers Ludovic Courtès Inria, France Link to publication
17:00 30m Talk		Technical Dimensions of Programming SystemsVol. 7remote ‹Programming› 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 4‹Programming› Research 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 ‹Programming› 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 ‹Programming› 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 ‹Programming› 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	Keynote‹Programming› Keynotes 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 ‹Programming› Keynotes K: Takashi Ikegami

14:00 - 15:30	Research Papers 5‹Programming› Research 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 ‹Programming› 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 ‹Programming› 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 ‹Programming› 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 6‹Programming› Research 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 ‹Programming› 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 ‹Programming› 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‹Programming› at Faculty of Engineering Building 2, Room 212

17:00 15m Other		Announcements ‹Programming›

Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Faculty of Engineering Building 2, Room 212										‹Programming› Conference Opening			‹Programming› Research Papers Research Papers 1																								‹Programming› Keynotes Keynote																																				‹Programming› Research Papers Research Papers 2																								‹Programming› Research Papers Research Papers 3

Thu 16 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Faculty of Engineering Building 2, Room 212	‹Programming› Research Papers Research Papers 4																								‹Programming› Keynotes Keynote																																				‹Programming› Research Papers Research Papers 5																								‹Programming› Research Papers Research Papers 6												‹Programming› Announcements

Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
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

Room information: Faculty of Engineering Building 2, Room 212

Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 16 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

‹Programming›

‹Programming› Research Papers

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Research Papers

Thu 16 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

‹Programming› Research Papers

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming›

Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 16 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Tracks

‹Programming› 2023

Room information: Faculty of Engineering Building 2, Room 212

Program Display Configuration

Wed 15 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

Thu 16 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

Wed 15 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

‹Programming›

‹Programming› Research Papers

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Research Papers

Thu 16 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

‹Programming› Research Papers

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming›

Wed 15 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

Thu 16 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 16 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 16 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 16 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change