Rust is a new systems programming language that promises to overcome the seemingly fundamental tradeoff between high-level safety guarantees and low-level control over …
Singularity is a research project in Microsoft Research that started with the question: what would a software platform look like if it was designed from scratch with the primary goal of …
C Lattner, V Adve - … on code generation and optimization, 2004 …, 2004 - ieeexplore.ieee.org
We describe LLVM (low level virtual machine), a compiler framework designed to support transparent, lifelong program analysis and transformation for arbitrary programs, by …
P Levis, S Madden, J Polastre, R Szewczyk… - Ambient …, 2005 - Springer
We present TinyOS, a flexible, application-specific operating system for sensor networks, which form a core component of ambient intelligence systems. Sensor networks consist of …
This article presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input …
We present nesC, a programming language for networked embedded systems that represent a new design space for application developers. An example of a networked …
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces …
D Engler, DY Chen, S Hallem, A Chou… - ACM SIGOPS Operating …, 2001 - dl.acm.org
A major obstacle to finding program errors in a real system is knowing what correctness rules the system must obey. These rules are often undocumented or specified in an ad hoc …
G Ammons, R Bodík, JR Larus - ACM Sigplan Notices, 2002 - dl.acm.org
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally …