SPLASH 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
Toggle navigation
About
Venue: Boston Park Plaza Hotel
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Schedule
SPLASH Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Tracks
SPLASH 2018
OOPSLA
Artifacts
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PLMW
Breakfasts
DocSymposium
Volunteers
SRC
Social
Co-hosted Conferences
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
SLE
Workshops
AGERE
AI-SEPS
BLOCKS+
DSLDI
GRACE
HILT
LIVE
META
NJR
OCAP
PLATEAU
REBLS
SLEBoK
TURBO
VMIL
Co-hosted Symposia
DLS
Organization
SPLASH 2018 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Reviewers
Distinguished Paper Committee
Artifacts
Posters
SPLASH-I
Speakers
Organizers
SPLASH-E
Workshops
PLMW
Organizing Committee
Speakers
Breakfasts
DocSymposium
Academic Panel
Organizers
Program Committee
Volunteers
SRC
Organizers
Reviewers
Judges
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
SLE
Keynote Speaker
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
AI-SEPS
Organizing Committee
Program Committee
BLOCKS+
Organizing Committee
Program Committee
DSLDI
Organizing Committee
Program Committee
GRACE
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
META
Organizing Committee
Program Committee
NJR
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SLEBoK
Organizing Committee
Program Committee
TURBO
Organizing Committee
VMIL
Program Committee
Steering Committee
Co-hosted Symposia
DLS
Program Committee
Steering Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2018
(
series
) /
Boston Park Plaza Hotel
/
Room information: Newbury
Venue
Boston Park Plaza Hotel
Room name
Newbury
Floor
4
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-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
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-05: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-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02: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+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+11: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
Sun 4 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 10:00
Opening Session
SLEBoK
at
Newbury
Chair(s):
Vadim Zaytsev
Raincode Labs
09:00
15m
Day opening
Welcome and introduction to SLEBoK and participants
SLEBoK
Vadim Zaytsev
Raincode Labs
,
Eric Van Wyk
University of Minnesota, USA
09:15
15m
Other
Presentations from working group chairs
SLEBoK
09:30
15m
Other
Short proposals for new related SLEBoK project
SLEBoK
09:45
15m
Other
Planning and organization for the day
SLEBoK
10:30 - 12:00
Working Session I
SLEBoK
at
Newbury
10:30
90m
Meeting
Split into small groups, work on SLEBoK tasks, morning
SLEBoK
13:30 - 15:00
Working Session II
SLEBoK
at
Newbury
13:30
90m
Meeting
Split into small groups, work on SLEBoK tasks, afternoon
SLEBoK
15:30 - 17:00
Closing Session
SLEBoK
at
Newbury
15:30
45m
Other
General discussion on SLEBoK: What is working, What should be improved? What next?
SLEBoK
16:15
45m
Meeting
Updates from working groups, discussion of future plans
SLEBoK
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Morning
SPLASH-E
at
Newbury
10:30
30m
Talk
Take a Selfie in Class
SPLASH-E
Christoph Kirsch
University of Salzburg
11:00
30m
Talk
A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations
SPLASH-E
Jim Teresco
,
Michael Dagostino
,
Abdul Samad
Siena College, USA
,
Eric Sauer
Siena College, USA
File Attached
11:30
30m
Talk
Early Experience: Teaching the Basics of Functional Language Design with a Language Type Checker
SPLASH-E
Matteo Cimini
University of Massachusetts Lowell
File Attached
13:30 - 15:00
Afternoon
SPLASH-E
at
Newbury
13:30
30m
Talk
Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners
SPLASH-E
Celina Berg
UBC, Computer Science
,
Fatimah Mahmood
University of British Columbia
File Attached
14:00
30m
Talk
LambdaLab: An Interactive Lambda-Calculus Reducer for Learning
SPLASH-E
Daniel Sainati
Cornell University
,
Adrian Sampson
Cornell University
File Attached
14:30
30m
Meeting
Discussion
SPLASH-E
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 10:00
I
NJR
at
Newbury
08:30
30m
Talk
The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey
NJR
Steve Blackburn
Australian National University
09:00
30m
Talk
NJR: 100,000 Executable, Scriptable, and Searchable Java Programs
NJR
Jens Palsberg
University of California, Los Angeles
09:30
30m
Talk
NJR discussion; Needs, Requirements, Wishes
NJR
Jens Palsberg
University of California, Los Angeles
10:30 - 12:00
II
NJR
at
Newbury
10:30
30m
Talk
Analyzing Code Repositories: A Case Study in Reproducibility
NJR
Jan Vitek
Northeastern University
11:00
30m
Talk
Declarative Program Analysis and Big Code: Challenges and Opportunities
NJR
Mayur Naik
University of Pennsylvania
11:30
30m
Talk
Towards Automating Precision Studies of Clone Detectors
NJR
Farima Farmahinifarahani
University of California at Irvine, USA
13:30 - 15:00
III
NJR
at
Newbury
13:30
30m
Talk
Delphi: Connecting Researchers to Enable Comparable Large-Scale Experiments in Program Analysis
NJR
Ben Hermann
University of Paderborn
Media Attached
File Attached
14:00
30m
Talk
Statically Checking the Inconsistencies of Security Assumptions/Measures in Android Apps and Systems
NJR
Zhiyun Qian
UC Riverside
14:30
30m
Talk
Qualitas Corpus Analysis
NJR
Craig Anslow
Victoria University of Wellington
15:30 - 17:00
IV
NJR
at
Newbury
15:30
30m
Talk
Decompiling Ethereum Bytecode and Detecting Gas-Focused Vulnerabilities
NJR
Yannis Smaragdakis
University of Athens
16:00
30m
Talk
SWAN: A Program Analysis Framework for Swift
NJR
Karim Ali
University of Alberta
16:30
30m
Talk
Clone Detection and Benchmarking in Big Code
NJR
Chanchal K. Roy
University of Saskatchewan
Sun 4 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Newbury
SLEBoK
Opening Session
SLEBoK
Working Session I
SLEBoK
Working Session II
SLEBoK
Closing Session
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Newbury
SPLASH-E
Morning
SPLASH-E
Afternoon
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Newbury
NJR
I
NJR
II
NJR
III
NJR
IV
Sun 4 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Newbury
SLEBoK
Welcome and introduction to SLEBoK and participants
09:00 - 09:15
SLEBoK
Presentations from working group chairs
09:15 - 09:30
SLEBoK
Short proposals for new related SLEBoK project
09:30 - 09:45
SLEBoK
Planning and organization for the day
09:45 - 10:00
SLEBoK
Split into small groups, work on SLEBoK tasks, morning
10:30 - 12:00
SLEBoK
Split into small groups, work on SLEBoK tasks, afternoon
13:30 - 15:00
SLEBoK
General discussion on SLEBoK: What is working, What should be improved? ...
15:30 - 16:15
SLEBoK
Updates from working groups, discussion of future plans
16:15 - 17:00
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
Newbury
SPLASH -E
Take a Selfie in Class
10:30 - 11:00
SPLASH -E
A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations
11:00 - 11:30
SPLASH -E
Early Experience: Teaching the Basics of Functional Language Design wit ...
11:30 - 12:00
SPLASH -E
Bridging the Gap for At-Risk Cohorts: Experimenting with English Langua ...
13:30 - 14:00
SPLASH -E
LambdaLab: An Interactive Lambda-Calculus Reducer for Learning
14:00 - 14:30
SPLASH -E
Discussion
14:30 - 15:00
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
15
30
45
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
Newbury
NJR
The DaCapo Benchmark Suite: A Methodological, Engineering, and Social ...
08:30 - 09:00
NJR
NJR: 100,000 Executable, Scriptable, and Searchable Java Programs
09:00 - 09:30
NJR
NJR discussion; Needs, Requirements, Wishes
09:30 - 10:00
NJR
Analyzing Code Repositories: A Case Study in Reproducibility
10:30 - 11:00
NJR
Declarative Program Analysis and Big Code: Challenges and Opportunities
11:00 - 11:30
NJR
Towards Automating Precision Studies of Clone Detectors
11:30 - 12:00
NJR
Delphi: Connecting Researchers to Enable Comparable Large-Scale Experim ...
13:30 - 14:00
NJR
Statically Checking the Inconsistencies of Security Assumptions/Measure ...
14:00 - 14:30
NJR
Qualitas Corpus Analysis
14:30 - 15:00
NJR
Decompiling Ethereum Bytecode and Detecting Gas-Focused Vulnerabilities
15:30 - 16:00
NJR
SWAN: A Program Analysis Framework for Swift
16:00 - 16:30
NJR
Clone Detection and Benchmarking in Big Code
16:30 - 17:00
x
Thu 21 Nov 15:01