VL/HCC 2023
Mon 2 - Fri 6 October 2023
Washington, DC, United States
Toggle navigation
Attending
Venue: Martin Luther King Jr. Memorial Library
Registration
Accommodation
Discover Washington DC
Awards
Program
VL/HCC Program
Your Program
Mon 2 Oct
Tue 3 Oct
Wed 4 Oct
Thu 5 Oct
Fri 6 Oct
Tracks
VL/HCC 2023
Keynotes
Research Papers
Posters and Showpieces
Graduate Consortium
Tutorials
Organization
VL/HCC 2023 Committees
Organizing Committee
Program Committee
Contributors
People Index
Sponsorship
Search
Series
Series
vlhcc-2025
VL/HCC 2024
VL/HCC 2023
VL/HCC 2022
VL/HCC 2021
VL/HCC 2020
VL/HCC Series Charter
VL/HCC 2019
VL/HCC 2018
VL/HCC 2017
VL/HCC 2016
VL/HCC 2015
VL/HCC 2014
VL/HCC 2013
VL/HCC 2012
VL/HCC 2011
VL/HCC 2010
VL/HCC 2009
VL/HCC 2008
VL/HCC 2007
VL/HCC 2006
VL/HCC 2005
VL/HCC 2004
HCC 2003
HCC 2002
HCC 2001
VL 2000
VL 1999
VL 1998
VL 1997
VL 1996
VL 1995
VL 1994
VL 1993
VL 1992
VL 1991
VL 1990
VL 1989
VL 1988
VL 1987
VL 1986
VL 1984 (1st)
Sign in
Sign up
VL/HCC 2023
(
series
) /
Research Papers
/
Domain-specific probabilistic programming with Multiverse Explorer
Who
Alan Blackwell
,
Alex Raymond
,
Colton Botta
,
Matthew Keenan
,
Will Hayter-Dalgliesh
Track
VL/HCC 2023 Research Papers
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03: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
When
Thu 5 Oct 2023 14:30 - 15:00 at
Auditorium
-
Session on Visual Languages and Graphical User Interfaces
Chair(s):
Jeremiah Blanchard
Alan Blackwell
Author
University of Cambridge
United Kingdom
Alex Raymond
Author
Colton Botta
Author
University of Cambridge
Matthew Keenan
Author
Will Hayter-Dalgliesh
Author
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03: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
Session Program
Thu 5 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
14:00 - 15:33
Session on Visual Languages and Graphical User Interfaces
Posters and Showpieces
/
Research Papers
at
Auditorium
Chair(s):
Jeremiah Blanchard
University of Florida
14:00
30m
Talk
Towards a Visual Language for Sketched Expression of Software IDE Commands
Research Papers
A:
Sigurdur Gauti Samuelsson
University of Iceland
,
A:
Matthias Book
University of Iceland
14:30
30m
Talk
Domain-specific probabilistic programming with Multiverse Explorer
Research Papers
A:
Alan Blackwell
University of Cambridge
,
A:
Alex Raymond
,
A:
Colton Botta
University of Cambridge
,
A:
Matthew Keenan
,
A:
Will Hayter-Dalgliesh
15:00
15m
Talk
DocDancer: Authoring Ultra-responsive Documents with Layout Generation
Research Papers
A:
Yuexi Chen
University of Maryland, College Park
,
A:
Zhicheng Liu
,
A:
Christopher Tensmeyer
,
A:
Niklas Elmqvist
University of Maryland, College Park
,
A:
Vlad Morariu
15:15
6m
Demonstration
Interactive Graphical Access Control Tools
Posters and Showpieces
A:
Rachael Fernandez
,
A:
Peter Cheng
University of Sussex
,
A:
Ben Smith
,
A:
Tania Fenton
,
A:
Yehia Boraey
,
A:
Armstrong Nhlabatsi
Qatar University
,
A:
Khaled Khan
,
A:
Noora Fetais
15:21
6m
Demonstration
Diagrams-as-Code for Conceptual Modeling in Computational Problem Solving
Posters and Showpieces
A:
Matthew Dinmore
Johns Hopkins Applied Physics Laboratory
15:27
6m
Demonstration
Visually-Assisted Decomposition of Monoliths to Microservices
Posters and Showpieces
A:
Breno Salles
,
A:
Jácome Cunha
Faculty of Engineering, University of Porto & HASLab/INESC
x
Thu 21 Nov 15:50