Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS208
Floor0
Room number208
Capacity60
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Session 1ECOOP Doctoral Symposium at Vertex WS208
09:00 - 09:10
Talk
Introduction
ECOOP Doctoral Symposium
09:10 - 09:30
Talk
Lightning talks
ECOOP Doctoral Symposium
09:30 - 10:00
Talk
Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software
ECOOP Doctoral Symposium
Daniel WelchClemson University
10:00 - 10:30
Talk
Enabling Modular Verification of Concurrent Programs
ECOOP Doctoral Symposium
11:00 - 12:30: Session 2ECOOP Doctoral Symposium at Vertex WS208
11:00 - 11:30
Talk
Invited Talk: The Story of WALA at Watson and Beyond
ECOOP Doctoral Symposium
Julian DolbyIBM Thomas J. Watson Research Center
11:30 - 12:00
Talk
Analysis and Verification of Rich Typestate Properties for Complex Programs
ECOOP Doctoral Symposium
12:00 - 12:30
Talk
Efficient Run-Times for Sound Gradual Typing
ECOOP Doctoral Symposium
13:30 - 15:00: Session 3ECOOP Doctoral Symposium at Vertex WS208
13:30 - 14:00
Talk
Invited Talk: What Lies Beyond a PhD
ECOOP Doctoral Symposium
Sarah NadiUniversity of Alberta
14:00 - 14:30
Talk
Verifiable, reusable, yet useful conditioning
ECOOP Doctoral Symposium
Praveen NarayananIndiana University, USA
14:30 - 15:00
Talk
Improving Warmup in Meta-Traced Virtual Machines
ECOOP Doctoral Symposium
Jasper SchulzKing's College London
15:30 - 17:50: Session 4ECOOP Doctoral Symposium at Vertex WS208
15:30 - 16:00
Talk
Compilation of Stream Programs for Heterogeneous Architectures
ECOOP Doctoral Symposium
16:00 - 16:30
Talk
Introspective Intrusion Detection for Popular Software Platforms
ECOOP Doctoral Symposium
16:30 - 17:00
Talk
Privacy-aware operator placement
ECOOP Doctoral Symposium
17:00 - 17:40
Talk
How to get your Ph.D. DONE
ECOOP Doctoral Symposium
Eric JulUniversity of Oslo
17:40 - 17:50
Talk
Round up by the academic panel
ECOOP Doctoral Symposium

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Morning SessionPMLDC at Vertex WS208
11:00 - 12:00
Talk
Edge Compute: The First 5000 Years
PMLDC
12:00 - 12:30
Talk
On the Design of Distributed Programming Models
PMLDC
Christopher MeiklejohnUniversité catholique de Louvain
File Attached
14:00 - 15:30: Afternoon SessionPMLDC at Vertex WS208
14:00 - 14:30
Talk
Monotonicity Types for Distributed Dataflow
PMLDC
Kevin Clancy, Heather MillerEcole Polytechnique Federale de Lausanne
File Attached
14:30 - 15:00
Talk
Multi-view data types for scalable concurrency in the multi-core era
PMLDC
Deepthi Devaki Akkoorath, José Brandão, Annette BieniusaTechnischen Universität Kaiserslautern, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached
15:00 - 15:30
Talk
The Single-Writer Principle in CRDT Composition
PMLDC
Vitor Enes, Paulo Sérgio Almeida, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached

Wed 21 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:15: OpeningLCTES at Vertex WS208
09:00 - 09:15
Day opening
Opening
LCTES
09:15 - 10:15: Keynote 1LCTES at Vertex WS208
Chair(s): Zili ShaoThe Hong Kong Polytechnic University
09:15 - 10:15
Talk
Static Analysis for Improving Software Performance, Safety and Security
LCTES
Jingling XueUNSW Australia
10:50 - 12:30: Session 1: Compiler Optimization for Embedded SystemsLCTES at Vertex WS208
Chair(s): Yi WangShenzhen University
10:50 - 11:15
Talk
AOT Vs. JIT: Impact of Profile Data on Code Quality
LCTES
April W. WadeUniversity of Kansas, Prasad KulkarniUniversity of Kansas, Michael JantzUniversity of Tennessee
11:15 - 11:40
Talk
Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
LCTES
Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Zheng WangLancaster University
11:40 - 12:05
Talk
Auto-Vectorization for Image Processing DSLs
LCTES
Oliver ReicheFriedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Christof Kobylko, Frank HannigFriedrich-Alexander University Erlangen-Nürnberg (FAU), Jürgen Teich
12:05 - 12:30
Talk
Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
LCTES
Sheng-Yu Fu, Ding-Yong HongInstitute of Information Science, Academia Sinica, Ping YuDepartment of Computer Science and Information Engineering, National Taiwan University, Jan-Jan WuInstitute of Information Science, Academia Sinica, Wei-Chung HsuDept. 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 ScholzUniversity of Sydney, Australia
15:30 - 15:55
Talk
Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
LCTES
Weiwen JiangChongqing University, Edwin ShaChongqing University, Qingfeng ZhugeChongqing University, China, Hailiang DongChongqing University, Xianzhang ChenChongqing University
15:55 - 16:20
Talk
Integrated IoT Programming with Selective Abstraction
LCTES
Gyeongmin LeePOSTECH, Seonyeong HeoPOSTECH, Bongjun KimPOSTECH, Jong KimPOSTECH, Hanjun KimPOSTECH
16:20 - 16:45
Talk
Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
LCTES
Min ZhangEast China Normal University, Yunhui Ying
16:45 - 17:10
Talk
Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
LCTES
Wenguang Zheng, Hui WuUniversity of New South Wales, Australia, Chuanyao NieThe University of New South Wales

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Keynote 2LCTES at Vertex WS208
Chair(s): Vijay NagarajanUniversity of Edinburgh, UK
09:00 - 10:00
Talk
Design versus Performance: From Giotto via the Embedded Machine to Selfie
LCTES
Christoph KirschUniversity of Salzburg
File Attached
10:30 - 12:10: Session 3: Non-Volatile Memory/Processor and RTOSLCTES at Vertex WS208
Chair(s): Hanjun KimPOSTECH
10:30 - 10:55
Talk
Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks
LCTES
Yi WangShenzhen University, Mingxu ZhangShenzhen University, Jing YangHarbin Institute of Technology
10:55 - 11:20
Talk
Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
LCTES
Xianzhong DingShandong University, Zhiyong ZhangShandong University, Zhiping JiaShandong University, Lei JuShandong University, Mengying ZhaoShandong University, Huawei HuangThe University of Aizu
11:20 - 11:45
Talk
A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
LCTES
Chen Pan, Mimi XieOklahoma State University, Yongpan LiuTsinghua University, Yanzhi WangSyracuse University, Jason XueCity University of Hong Kong, China, Yiran ChenUniversity of Pittsburgh, Jingtong HuOklahoma State University
11:45 - 12:10
Talk
OSEK-V: Application-Specific RTOS Instantiation in Hardware
LCTES
Christian Dietrich, Daniel LohmannFriedrich-Alexander-Universität, Germany

Fri 23 Jun
Times are displayed in 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 - 10:00
Other
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials
10:30 - 12:10: Graal: High Performance Compilation for Managed Languages (cont'd)PLDI Tutorials at Vertex WS208
10:30 - 12:10
Other
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS208

Wed 21 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change