‹Programming› 2023 (series) /
‹Programming› 2023 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 13 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 17:30 | |||
08:30 9hRegistration | Registration | ||
09:00 - 10:30 | MoreVMs IMoreVMs at Faculty of Engineering Building 6, Seminar Room A Chair(s): Stefan Marr University of Kent | ||
09:00 15mDay opening | Workshop opening MoreVMs | ||
09:15 25mTalk | A Compact and Extensible Portable Scheme VM MoreVMs Pre-print | ||
09:40 25mTalk | Threaded Execution as a Dual to Native Code MoreVMs Dave Mason Toronto Metropolitan University (formerly Ryerson University) | ||
10:05 25mTalk | Parallel garbage collector and thin monitor locks for SubstrateVM MoreVMs Dmitry Chuyko BellSoft | ||
09:00 - 10:30 | |||
09:00 90mTutorial | mkTut mkTut | ||
09:00 - 10:30 | |||
09:00 90mTutorial | ARPL ARPL | ||
10:30 - 11:00 | |||
10:30 30mBreak | Break Breaks | ||
11:00 - 12:00 | MoreVMs IIMoreVMs at Faculty of Engineering Building 6, Seminar Room A Chair(s): Tomoharu Ugawa University of Tokyo | ||
11:00 60mKeynote | SML#: Toward the ideal interoperability between languages and systemsMoreVMs Keynote MoreVMs | ||
11:00 - 12:00 | |||
11:00 60mTutorial | mkTut mkTut | ||
11:00 - 12:00 | |||
11:00 60mTutorial | ARPL ARPL | ||
12:00 - 14:00 | |||
12:00 2hBreak | Lunch Break Breaks | ||
14:00 - 15:30 | |||
14:00 90mTutorial | mkTut mkTut | ||
14:00 - 15:30 | |||
14:00 90mTutorial | ARPL ARPL | ||
15:30 - 16:00 | |||
15:30 30mBreak | 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 25mTalk | Lawvere: A categorical programming language with effectsVIMPL VIMPL James Haydon National Institute of Informatics, Japan | ||
16:25 25mTalk | 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 90mTutorial | mkTut mkTut | ||
16:00 - 17:30 | |||
16:00 90mTutorial | 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 59mKeynote | Programming for deep learning on top of Virtual MachinesMoreVMs Keynote MoreVMs Zoran Sevarac Deep Netts LLC | ||
17:59 1mDay closing | Workshop closing MoreVMs | ||
Tue 14 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 17:30 | |||
08:30 9hRegistration | Registration | ||
09:00 - 10:30 | |||
09:00 30mTalk | Clerk: Moldable Live Programming for Clojure PX/23 | ||
09:30 30mTalk | 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 30mTalk | 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 90mTutorial | 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 5mDay opening | Workshop Opening QP Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics
, Tao Yue Simula Research Laboratory | ||
09:05 55mKeynote | Static Analysis for Quantum Software Correctness and ReliabilityQP Keynote QP | ||
10:00 30mTalk | 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 30mBreak | Break Breaks | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | 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 30mTalk | Programmer Stories, Stories for Programmers: Exploring Storytelling in Software DevelopmentRemote PX/23 | ||
11:00 - 12:00 | |||
11:00 60mTutorial | 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 30mTalk | 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 30mTalk | Towards Reliable Distributed Quantum Computing on Quantum InterconnectsFull Paper QP Ryo Wakizaka Kyoto University | ||
12:00 - 14:00 | |||
12:00 2hBreak | Lunch Break Breaks | ||
14:00 - 16:00 | |||
14:00 30mTalk | Five Futures with AI Coding AgentsRemote PX/23 Steven Tanimoto University of Washington, Seattle | ||
14:30 30mTalk | Resurrecting Score11 in Siren: What ever happened to the 1980s score languages?Remote PX/23 Stephen Travis Pope FASTLab and HeavenEverywhereMedia | ||
15:00 30mTalk | Multiple-Representation Visual Compositional Dataflow ProgrammingRemote PX/23 Michael Homer Victoria University of Wellington | ||
15:30 15mTalk | A Caret for Your Thoughts: Adapting Caret (Ꮖ) Navigation to Visual EditorsRemote PX/23 Elliot Evans Polytope | ||
15:45 15mDay closing | Closing PX/23 | ||
14:00 - 15:30 | |||
14:00 90mTutorial | mkTut mkTut | ||
14:00 - 15:30 | Second paper sessionQP at Faculty of Engineering Building 6, Seminar Room C Chair(s): Jianjun Zhao Kyushu University | ||
14:00 30mTalk | Generalized W state circuits in the qudit Clifford hierarchyFull Paper QP Lia Yeh University of Oxford | ||
14:30 30mTalk | TornadoQSim: An open-source high-performance and modular system for Quantum Circuit SimulationLightning Talk QP Athanasios Stratikopoulos The University of Manchester, Ales Kubicek ETH Zürich, Juan Fumero University of Manchester, UK, Christos Kotselidis KTM Innovation / The University of Manchester | ||
15:00 30mTalk | Capturing qubit decoherence through paraconsistent transition systemsFull Paper QP | ||
15:30 - 16:00 | |||
15:30 30mBreak | Break Breaks | ||
16:00 - 17:30 | |||
16:00 90mTutorial | 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 30mTalk | 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 30mTalk | 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 10mDay closing | Workshop Closing QP Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics
, Tao Yue Simula Research Laboratory | ||
Wed 15 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 15 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 17:30 | |||
08:30 9hRegistration | Registration | ||
08:45 - 09:00 | |||
08:45 15mOther | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mBreak | 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 60mKeynote | Human-in-the-loop Creative AI‹Programming› Keynote Keynotes | ||
12:00 - 14:00 | |||
12:00 2hBreak | 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 30mTalk | Continuation-Passing Style, Defunctionalization, Accumulations, and AssociativityVol. 6 Research Papers Jeremy Gibbons Department of Computer Science, University of Oxford Link to publication | ||
14:30 30mTalk | Consistency types for replicated data in a higher-order distributed programming languageVol. 5 Research Papers Link to publication | ||
15:00 30mTalk | 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 30mBreak | 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 30mTalk | 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 30mTalk | Building a Secure Software Supply Chain with GNU GuixVol. 7remote Research Papers Ludovic Courtès Inria, France Link to publication | ||
17:00 30mTalk | Technical Dimensions of Programming SystemsVol. 7remote Research Papers 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 3hSocial Event | Banquet at Gonpachi Social Events | ||
Thu 16 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 16 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 17:30 | |||
08:30 9hRegistration | Registration | ||
10:30 - 11:00 | |||
10:30 30mBreak | 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 60mKeynote | Let’s talk about Poetic Computation!‹Programming› Keynote Keynotes | ||
12:00 - 14:00 | |||
12:00 2hBreak | Lunch Break Breaks | ||
14:00 - 15:30 | Research Papers 5Research Papers at Faculty of Engineering Building 2, Room 212 Chair(s): Raphael Mosaner JKU Linz | ||
14:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mBreak | 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 30mTalk | 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 30mTalk | 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 15mOther | Announcements | ||
Fri 17 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
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 2hSocial Event | Conference Closing and Social event Social Events | ||