CoCoDo 2021
Mon 22 - Fri 26 March 2021
Online, United Kingdom
co-located with
‹Programming› 2021
Toggle navigation
Attending
Venue: Online
Program
CoCoDo Program
Your Program
Mon 22 Mar
Tue 23 Mar
Wed 24 Mar
Thu 25 Mar
Fri 26 Mar
Track/Call
Organization
CoCoDo 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
CoCoDo 2021
CoCoDo 2020
CoCoDo 2019
CoCoDo 2018
CoCoDo 2017
Sign in
Sign up
‹Programming› 2021
(
series
) /
CoCoDo 2021 (
series
) /
Online
/
Room information: Virtual Space C
Venue
Online
Room name
Virtual Space C
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) Belfast
.
Use conference time zone: (GMT) Belfast
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-07: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+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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
Tue 23 Mar
Displayed time zone:
Belfast
change
15:00 - 16:30
PX I
PX/21
at
Virtual Space C
15:00
30m
Talk
Exploring Modal Locking in Window Manipulation
PX/21
Marcel Taeumel
Hasso Plattner Institute
,
Robert Hirschfeld
Hasso Plattner Institute (HPI), University of Potsdam, Germany
15:30
30m
Talk
Improving on the experience of hand-assembling programs for application-specific architectures
PX/21
Ian Piumarta
Kyoto University of Advanced Science
16:00
30m
Talk
Javardeye: Gaze Input for Cursor Control in a Structured Editor
PX/21
André L. Santos
ISCTE-IUL
17:00 - 19:00
PX II
PX/21
at
Virtual Space C
17:00
30m
Talk
Type Engineering: A design language for unified Software Engineering
PX/21
Anton Dmukhovskiy
Art Deco Code Ltd
17:30
30m
Talk
Studying Programmer Behaviour at Scale: A Case Study Using Amazon Mechanical Turk
PX/21
Jason Jacques
University of Cambridge
,
Per Ola Kristensson
University of Cambridge
18:00
30m
Talk
Towards End-user Web Scraping For Customization
PX/21
Kapaya Katongo
Massachusetts Institute of Technology (MIT)
,
Geoffrey Litt
MIT
,
Daniel Jackson
Massachusetts Institute of Technology (MIT)
18:30
30m
Talk
Towards exploratory understanding of software using test suites
PX/21
Dominik Meier
Hasso-Plattner-Institute
,
Toni Mattis
Hasso Plattner Institute, University of Potsdam
,
Robert Hirschfeld
Hasso Plattner Institute (HPI), University of Potsdam, Germany
Thu 25 Mar
Displayed time zone:
Belfast
change
15:00 - 16:30
Session 11
‹Programming› Research Papers
at
Virtual Space C
Chair(s):
Jeremy Gibbons
Department of Computer Science, University of Oxford
15:00
30m
Live Q&A
Functional Programming in Pattern-Match-Oriented Programming Style
‹Programming› Research Papers
Satoshi Egi
Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo
,
Yuichi Nishiwaki
The University of Tokyo
DOI
Media Attached
15:30
30m
Live Q&A
Lake symbols for island parsing
‹Programming› Research Papers
Katsumi Okuda
The University of Tokyo / Mitsubishi Electric Corporation
,
Shigeru Chiba
The University of Tokyo
DOI
Media Attached
16:00
30m
Live Q&A
Programming Paradigms, Turing Completeness and Computational Thinking
‹Programming› Research Papers
Greg Michaelson
Heriot-Watt University
DOI
Media Attached
Tue 23 Mar
Displayed time zone:
Belfast
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
Virtual Space C
PX/21
PX I
PX/21
PX II
Thu 25 Mar
Displayed time zone:
Belfast
change
Room
15:00
30
16:00
30
Virtual Space C
‹Programming› Research Papers
Session 11
Tue 23 Mar
Displayed time zone:
Belfast
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Virtual Space C
PX/21
Exploring Modal Locking in Window Manipulation
15:00 - 15:30
PX/21
Improving on the experience of hand-assembling programs for application ...
15:30 - 16:00
PX/21
Javardeye: Gaze Input for Cursor Control in a Structured Editor
16:00 - 16:30
PX/21
Type Engineering: A design language for unified Software Engineering
17:00 - 17:30
PX/21
Studying Programmer Behaviour at Scale: A Case Study Using Amazon Mecha ...
17:30 - 18:00
PX/21
Towards End-user Web Scraping For Customization
18:00 - 18:30
PX/21
Towards exploratory understanding of software using test suites
18:30 - 19:00
Thu 25 Mar
Displayed time zone:
Belfast
change
Room
15:00
15
30
45
16:00
15
30
45
Virtual Space C
‹Programming› Research Papers
Functional Programming in Pattern-Match-Oriented Programming Style
15:00 - 15:30
‹Programming› Research Papers
Lake symbols for island parsing
15:30 - 16:00
‹Programming› Research Papers
Programming Paradigms, Turing Completeness and Computational Thinking
16:00 - 16:30
x
Sun 22 Dec 08:34