Blogs (2) >>
ISMM 2017
Sun 18 Jun 2017
Barcelona, Spain
co-located with
PLDI 2017
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Registration
Visa
Program
ISMM Program
Your Program
Sun 18 Jun
Track/Call
Organization
ISMM 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Program Committee
External Review Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
ISMM 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
Sat 21 Dec 17:00