Automatic Sotware Bug Detection

• Rx: Treating Bugs As Allergies—A Safe
  Method to Survive Software Bugs, ACM SOSP 2005 (Qin, Tucek, Sundaresan, and Zhou)

• MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs, ACM SOSP 2007 (Lu, Park, Hu, Ma, Jiang, Li, Popa, Zhu)

• Tracking Down Software Bugs Using Automatic Anomaly Detection, ICSE 2002 (Hangal and Lam)

New Paradigms for building scalable distributed systems

• Sinfonia: a New Paradigm for Building Scalable Distributed Systems, ACM SOSP 2007 (Aguilera, Merchant, Shah, Veitch, and Karamanolis)

• Accountable Internet Protocol (AIP), ACM SIGCOMM 2008 (Andersen, Balakrishnan, Feamster, Koponen, Moon, and Shenker)

• MyNet: a Platform for Secure P2P Personal and
  Social Networking Services, PerCom 2008 (Kalofonos, Antoniou, Reynolds, Van-Kleek, Strauss, and Wisner)

• Persistent Personal Names for Globally Connected Mobile Devices, OSDI 2006 (Ford, Strauss, Lesniewski-Laas, Rhea, Kaashoek, and Morris)

Dependable Web Services

1. Load distribution among replicated Web servers: a QoS-based approach, ACM Sigmetrics 2000 (Conti, Gregori, and Panzieri)

Reliability in Nano-computing

1. Fault Tolerant Approaches to Nanoelectronic Programmable Logic Arrays, DSN 2007 (Rao, Orailoglu, and Karri)
2. Securing Designs against Scan-Based Side-Channel Attacks, IEEE TDSC, October 2007 (Lee, Tehranipoor, Patel, and Plusquellic).
3. Designing Resistant Circuits against Malicious Faults Injection Using Asynchronous Logic, IEEE ToC, September 2006 (Monnet, Renaudin, and Leveugle).
4. Asynchronous Circuits Sensitivity to Fault Injection, IEEE IOLTS 2004 (Monnet, Renaudin, and Leveugle).

1. Predicting failures of computer systems: a case study for a telecommunications system, IEEE IPDPS 2006 (Salfmer, Schieschke, and Malek)
2. Tiresias: Black-box failure prediction in distributed systems, IEEE IPDPS 2007 (Williams, Pertet, and Narasimhan)
3. BlueGene/L failure analysis and prediction models, DSN 2006 (Zhang, Jette, Sivasubramaniam, and Sahoo)
4. Predicting rare events in temporal domains, IEEE ICDM 2002 (Vilalta, and Sheng)

Apr 16
Apr 23

System Configuration and Security

1. A framework for the evaluation of intrusion detection systems, IEEE S&P 2006 (Cardenas, Baras, and Seamon)

Gaspar