Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017
Austin, Texas, United States
Toggle navigation
Attending
Venue: Venue and Travel Information
VISA Information
Registration Information
Program
CC Program
Your Program
Sun 5 Feb
Mon 6 Feb
Tracks
CC 2017
Event
Keynote
Research Papers
Organization
CC 2017 Committees
Organizing Committee
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
CC 2025
CC 2024
CC 2023
CC 2022
CC 2021
CC 2020
CC 2019
CC 2018
CC 2017
CC 2016
CC 2015
CC 2014
CC 2013
CC 2012
CC 2011
CC 2010
Sign in
Sign up
CC 2017
(
series
) /
Venue and Travel Information
/
Room information: 404
Venue
Venue and Travel Information
Room name
404
Floor
0
Room number
404
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-06:00) Saskatchewan, Central America
.
Use conference time zone: (GMT-06:00) Saskatchewan, Central America
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07: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-06:00) Central Time (US & Canada)
(GMT-05: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 5 Feb
Displayed time zone:
Saskatchewan, Central America
change
09:00 - 09:10
Welcome
Research Papers
at
404
Chair(s):
Sebastian Hack
Saarland University
,
Peng Wu
Huawei America Research Lab
09:00
10m
Day opening
Welcome
Research Papers
Sebastian Hack
Saarland University
,
Peng Wu
Huawei America Research Lab
09:10 - 10:10
Keynote
Research Papers
at
404
Chair(s):
Peng Wu
Huawei America Research Lab
09:10
60m
Talk
Keynote: Why the End-Game for Moore’s Law will be driven by a Compiler Renaissance
Research Papers
Vivek Sarkar
Rice University, USA
10:30 - 12:10
Concurrency & Parallelism
Research Papers
at
404
Chair(s):
Sebastian Hack
Saarland University
10:30
25m
Talk
Partially Redundant Fence Elimination for x86, ARM, and Power Processors
Research Papers
Robin Morisset
ENS, France
,
Francesco Zappa Nardelli
Inria, France
DOI
10:55
25m
Talk
Lightweight Data Race Detection for Production Runs
Research Papers
Swarnendu Biswas
University of Texas at Austin
,
Man Cao
Ohio State University
,
Minjia Zhang
Ohio State University
,
Michael D. Bond
Ohio State University
,
Benjamin P. Wood
Wellesley College, USA
DOI
11:20
25m
Talk
Optimized Two-Level Parallelization for GPU Accelerators using the Polyhedral Model
Research Papers
Jun Shirako
Rice University, USA
,
Akihiro Hayashi
Rice University, USA
,
Vivek Sarkar
Rice University, USA
DOI
11:45
25m
Talk
Optimization Space Pruning without Regrets
Research Papers
Ulysse Beaugnon
,
Antoine Pouille
ENS, France
,
Marc Pouzet
,
Jacques Pienaar
Google, USA
,
Albert Cohen
INRIA
DOI
13:30 - 15:10
Compilers
Research Papers
at
404
13:30
25m
Talk
Compile-Time Function Memoization
Research Papers
Arjun Suresh
Ohio State University, USA
,
Erven Rohou
Inria, France
,
André Seznec
Inria, France
DOI
13:55
25m
Talk
One Compiler: Deoptimization to Optimized Code
Research Papers
Christian Wimmer
,
Vojin Jovanovic
Oracle Labs
,
Erik Eckstein
Oracle Labs, USA
,
Thomas Wuerthinger
Oracle Labs
DOI
14:20
25m
Talk
Static Optimization in PHP 7
Research Papers
Nikita Popov
TU Berlin, Germany
,
Biagio Cosenza
TU Berlin, Germany
,
Ben Juurlink
TU Berlin, Germany
,
Dmitry Stogov
Zend Technologies, Russia
DOI
14:45
25m
Talk
From Functional Programs to Pipelined Dataflow Circuits
Research Papers
Richard Townsend
Columbia University, USA
,
Martha A. Kim
Columbia University
,
Stephen Edwards
DOI
15:30 - 16:30
Types
Research Papers
at
404
15:30
30m
Talk
Granullar: Gradual Nullable Types for Java
Research Papers
Dan Brotherston
University of Waterloo, Canada
,
Werner Dietl
University of Waterloo, Canada
,
Ondřej Lhoták
University of Waterloo, Canada
DOI
16:00
30m
Talk
Let It Recover: Multiparty Protocol-Induced Recovery
Research Papers
Rumyana Neykova
Imperial College London, UK
,
Nobuko Yoshida
Imperial College London
DOI
Mon 6 Feb
Displayed time zone:
Saskatchewan, Central America
change
10:20 - 11:45
Program Analysis
Research Papers
at
404
Chair(s):
Jose Nelson Amaral
University of Alberta
10:20
28m
Talk
Data Structure–Aware Heap Partitioning
Research Papers
Nouraldin Jaber
Purdue University, USA
,
Milind Kulkarni
Purdue University
DOI
10:48
28m
Talk
Dynamic Symbolic Execution for Polymorphism
Research Papers
Lian Li
Institute of Computing Technology at Chinese Academy of Sciences, China
,
Yi Lu
Oracle
,
Jingling Xue
UNSW Australia
DOI
11:16
28m
Talk
rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Function Boundaries
Research Papers
Alessandro Di Federico
Politecnico di Milano, Italy
,
Mathias Payer
Purdue University
,
Giovanni Agosta
Politecnico di Milano, Italy
DOI
Sun 5 Feb
Displayed time zone:
Saskatchewan, Central America
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
404
Research Papers
Welcome
Research Papers
Keynote
Research Papers
Concurrency & Parallelism
Research Papers
Compilers
Research Papers
Types
Mon 6 Feb
Displayed time zone:
Saskatchewan, Central America
change
Room
10:00
30
11:00
30
404
Research Papers
Program Analysis
Sun 5 Feb
Displayed time zone:
Saskatchewan, Central America
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
404
CC Research Papers
Welcome
09:00 - 09:10
CC Research Papers
Keynote: Why the End-Game for Moore’s Law will be driven by a Compiler ...
09:10 - 10:10
CC Research Papers
Partially Redundant Fence Elimination for x86, ARM, and Power Processors
10:30 - 10:55
CC Research Papers
Lightweight Data Race Detection for Production Runs
10:55 - 11:20
CC Research Papers
Optimized Two-Level Parallelization for GPU Accelerators using the Poly ...
11:20 - 11:45
CC Research Papers
Optimization Space Pruning without Regrets
11:45 - 12:10
CC Research Papers
Compile-Time Function Memoization
13:30 - 13:55
CC Research Papers
One Compiler: Deoptimization to Optimized Code
13:55 - 14:20
CC Research Papers
Static Optimization in PHP 7
14:20 - 14:45
CC Research Papers
From Functional Programs to Pipelined Dataflow Circuits
14:45 - 15:10
CC Research Papers
Granullar: Gradual Nullable Types for Java
15:30 - 16:00
CC Research Papers
Let It Recover: Multiparty Protocol-Induced Recovery
16:00 - 16:30
Mon 6 Feb
Displayed time zone:
Saskatchewan, Central America
change
Room
10:00
15
30
45
11:00
15
30
45
404
CC Research Papers
Data Structure–Aware Heap Partitioning
10:20 - 10:48
CC Research Papers
Dynamic Symbolic Execution for Polymorphism
10:48 - 11:16
CC Research Papers
rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Functio ...
11:16 - 11:45
x
Wed 4 Dec 01:33