SLE 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
co-located with
SPLASH 2018
Toggle navigation
Attending
Venue: Boston Park Plaza Hotel
SPLASH 2018
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Program
SLE Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Track/Call
Organization
SLE 2018 Committees
Track Committees
Keynote Speaker
Organizing Committee
Program Committee
Artifact Evaluation Committee
Contributors
People Index
Search
Series
Series
SLE 2025
SLE 2024
SLE 2023
SLE 2022
SLE 2021
SLE 2020
SLE 2019
SLE 2018
SLE 2017
SLE 2016
SLE 2015
SLE 2013
Sign in
Sign up
SPLASH 2018
(
series
) /
SLE 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
Sat 23 Nov 09:06