Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain

0 results

People (5 results)
Isil Dillig

Isil Dillig

… …

Jordi Cabot

Jordi Cabot

… …

Laurie Hendren

Laurie Hendren

… …

Events (21 results)

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

LCTES 2017 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 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 …

A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting

LCTES 2017 People: Chen Pan, Mimi Xie, Yongpan Liu, Yanzhi Wang, Jason Xue, Yiran Chen, Jingtong Hu

… unnecessary checkpointings or checkpointing failures. On the software side, not all tasks …

[Poster] Optimising Dynamic Binary Modification Across ARM Microarchitectures

LCTES 2017 People: Cosmin Gorgovan, Amanieu d'Antras, Mikel Luján

… , do not affect performance on all available systems and microarchitectures …

Attending Information (1 results)

Sponsoring

… plus

  • logo on all

  • Tracks (10 results)

    SOAP 2017

    … talks by leading members of the program analysis community, presentations of all … according to the two-column ACM proceedings format. Each reference must list all

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

  • Empirical studies and their reproduction, and confirmation

  • All … proceedings format, 9-point type, and may not exceed 10 pages (all inclusive). Word …. For Visa support letters, please send all requests to the Office of SIG Services …

    Deep Specifications in the Wild 2017

    … of formal-methods approaches, the presentations from our team will all be about …

    Homepage (9 results)

    PLMW 2017 Homepage

    … Programming Languages Mentoring Workshop@PLDI 2017 Welcome to the website of the Programming Languages Mentoring Workshop@PLDI 2017 conference. We are working hard to fill the website with all related information. Please check back soon! …

    ISMM 2017 Homepage

    … …

    LCTES 2017 Homepage

    … and their reproduction, and confirmation



    All accepted papers …