Sam H. Noh, Sebastian Fischmeister, Jason Xue
Proceedings of the 16th Conference on Languages, Compilers, and Tools for Embedded Systems
LCTES, 2015.

@proceedings{LCTES-2015,
	acmid         = "2670529",
	address       = "Portland, Oregon, USA",
	editor        = "Sam H. Noh and Sebastian Fischmeister and Jason Xue",
	isbn          = "978-1-4503-3257-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th Conference on Languages, Compilers, and Tools for Embedded Systems}",
	year          = 2015,
}

Contents (14 items)

4 ×#analysis
3 ×#named
2 ×#architecture
2 ×#framework
2 ×#performance
2 ×#programming
2 ×#realtime
2 ×#verification

LCTES-2015-0001HL #analysis #kernel #realtime

Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems (CD, MH, DL), p. 10.

LCTES-2015-BairdGSWU #architecture #optimisation #pipes and filters

Optimizing Transfers of Control in the Static Pipeline Architecture (RB, PG, MS, DBW, GRU), p. 10.

LCTES-2015-BardizbanyanSWL #data access #performance #using

Improving Data Access Efficiency by Using Context-Aware Loads and Stores (AB, MS, DBW, PLE), p. 10.

LCTES-2015-BarijoughHKG #analysis #streaming #trade-off

Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications (KMB, MH, VK, SG), p. 10.

LCTES-2015-GhoshPR #alias #performance

Enabling Efficient Alias Speculation (SG, YP, AR), p. 10.

LCTES-2015-LinM #distributed #framework #named #programming #simulation #towards #verification

StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems (YL, SM), p. 10.

LCTES-2015-LiuJLT #compilation #fault #lightweight #named

Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.

LCTES-2015-LiuY #encryption #framework #in memory #memory management

Secure and Durable (SEDURA): An Integrated Encryption and Wear-leveling Framework for PCM-based Main Memory (CL, CY), p. 10.

LCTES-2015-ManilovFMA #platform

Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions (SM, BF, AM, CA), p. 10.

LCTES-2015-ProcterHGBA #design #hardware #implementation #semantics #verification

Semantics Driven Hardware Design, Implementation, and Verification with ReWire (AMP, WLH, IG, MB, GA), p. 10.

LCTES-2015-WoitheK #architecture #named #programming

TrilobiteG: A programming architecture for autonomous underwater vehicles (HCW, UK), p. 10.

LCTES-2015-ZhangK #abstract interpretation #analysis #persistent #precise

Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis (ZZ, XDK), p. 10.

LCTES-2015-ZhengW

WCET-Aware Dynamic D-cache Locking for A Single Task (WZ, HW), p. 10.

LCTES-2015-StilkerichLES #analysis #embedded #realtime

A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems (IS, CL, CE, MS), p. 11.