DSW 2017
Sun 18 - Fri 23 June 2017
Barcelona, Spain
co-located with
PLDI 2017
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Program
DSW Program
Your Program
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Thu 22 Jun
Fri 23 Jun
Track/Call
Organization
DSW 2017 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
DSW 2017 (
series
) /
Universitat Politècnica de Catalunya
/
Room information: Vertex WS208
Venue
Universitat Politècnica de Catalunya
Room name
Vertex WS208
Floor
0
Room number
208
Capacity
60
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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-06: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-04: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+01: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+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) 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+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Session 1
ECOOP Doctoral Symposium
at
Vertex WS208
09:00
10m
Talk
Introduction
ECOOP Doctoral Symposium
09:10
20m
Talk
Lightning talks
ECOOP Doctoral Symposium
09:30
30m
Talk
Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software
ECOOP Doctoral Symposium
Daniel Welch
Clemson University
10:00
30m
Talk
Enabling Modular Verification of Concurrent Programs
ECOOP Doctoral Symposium
Alan Weide
11:00 - 12:30
Session 2
ECOOP Doctoral Symposium
at
Vertex WS208
11:00
30m
Talk
Invited Talk: The Story of WALA at Watson and Beyond
ECOOP Doctoral Symposium
Julian Dolby
IBM Thomas J. Watson Research Center
11:30
30m
Talk
Analysis and Verification of Rich Typestate Properties for Complex Programs
ECOOP Doctoral Symposium
Ashish Mishra
12:00
30m
Talk
Efficient Run-Times for Sound Gradual Typing
ECOOP Doctoral Symposium
Fabian Muehlboeck
13:30 - 15:00
Session 3
ECOOP Doctoral Symposium
at
Vertex WS208
13:30
30m
Talk
Invited Talk: What Lies Beyond a PhD
ECOOP Doctoral Symposium
Sarah Nadi
University of Alberta
14:00
30m
Talk
Verifiable, reusable, yet useful conditioning
ECOOP Doctoral Symposium
Praveen Narayanan
Indiana University, USA
14:30
30m
Talk
Improving Warmup in Meta-Traced Virtual Machines
ECOOP Doctoral Symposium
Jasper Schulz
King's College London
15:30 - 17:50
Session 4
ECOOP Doctoral Symposium
at
Vertex WS208
15:30
30m
Talk
Compilation of Stream Programs for Heterogeneous Architectures
ECOOP Doctoral Symposium
Rajesh Thakur
16:00
30m
Talk
Introspective Intrusion Detection for Popular Software Platforms
ECOOP Doctoral Symposium
Byron Hawkins
16:30
30m
Talk
Privacy-aware operator placement
ECOOP Doctoral Symposium
Mirko Köhler
17:00
40m
Talk
How to get your Ph.D. DONE
ECOOP Doctoral Symposium
Eric Jul
University of Oslo
17:40
10m
Talk
Round up by the academic panel
ECOOP Doctoral Symposium
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Morning Session
PMLDC
at
Vertex WS208
11:00
60m
Talk
Edge Compute: The First 5000 Years
PMLDC
Tyler McMullen
Fastly
12:00
30m
Talk
On the Design of Distributed Programming Models
PMLDC
Christopher Meiklejohn
Université catholique de Louvain
File Attached
14:00 - 15:30
Afternoon Session
PMLDC
at
Vertex WS208
14:00
30m
Talk
Monotonicity Types for Distributed Dataflow
PMLDC
Kevin Clancy
,
Heather Miller
Ecole Polytechnique Federale de Lausanne
File Attached
14:30
30m
Talk
Multi-view data types for scalable concurrency in the multi-core era
PMLDC
Deepthi Devaki Akkoorath
,
José Brandão
,
Annette Bieniusa
Technischen Universität Kaiserslautern
,
Carlos Baquero
HASLab/INESC TEC & University of Minho
File Attached
15:00
30m
Talk
The Single-Writer Principle in CRDT Composition
PMLDC
Vitor Enes
,
Paulo Sérgio Almeida
,
Carlos Baquero
HASLab/INESC TEC & University of Minho
File Attached
16:00 - 18:00
Evening Session
PMLDC
at
Vertex WS208
16:00
60m
Talk
Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything.
PMLDC
Philippe Dobbelaere
Nokia Bell Labs
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 09:15
Opening
LCTES
at
Vertex WS208
09:00
15m
Day opening
Opening
LCTES
09:15 - 10:15
Keynote 1
LCTES
at
Vertex WS208
Chair(s):
Zili Shao
The Hong Kong Polytechnic University
09:15
60m
Talk
Static Analysis for Improving Software Performance, Safety and Security
LCTES
Jingling Xue
UNSW Australia
10:50 - 12:30
Session 1: Compiler Optimization for Embedded Systems
LCTES
at
Vertex WS208
Chair(s):
Yi Wang
Shenzhen University
10:50
25m
Talk
AOT Vs. JIT: Impact of Profile Data on Code Quality
LCTES
April W. Wade
University of Kansas
,
Prasad Kulkarni
University of Kansas
,
Michael Jantz
University of Tennessee
11:15
25m
Talk
Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
LCTES
Ben Taylor
Lancaster University, UK
,
Vicent Sanz Marco
Lancaster University
,
Zheng Wang
Lancaster University
11:40
25m
Talk
Auto-Vectorization for Image Processing DSLs
LCTES
Oliver Reiche
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
,
Christof Kobylko
,
Frank Hannig
Friedrich-Alexander University Erlangen-Nürnberg (FAU)
,
Jürgen Teich
12:05
25m
Talk
Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
LCTES
Sheng-Yu Fu
,
Ding-Yong Hong
Institute of Information Science, Academia Sinica
,
Ping Yu
Department of Computer Science and Information Engineering, National Taiwan University
,
Jan-Jan Wu
Institute of Information Science, Academia Sinica
,
Wei-Chung Hsu
Dept. Computer Science & Information Engineering, National Taiwan University
15:30 - 17:10
Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems
LCTES
at
Vertex WS208
Chair(s):
Bernhard Scholz
University of Sydney, Australia
15:30
25m
Talk
Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
LCTES
Weiwen Jiang
Chongqing University
,
Edwin Sha
Chongqing University
,
Qingfeng Zhuge
Chongqing University, China
,
Hailiang Dong
Chongqing University
,
Xianzhang Chen
Chongqing University
15:55
25m
Talk
Integrated IoT Programming with Selective Abstraction
LCTES
Gyeongmin Lee
POSTECH
,
Seonyeong Heo
POSTECH
,
Bongjun Kim
POSTECH
,
Jong Kim
POSTECH
,
Hanjun Kim
POSTECH
16:20
25m
Talk
Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
LCTES
Min Zhang
East China Normal University
,
Yunhui Ying
16:45
25m
Talk
Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
LCTES
Wenguang Zheng
,
Hui Wu
University of New South Wales, Australia
,
Chuanyao Nie
The University of New South Wales
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Keynote 2
LCTES
at
Vertex WS208
Chair(s):
Vijay Nagarajan
University of Edinburgh, UK
09:00
60m
Talk
Design versus Performance: From Giotto via the Embedded Machine to Selfie
LCTES
Christoph Kirsch
University of Salzburg
File Attached
10:30 - 12:10
Session 3: Non-Volatile Memory/Processor and RTOS
LCTES
at
Vertex WS208
Chair(s):
Hanjun Kim
POSTECH
10:30
25m
Talk
Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks
LCTES
Yi Wang
Shenzhen University
,
Mingxu Zhang
Shenzhen University
,
Jing Yang
Harbin Institute of Technology
10:55
25m
Talk
Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
LCTES
Xianzhong Ding
Shandong University
,
Zhiyong Zhang
Shandong University
,
Zhiping Jia
Shandong University
,
Lei Ju
Shandong University
,
Mengying Zhao
Shandong University
,
Huawei Huang
The University of Aizu
11:20
25m
Talk
A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
LCTES
Chen Pan
,
Mimi Xie
Oklahoma State University
,
Yongpan Liu
Tsinghua University
,
Yanzhi Wang
Syracuse University
,
Jason Xue
City University of Hong Kong, China
,
Yiran Chen
University of Pittsburgh
,
Jingtong Hu
Oklahoma State University
11:45
25m
Talk
OSEK-V: Application-Specific RTOS Instantiation in Hardware
LCTES
Christian Dietrich
,
Daniel Lohmann
Friedrich-Alexander-Universität, Germany
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials
at
Vertex WS208
09:00
60m
Other
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials
Christian Wimmer
10:30 - 12:10
Graal: High Performance Compilation for Managed Languages (cont'd)
PLDI Tutorials
at
Vertex WS208
10:30
1h40m
Other
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials
Christian Wimmer
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
17:00
30
Vertex WS208
ECOOP Doctoral Symposium
Session 1
ECOOP Doctoral Symposium
Session 2
ECOOP Doctoral Symposium
Session 3
ECOOP Doctoral Symposium
Session 4
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
17:00
30
Vertex WS208
PMLDC
PMLDC
Morning Session
PMLDC
Afternoon Session
PMLDC
Evening Session
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
17:00
30
Vertex WS208
LCTES
Opening
LCTES
Keynote 1
LCTES
Session 1: Compiler Optimization for Embedded Systems
LCTES
Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
Vertex WS208
LCTES
Keynote 2
LCTES
Session 3: Non-Volatile Memory/Processor and RTOS
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
Vertex WS208
PLDI Tutorials
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials
Graal: High Performance Compilation for Managed Languages (cont'd)
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
17:00
15
30
45
Vertex WS208
ECOOP Doctoral Symposium
Introduction
09:00 - 09:10
ECOOP Doctoral Symposium
Lightning talks
09:10 - 09:30
ECOOP Doctoral Symposium
Scaling Up Automated Verification: A Case Study and A Formalization IDE ...
09:30 - 10:00
ECOOP Doctoral Symposium
Enabling Modular Verification of Concurrent Programs
10:00 - 10:30
ECOOP Doctoral Symposium
Invited Talk: The Story of WALA at Watson and Beyond
11:00 - 11:30
ECOOP Doctoral Symposium
Analysis and Verification of Rich Typestate Properties for Complex Programs
11:30 - 12:00
ECOOP Doctoral Symposium
Efficient Run-Times for Sound Gradual Typing
12:00 - 12:30
ECOOP Doctoral Symposium
Invited Talk: What Lies Beyond a PhD
13:30 - 14:00
ECOOP Doctoral Symposium
Verifiable, reusable, yet useful conditioning
14:00 - 14:30
ECOOP Doctoral Symposium
Improving Warmup in Meta-Traced Virtual Machines
14:30 - 15:00
ECOOP Doctoral Symposium
Compilation of Stream Programs for Heterogeneous Architectures
15:30 - 16:00
ECOOP Doctoral Symposium
Introspective Intrusion Detection for Popular Software Platforms
16:00 - 16:30
ECOOP Doctoral Symposium
Privacy-aware operator placement
16:30 - 17:00
ECOOP Doctoral Symposium
How to get your Ph.D. DONE
17:00 - 17:40
ECOOP Doctoral Symposium
Round up by the academic panel
17:40 - 17:50
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS208
PMLDC
Edge Compute: The First 5000 Years
11:00 - 12:00
PMLDC
On the Design of Distributed Programming Models
12:00 - 12:30
PMLDC
Monotonicity Types for Distributed Dataflow
14:00 - 14:30
PMLDC
Multi-view data types for scalable concurrency in the multi-core era
14:30 - 15:00
PMLDC
The Single-Writer Principle in CRDT Composition
15:00 - 15:30
PMLDC
Heads in the cloud, feet at the edge and forward we go - distributed co ...
16:00 - 17:00
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
17:00
15
30
45
Vertex WS208
LCTES
Opening
09:00 - 09:15
LCTES
Static Analysis for Improving Software Performance, Safety and Security
09:15 - 10:15
LCTES
AOT Vs. JIT: Impact of Profile Data on Code Quality
10:50 - 11:15
LCTES
Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
11:15 - 11:40
LCTES
Auto-Vectorization for Image Processing DSLs
11:40 - 12:05
LCTES
Dynamic Translation of Structured Loads/Stores and Register Mapping for ...
12:05 - 12:30
LCTES
Optimal Functional Unit Assignment and Voltage Selection for Pipelined ...
15:30 - 15:55
LCTES
Integrated IoT Programming with Selective Abstraction
15:55 - 16:20
LCTES
Efficient SMT-based LTL Model Checking of Clock Constraint Specificatio ...
16:20 - 16:45
LCTES
Integrating Task Scheduling and Cache Locking for Multicore Real-time E ...
16:45 - 17:10
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Vertex WS208
LCTES
Design versus Performance: From Giotto via the Embedded Machine to Selfie
09:00 - 10:00
LCTES
Towards Memory-Efficient Processing-in-Memory Architecture for Convolut ...
10:30 - 10:55
LCTES
Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Per ...
10:55 - 11:20
LCTES
A Lightweight Progress Maximization Scheduler for Non-Volatile Processo ...
11:20 - 11:45
LCTES
OSEK-V: Application-Specific RTOS Instantiation in Hardware
11:45 - 12:10
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Vertex WS208
PLDI Tutorials
Graal: High Performance Compilation for Managed Languages
09:00 - 10:00
PLDI Tutorials
Graal: High Performance Compilation for Managed Languages
10:30 - 12:10
x
Wed 4 Dec 09:25