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
Complete Program
Your Program
Sun 18 Jun
Track/Call
Organization
ISMM 2017
Organizing Committee
Steering Committee
ISMM 2017
Program Committee
ISMM 2017
External Review Committee
Contributors
People Index
Search
Series
Series
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
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Sun 18 Jun
ecoop-2017-Doctoral-Symposium
09:00 - 10:30:
ECOOP Doctoral Symposium
- Session 1 at
Vertex WS208
ecoop-2017-Doctoral-Symposium
09:00 - 09:10
Talk
Introduction
ecoop-2017-Doctoral-Symposium
09:10 - 09:30
Talk
Lightning talks
ecoop-2017-Doctoral-Symposium
09:30 - 10:00
Talk
Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software
Daniel Welch
Clemson University
ecoop-2017-Doctoral-Symposium
10:00 - 10:30
Talk
Enabling Modular Verification of Concurrent Programs
Alan Weide
ecoop-2017-Doctoral-Symposium
11:00 - 12:30:
ECOOP Doctoral Symposium
- Session 2 at
Vertex WS208
ecoop-2017-Doctoral-Symposium
11:00 - 11:30
Talk
Invited Talk: The Story of WALA at Watson and Beyond
Julian Dolby
IBM Thomas J. Watson Research Center
ecoop-2017-Doctoral-Symposium
11:30 - 12:00
Talk
Analysis and Verification of Rich Typestate Properties for Complex Programs
Ashish Mishra
ecoop-2017-Doctoral-Symposium
12:00 - 12:30
Talk
Efficient Run-Times for Sound Gradual Typing
Fabian Muehlboeck
ecoop-2017-Doctoral-Symposium
13:30 - 15:00:
ECOOP Doctoral Symposium
- Session 3 at
Vertex WS208
ecoop-2017-Doctoral-Symposium
13:30 - 14:00
Talk
Invited Talk: What Lies Beyond a PhD
Sarah Nadi
University of Alberta
ecoop-2017-Doctoral-Symposium
14:00 - 14:30
Talk
Verifiable, reusable, yet useful conditioning
Praveen Narayanan
Indiana University, USA
ecoop-2017-Doctoral-Symposium
14:30 - 15:00
Talk
Improving Warmup in Meta-Traced Virtual Machines
Jasper Schulz
King's College London
ecoop-2017-Doctoral-Symposium
15:30 - 17:50:
ECOOP Doctoral Symposium
- Session 4 at
Vertex WS208
ecoop-2017-Doctoral-Symposium
15:30 - 16:00
Talk
Compilation of Stream Programs for Heterogeneous Architectures
Rajesh Thakur
ecoop-2017-Doctoral-Symposium
16:00 - 16:30
Talk
Introspective Intrusion Detection for Popular Software Platforms
Byron Hawkins
ecoop-2017-Doctoral-Symposium
16:30 - 17:00
Talk
Privacy-aware operator placement
Mirko Köhler
ecoop-2017-Doctoral-Symposium
17:00 - 17:40
Talk
How to get your Ph.D. DONE
Eric Jul
University of Oslo
ecoop-2017-Doctoral-Symposium
17:40 - 17:50
Talk
Round up by the academic panel
Tue 20 Jun
pmldc-2017-papers
11:00 - 12:30:
PMLDC 2017
- Morning Session at
Vertex WS208
pmldc-2017-papers
11:00 - 12:00
Talk
Edge Compute: The First 5000 Years
Tyler McMullen
Fastly
pmldc-2017-papers
12:00 - 12:30
Talk
On the Design of Distributed Programming Models
Christopher Meiklejohn
Université catholique de Louvain
File Attached
pmldc-2017-papers
14:00 - 15:30:
PMLDC 2017
- Afternoon Session at
Vertex WS208
pmldc-2017-papers
14:00 - 14:30
Talk
Monotonicity Types for Distributed Dataflow
Kevin Clancy
,
Heather Miller
Ecole Polytechnique Federale de Lausanne
File Attached
pmldc-2017-papers
14:30 - 15:00
Talk
Multi-view data types for scalable concurrency in the multi-core era
Deepthi Devaki Akkoorath
,
José Brandão
,
Annette Bieniusa
Technischen Universität Kaiserslautern
,
Carlos Baquero
HASLab/INESC TEC & University of Minho
File Attached
pmldc-2017-papers
15:00 - 15:30
Talk
The Single-Writer Principle in CRDT Composition
Vitor Enes
,
Paulo Sérgio Almeida
,
Carlos Baquero
HASLab/INESC TEC & University of Minho
File Attached
pmldc-2017-papers
16:00 - 18:00:
PMLDC 2017
- Evening Session at
Vertex WS208
pmldc-2017-papers
16:00 - 17:00
Talk
Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything.
Philippe Dobbelaere
Nokia Bell Labs
Wed 21 Jun
LCTES-2017-papers
09:00 - 09:15:
LCTES 2017
- Opening at
Vertex WS208
LCTES-2017-papers
09:00 - 09:15
Day opening
Opening
LCTES-2017-papers
09:15 - 10:15:
LCTES 2017
- Keynote 1 at
Vertex WS208
Chair(s):
Zili Shao
The Hong Kong Polytechnic University
LCTES-2017-papers
09:15 - 10:15
Talk
Static Analysis for Improving Software Performance, Safety and Security
Jingling Xue
UNSW Australia
LCTES-2017-papers
10:50 - 12:30:
LCTES 2017
- Session 1: Compiler Optimization for Embedded Systems at
Vertex WS208
Chair(s):
Yi Wang
Shenzhen University
LCTES-2017-papers
10:50 - 11:15
Talk
AOT Vs. JIT: Impact of Profile Data on Code Quality
April W. Wade
University of Kansas
,
Prasad Kulkarni
University of Kansas
,
Michael Jantz
University of Tennessee
LCTES-2017-papers
11:15 - 11:40
Talk
Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
Ben Taylor
Lancaster University, UK
,
Vicent Sanz Marco
Lancaster University
,
Zheng Wang
Lancaster University
LCTES-2017-papers
11:40 - 12:05
Talk
Auto-Vectorization for Image Processing DSLs
Oliver Reiche
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
,
Christof Kobylko
,
Frank Hannig
Friedrich-Alexander University Erlangen-Nürnberg (FAU)
,
Jürgen Teich
LCTES-2017-papers
12:05 - 12:30
Talk
Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
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
LCTES-2017-papers
15:30 - 17:10:
LCTES 2017
- Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems at
Vertex WS208
Chair(s):
Bernhard Scholz
University of Sydney, Australia
LCTES-2017-papers
15:30 - 15:55
Talk
Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Weiwen Jiang
Chongqing University
,
Edwin Sha
Chongqing University
,
Qingfeng Zhuge
Chongqing University, China
,
Hailiang Dong
Chongqing University
,
Xianzhang Chen
Chongqing University
LCTES-2017-papers
15:55 - 16:20
Talk
Integrated IoT Programming with Selective Abstraction
Gyeongmin Lee
POSTECH
,
Seonyeong Heo
POSTECH
,
Bongjun Kim
POSTECH
,
Jong Kim
POSTECH
,
Hanjun Kim
POSTECH
LCTES-2017-papers
16:20 - 16:45
Talk
Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
Min Zhang
East China Normal University
,
Yunhui Ying
LCTES-2017-papers
16:45 - 17:10
Talk
Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
Wenguang Zheng
,
Hui Wu
University of New South Wales, Australia
,
Chuanyao Nie
The University of New South Wales
Thu 22 Jun
LCTES-2017-papers
09:00 - 10:00:
LCTES 2017
- Keynote 2 at
Vertex WS208
Chair(s):
Vijay Nagarajan
University of Edinburgh, UK
LCTES-2017-papers
09:00 - 10:00
Talk
Design versus Performance: From Giotto via the Embedded Machine to Selfie
Christoph Kirsch
University of Salzburg
File Attached
LCTES-2017-papers
10:30 - 12:10:
LCTES 2017
- Session 3: Non-Volatile Memory/Processor and RTOS at
Vertex WS208
Chair(s):
Hanjun Kim
POSTECH
LCTES-2017-papers
10:30 - 10:55
Talk
Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks
Yi Wang
Shenzhen University
,
Mingxu Zhang
Shenzhen University
,
Jing Yang
Harbin Institute of Technology
LCTES-2017-papers
10:55 - 11:20
Talk
Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
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
LCTES-2017-papers
11:20 - 11:45
Talk
A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
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
LCTES-2017-papers
11:45 - 12:10
Talk
OSEK-V: Application-Specific RTOS Instantiation in Hardware
Christian Dietrich
,
Daniel Lohmann
Friedrich-Alexander-Universität, Germany
Fri 23 Jun
pldi-2017-workshops-and-tutorials
09:00 - 10:00:
PLDI Tutorials
- Graal: High Performance Compilation for Managed Languages at
Vertex WS208
pldi-2017-workshops-and-tutorials
09:00 - 10:00
Other
Graal: High Performance Compilation for Managed Languages
Christian Wimmer
pldi-2017-workshops-and-tutorials
10:30 - 12:10:
PLDI Tutorials
- Graal: High Performance Compilation for Managed Languages (cont'd) at
Vertex WS208
pldi-2017-workshops-and-tutorials
10:30 - 12:10
Other
Graal: High Performance Compilation for Managed Languages
Christian Wimmer
Sun 18 Jun 2017
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
09:00 - 10:30
ECOOP Doctoral Symposium
Session 2
11:00 - 12:30
ECOOP Doctoral Symposium
Session 3
13:30 - 15:00
ECOOP Doctoral Symposium
Session 4
15:30 - 17:50
Tue 20 Jun 2017
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
18:00
30
Vertex WS208
PMLDC
09:00 - 10:30
PMLDC
Morning Session
11:00 - 12:30
PMLDC
Afternoon Session
14:00 - 15:30
PMLDC
Evening Session
16:00 - 18:00
Wed 21 Jun 2017
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
09:00 - 09:15
LCTES
Keynote 1
09:15 - 10:15
LCTES
Session 1: Compiler Optimization for Embedded Systems
10:50 - 12:30
LCTES
Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems
15:30 - 17:10
Thu 22 Jun 2017
Room
9:00
30
10:00
30
11:00
30
12:00
30
Vertex WS208
LCTES
Keynote 2
09:00 - 10:00
LCTES
Session 3: Non-Volatile Memory/Processor and RTOS
10:30 - 12:10
Fri 23 Jun 2017
Room
9:00
30
10:00
30
11:00
30
12:00
30
Vertex WS208
PLDI Tutorials
Graal: High Performance Compilation for Managed Languages
09:00 - 10:00
PLDI Tutorials
Graal: High Performance Compilation for Managed Languages (cont'd)
10:30 - 12:10
Sun 18 Jun 2017
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 2017
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
17: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 2017
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 2017
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 2017
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
Sun 15 Dec 01:19