Write a Blog >>
LCTES 2017
Wed 21 - Thu 22 June 2017 Barcelona, Spain
co-located with PLDI 2017

0 results

People (6 results)
Işil Dillig

Işil Dillig

UT Austin

… Isil Dillig is an assistant professor of computer science at UT Austin. She obtained all her degrees (BS, MS, PhD) in computer science from Stanford University. Prior to joining UT Austin, she was a researcher at Microsoft Research …

Jordi Cabot

Jordi Cabot


… the rigorous use of software models and engineering principles in all software …

Laurie Hendren

Laurie Hendren

McGill University, Canada

… pieces back them so that all compiler groups can benefit from the work. …

Events (8 results)

Accepted posters and posters for all the accepted papers will be presented in this session

LCTES 2017 When: Wed 21 Jun 2017 14:00 - 15:00

… …

Static Analysis for Improving Software Performance, Safety and Security

LCTES 2017 When: Wed 21 Jun 2017 09:15 - 10:15 People: Jingling Xue

… Static program analysis is increasingly recognized as a fundamental tool for compiler optimization, bug detection and security analysis (among others). Pointer analysis is the foundation, on which virtually all other analyses are based …

Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems

LCTES 2017 When: Wed 21 Jun 2017 16:45 - 17:10 People: Wenguang Zheng, Hui Wu, Chuanyao Nie

… of all the tasks scheduled on each core into a DAG by considering … allocator converts the interference graph of all the tasks into a DAG by using a k … task. Both cache allocators significantly improve the utilization of all

OSEK-V: Application-Specific RTOS Instantiation in Hardware

LCTES 2017 When: Thu 22 Jun 2017 11:45 - 12:10 People: Christian Dietrich, Daniel Lohmann

… The employment of a real-time operating system (RTOS) in an embedded control systems is often an all-or-nothing decision: While the RTOS-abstractions provide for easier software composition and development, the price in terms of event …

Tracks (1 results)

- The 18th Annual ACM SIGPLAN / SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems

All accepted papers will appear in the published proceedings. We … be in ACM proceedings format, 9-point type, and may not exceed 10 pages (all … participants. For Visa support letters, please send all requests to the Office of SIG …

General (1 results)

LCTES 2017 Homepage

… and their reproduction, and confirmation

All accepted papers …