mkTut2023
Mon 13 - Tue 14 March 2023 Tokyo, Japan
co-located with ‹Programming› 2023
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
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
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
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
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
14:00 - 15:30
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
17:00
15m
Other
Announcements
‹Programming›