Vertex WS208 - PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

VenueUniversitat Politècnica de Catalunya

Room nameVertex WS208

Floor0

Room number208

Capacity60

Room InformationNo extra information available

Program

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, ViennaSelect other time zone

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 programSpecify 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 1ECOOP 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 2ECOOP 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 3ECOOP 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 4ECOOP 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 SessionPMLDC 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 SessionPMLDC 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 SessionPMLDC 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	OpeningLCTES at Vertex WS208

09:00 15m Day opening		Opening LCTES

09:15 - 10:15	Keynote 1LCTES 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 SystemsLCTES 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 SystemsLCTES 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 2LCTES 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 RTOSLCTES 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 LanguagesPLDI 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

Room information: Vertex WS208

Program Display Configuration

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Doctoral Symposium

ECOOP Doctoral Symposium

ECOOP Doctoral Symposium

ECOOP Doctoral Symposium

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PMLDC

PMLDC

PMLDC

PMLDC

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

LCTES

LCTES

LCTES

LCTES

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

LCTES

LCTES

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Tutorials

PLDI Tutorials

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change