LCTES'15- Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM

Full Citation in the ACM Digital Library

Optimizing Transfers of Control in the Static Pipeline Architecture

Clover: Compiler Directed Lightweight Soft Error Resilience

Improving Data Access Efficiency by Using Context-Aware Loads and Stores

A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems

Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions

Cross-Kernel Control-Flow--Graph Analysis for Event-Driven Real-Time Systems

Enabling Efficient Alias Speculation

WCET-Aware Dynamic D-cache Locking for A Single Task

StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems

Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis

Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications

Secure and Durable (SEDURA): An Integrated Encryption and Wear-leveling Framework for PCM-based Main Memory

Semantics Driven Hardware Design, Implementation, and Verification with ReWire

TrilobiteG: A programming architecture for autonomous underwater vehicles