mkTut2023
Mon 13 - Tue 14 March 2023
Tokyo, Japan
co-located with
‹Programming› 2023
Toggle navigation
Attending
Venue: The University of Tokyo
Banquet: Gonpachi, Nishi-Azabu
Program
Complete Program
Your Program
Mon 13 Mar
Tue 14 Mar
Tracks
mkTut2023
mkTut2023
‹Programming› 2023
Organization
mkTut2023 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
miniKanren 2024
miniKanren 2023
mkTut2023
miniKanren 2022
miniKanren 2021
miniKanren 2020
miniKanren 2019
Sign in
Sign up
‹Programming› 2023
(
series
) /
mkTut2023 (
series
) /
The University of Tokyo
/
Room information: Faculty of Engineering Building 6, Seminar Room A
Venue
The University of Tokyo
Room name
Faculty of Engineering Building 6, Seminar Room A
Floor
3
Room number
6A
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Mon 13 Mar
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:00 - 10:30
MoreVMs I
MoreVMs
at
Faculty of Engineering Building 6, Seminar Room A
Chair(s):
Stefan Marr
University of Kent
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
11:00 - 12:00
MoreVMs II
MoreVMs
at
Faculty of Engineering Building 6, Seminar Room A
Chair(s):
Tomoharu Ugawa
University of Tokyo
11:00
60m
Keynote
SML#: Toward the ideal interoperability between languages and systems
MoreVMs Keynote
MoreVMs
K:
Katsuhiro Ueno
Niigata University
14:00 - 15:30
MoreVMs III
MoreVMs
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
16:00 - 16:50
VIMPL
MoreVMs
/
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 effects
VIMPL
VIMPL
James Haydon
National Institute of Informatics, Japan
16:25
25m
Talk
Uniqueness is Separation
VIMPL
VIMPL
Liam O'Connor
University of Edinburgh
,
Pilar Selene Linares Arévalo
University of Melbourne
,
Christine Rizkallah
University of Melbourne
17:00 - 18:00
MoveVMs IV
MoreVMs
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 Machines
MoreVMs 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
09:00 - 10:30
PX/23 Session 1
PX/23
at
Faculty of Engineering Building 6, Seminar Room A
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
11:00 - 12:30
PX/23 Session 2
PX/23
at
Faculty of Engineering Building 6, Seminar Room A
11:00
30m
Talk
My Space, Our Space, Their Space: a First Glance at Developers' Experience of Spaces
Remote
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 Objects
Remote
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 Development
Remote
PX/23
Paul Wuilmart
KnowIt Dataunit
,
Emma Söderberg
Lund University
,
Martin Höst
Lund University
14:00 - 16:00
PX/23 Session 3
PX/23
at
Faculty of Engineering Building 6, Seminar Room A
14:00
30m
Talk
Five Futures with AI Coding Agents
Remote
PX/23
Steven Tanimoto
University of Washington, Seattle
14:30
30m
Talk
Resurrecting Score11 in Siren: What ever happened to the 1980s score languages?
Remote
PX/23
Stephen Travis Pope
FASTLab and HeavenEverywhereMedia
15:00
30m
Talk
Multiple-Representation Visual Compositional Dataflow Programming
Remote
PX/23
Michael Homer
Victoria University of Wellington
15:30
15m
Talk
A Caret for Your Thoughts: Adapting Caret (Ꮖ) Navigation to Visual Editors
Remote
PX/23
Elliot Evans
Polytope
15:45
15m
Day closing
Closing
PX/23
Mon 13 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 6, Seminar Room A
MoreVMs
MoreVMs I
MoreVMs
MoreVMs II
MoreVMs
MoreVMs III
MoreVMs + VIMPL
VIMPL
MoreVMs
MoveVMs IV
Tue 14 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
Faculty of Engineering Building 6, Seminar Room A
PX/23
PX/23 Session 1
PX/23
PX/23 Session 2
PX/23
PX/23 Session 3
Mon 13 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 6, Seminar Room A
MoreVMs
Workshop opening
09:00 - 09:15
MoreVMs
A Compact and Extensible Portable Scheme VM
09:15 - 09:40
MoreVMs
Threaded Execution as a Dual to Native Code
09:40 - 10:05
MoreVMs
Parallel garbage collector and thin monitor locks for SubstrateVM
10:05 - 10:30
MoreVMs
MoreVMs Keynote
SML#: Toward the ideal interoperability between languages and systems
11:00 - 12:00
MoreVMs
Implementation and Evaluation of an Interpreter for Functional Reactive ...
14:00 - 14:25
MoreVMs
Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing J ...
14:25 - 14:50
MoreVMs
Cross-Language Interoperability of Heterogeneous Code
14:50 - 15:15
VIMPL
VIMPL
Lawvere: A categorical programming language with effects
16:00 - 16:25
VIMPL
VIMPL
Uniqueness is Separation
16:25 - 16:50
MoreVMs
MoreVMs Keynote
Programming for deep learning on top of Virtual Machines
17:00 - 17:59
MoreVMs
Workshop closing
17:59 - 18:00
Tue 14 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
Faculty of Engineering Building 6, Seminar Room A
PX/23
Clerk: Moldable Live Programming for Clojure
09:00 - 09:30
PX/23
ReactCOP Supporting Layer Parameter Management for Front-end Web Applic ...
09:30 - 10:00
PX/23
Probe Log: Visualizing the Control Flow of Babylonian Programming
10:00 - 10:30
PX/23
Remote
My Space, Our Space, Their Space: a First Glance at Developers' Experie ...
11:00 - 11:30
PX/23
Remote
Object-centric Time-Travel Debugging: Exploring Traces of Objects
11:30 - 12:00
PX/23
Remote
Programmer Stories, Stories for Programmers: Exploring Storytelling in ...
12:00 - 12:30
PX/23
Remote
Five Futures with AI Coding Agents
14:00 - 14:30
PX/23
Remote
Resurrecting Score11 in Siren: What ever happened to the 1980s score la ...
14:30 - 15:00
PX/23
Remote
Multiple-Representation Visual Compositional Dataflow Programming
15:00 - 15:30
PX/23
Remote
A Caret for Your Thoughts: Adapting Caret (Ꮖ) Navigation to Visual Editors
15:30 - 15:45
PX/23
Closing
15:45 - 16:00
x
Wed 13 Nov 02:10