Declarative Tracepoints: A Programmable and Application Independent Debugging System for Wireless Sensor Networks. Qing Cao, Tarek Abdelzaher, John Stankovic, Kamin Whitehouse, and Liqian Luo. SenSys 2008.
Dataflow analysis for concurrent programs using datarace detection. Ravi Chugh, Jan W. Voung, Ranjit Jhala, and Sorin Lerner. PLDI 2008.
Certifying low-level programs with hardware interrupts and preemptive threads. Xinyu Feng, Zhong Shao, Yuan Dong, and Yu Guo. PLDI 2008.
Code Injection Attacks on Harvard-Architecture Devices. Aurelien Francillon and Claude Castelluccia. CCS 2008.
Towards self-propagate mal-packets in sensor networks. Qijun Gu and Rizwan Noorani. WiSec 2008.
Deriving State Machines from TinyOS Programs Using Symbolic Execution. Nupur Kothari, Todd Millstein, and Ramesh Govindan. IPSN 2008.
Modeling and Verifying Embedded Operating Systems. Raphael Mack. ETH Master's Thesis.
No bit left behind: the limits of heap data compression. Jennifer B. Sartor, Martin Hirzel, and Kathryn S. McKinley. ISMM 2008.
Attacks and Defenses of Ubiquitous Sensor Networks. S. Shankar Sastry and Tanya Gazelle Roosta. UCB/EECS-2008-58.
The System Development Lifecycle - Learning from a Sensornet Review. Matthias Woehrle, Jan Beutel, and Lothar Thiele. TIK Report 283.
Improving sensor network immunity under worm attacks: a software diversity approach. Yi Yang, Sencun Zhu, and Guohong Cao. MobiHoc 2008.
Harbor: software-based memory protection for sensor nodes. Ram Kumar, Eddie Kohler, and Mani Srivastava. IPSN 2007.
Software Analysis For Wireless Sensor Networks. Roy Shea. UCLA PhD Dissertation proposal.
Vertical object layout and compression for fixed heaps. Ben L. Titzer and Jens Palsberg. CASES 2007.
Taxonomy of Security Attacks in Sensor Networks and Countermeasures. Tanya Roosta, Shiuhpyng Shieh, and Shankar Sastry.