DLS 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
co-located with
SPLASH 2017
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
SPLASH 2017
General Chair's Welcome
OOPSLA Chair's Welcome
Awards
Registration
Student Support
Sponsorship
Visas and ETA
Childcare
Code Of Conduct
Program
DLS Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Track/Call
Organization
DLS 2017 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2017
(
series
) /
DLS 2017 (
series
) /
Hyatt Regency Vancouver
/
Room information: Constable
Venue
Hyatt Regency Vancouver
Room name
Constable
Floor
4
Capacity
25
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-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
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-03: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-02: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+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
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Session 1
NJR
at
Constable
Chair(s):
Jens Palsberg
University of California, Los Angeles (UCLA)
08:30
30m
Talk
Welcome and Overview of NJR
NJR
Crista Lopes
University of California, Irvine
,
Jens Palsberg
University of California, Los Angeles (UCLA)
09:00
20m
Talk
Benchmarking for Program Analysis
NJR
Cristina Cifuentes
Oracle Labs
,
Karim Ali
University of Alberta
,
Yannis Smaragdakis
University of Athens
File Attached
09:20
20m
Talk
Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud
NJR
Jonathan Bell
George Mason University
File Attached
09:40
20m
Talk
XCorpus, An Executable Corpus of Java Programs
NJR
Jens Dietrich
Massey University
File Attached
10:30 - 12:00
Session 2
NJR
at
Constable
Chair(s):
Crista Lopes
University of California, Irvine
10:30
20m
Talk
Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time
NJR
Harry Xu
University of California, Irvine
File Attached
10:50
20m
Talk
Automated Benchmark Management
NJR
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
,
Ben Hermann
University of Paderborn
File Attached
11:10
20m
Talk
Tool Support for Energy-Aware Programming
NJR
Yu David Liu
State University of New York (SUNY) Binghamton
File Attached
11:30
20m
Talk
Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions
NJR
Michael D. Bond
Ohio State University
11:50
20m
Talk
The Need for a JavaScript Benchmark for Program Analysis
NJR
Cristina Cifuentes
Oracle Labs
,
François Gauthier
Oracle Labs
File Attached
13:30 - 15:00
Session 3
NJR
at
Constable
13:30
90m
Other
NJR discussion; Needs, Requirements, Wishes
NJR
Crista Lopes
University of California, Irvine
,
Jens Palsberg
University of California, Los Angeles (UCLA)
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
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
Constable
NJR
Session 1
NJR
Session 2
NJR
Session 3
NJR
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
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
Constable
NJR
Welcome and Overview of NJR
08:30 - 09:00
NJR
Benchmarking for Program Analysis
09:00 - 09:20
NJR
Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynami ...
09:20 - 09:40
NJR
XCorpus, An Executable Corpus of Java Programs
09:40 - 10:00
NJR
Graph Systems for Statically Analyzing Hundreds of Projects at the Same ...
10:30 - 10:50
NJR
Automated Benchmark Management
10:50 - 11:10
NJR
Tool Support for Energy-Aware Programming
11:10 - 11:30
NJR
Discovering Empirical and Theoretical Analysis Properties from Lots of ...
11:30 - 11:50
NJR
The Need for a JavaScript Benchmark for Program Analysis
11:50 - 12:10
NJR
NJR discussion; Needs, Requirements, Wishes
13:30 - 15:00
x
Sat 21 Dec 17:53