About MeI grew up in the mountains of NC, in Asheville. In 1998 I graduated from the North Carolina School of Science and Mathematics, in Durham, NC. I then did my undergraduate work at NC State University, where I received Bachelors of Science in Computer Science and Applied Math working under Dr. Carla Savage, and a Minor in Music with an emphasis in Vocal Performance. In May of 2004 I completed a Master of Science in Computer Science at Duke University with Dr. Amin Vahdat. Since then I have continued my PhD work with Dr. Amin Vahdat at the University of California, San Diego, Department of Computer Science, in Systems and Networking. When I'm not working on research, I volunteer as a CPR/First Aid instructor for the Red Cross, sing in local groups, and spend time with my wife Kristina.
(Chip) Charles E. Killian, Jr.
Fifth-Year PhD Student
Office: EBU3B 3146
ResearchMace: My present research is in tools to help develop and test distributed systems. We have developed Mace, a C++ language extension for building distributed systems, and a model checker to test liveness properties of systems built in Mace. We have also built a variety of systems using Mace, including file transfer (like BitTorrent), DHT, directory synchronization, streaming multicast, and network coding.
Other NotablesPrior to my work in distributed systems, I did work in the areas of Gray codes and Venn diagrams. Together with Dr. Carla Savage, I proved the existance of symmetric Venn diagrams for all prime numbers of curves. The basis of the proof is a necklace approach to constructing an embedding of the boolean lattice, and then taking its dual. The work appeared in the Electronic Journal of Combinatorics, and was featured in December 2006 issue of the Notices of the AMS.
Adversarial Testing of Wireless Routing Implementations. In proceedings of 6th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2013). Budapest, Hungary. Short paper. (to appear) 17-19 April, 2013.
Programming Model Support for Dependable, Elastic Cloud Applications. In proceedings of Eigth Workshop on Hot Topics in System Dependability (HotDep 2012). Hollywood, CA. Colocated with OSDI 2012. 7 October, 2012.
Composable Reliability for Asynchronous Systems. In proceedings of 2012 USENIX Annual Technical Conference (USENIX ATC '12). Boston, MA. 13-15 June, 2012.
Structured Comparative Analysis of Systems Logs to Diagnose Performance Problems. In proceedings of 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12). San Jose, CA. 25-27 April, 2012.
Gatling: Automatic Attack Discovery in Large-Scale Distributed Systems. In proceedings of 19th Annual Network & Distributed System Security Symposium (NDSS 2012). San Diego, CA. 5-8 February, 2012.
Distributed Algorithms in Structured, Event-Driven Languages. In proceedings of Workshop on Languages for Distributed Algorithms (LADA 2012). Philadelphia, PA. 23-24 January, 2012.
Hierarcy-Aware Distributed Overlays in Data Centers using DC2. In proceedings of Fourth International Conference on COMmunication Systems and NETworkS (COMSNETS 2012). Bangalore, India. 3-7 January, 2012.
Tracking Behavioral Changes in Distributed Systems using Distalyzer. Poster at 23rd ACM Symposium on Operating System Principles (SOSP 2011). Cascais, Portugal. In addition to being refereed, SOSP 2011 posters are shepherded and a 2-page abstract published on the SOSP website. 23-26 October, 2011.
Removing the Blinders: Using Information to Mitigate Adversaries in Adaptive Overlays. In proceedings of 5th International Conference on Network and System Security (NSS 2011). Milan, Italy. 6-8 September, 2011.
InContext: Simple Parallelism for Distributed Applications. In proceedings of 20th International ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC 2011). San Jose, CA. 8-11 June, 2011.
Finding Latent Performance Bugs in Systems Implementations. In proceedings of Eightteenth International Symposium on the Foundations of Software Engineering (FSE 2010). Santa Fe, NM. 7-11 November, 2010.
DC2: Scalable Distributed Communication Middleware for the Cloud. Poster at 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2010). San Jose, CA. 28-30 April, 2010.
Distributed Social Networking. Poster at 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009). Boston, MA. 22-24 April, 2009.
Live Debugging of Distributed Systems. In proceedings of International Conference on Compiler Construction (CC 2009). March, 2009. [ PDF ]
High Bandwidth Data Dissemination for Large-scale Distributed Systems. ACM Transactions on Computer Systems, 26(1). 2008.
ONet: Persistent In-Network Data Structures. Poster at 21st ACM Symposium on Operating System Principles (SOSP 2007). Stevenson, WA. 14-17 October, 2007.
Mace: Language Support for Building Distributed Systems. In proceedings of Programming Languages Design and Implementation (PLDI 2007). June 2007. [ PDF ]
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In proceedings of Networked Systems Design and Implementation (NSDI 2007). April 2007. [ PDF ] Awarded Best Paper
MaceMC: Checking for Liveness Bugs in Distributed Systems. Poster at 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2006). Seattle, WA. 7 November, 2006. [PDF]
Pip: Detecting the Unexpected in Distributed Systems. In proceedings of Networked Systems Design and Implementation (NSDI 2006). May 2006.
Maintaining High-bandwidth under Dynamic Network Conditions. In proceedings of USENIX Annual Technical Conference (USENIX 2005). April 2005. [ PDF ]
MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks. In proceedings of USENIX/ACM Symposium on Networked Systems Design and Implementation (NSDI 2004). March 2004. [ PS (Talk slides available upon request) ]
Venn diagrams and symmetric chain decompositions in the Boolean Lattice. Electronic Journal of Combinatorics. Volume 11, January 2, 2004. [ PS PDF ] (An article about this result appeared in Science, Vol. 299, January 31, 2003 and it was the subject of a front page article in the January 2004 issue of SIAM News. Additionally, this work was featured in the December 2006 issue of the Notices of the AMS.)
MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks. Poster at 19th ACM Symposium on Operating System Principles (SOSP 2003). Lake George, NY. October, 2003. [PDF]
Analysis of Techniques For Building Intrusion Tolerant Server Systems. In proceedings of Military Communications Conference (MILCOM 2003). Oct 13-16, 2003.
SITAR Final Demo: Scalable Intrusion Tolerant Architecture. Poster at 3rd Annual DARPA Information Survivability Conference and Exposition (DISCEX III). Washington, D.C.. Poster and Demonstration. April 22-24, 2003.
Design and Implementation of SITAR Architecture: A Status Report. In proceedings of Intrusion Tolerant System Workshop, Supplemental Volume on 2002 International Conference on Dependable System & Networks (DSN 2002). Washington D.C.. June 22-26, 2002. (unrefereed)
SITAR Demo: Scalable Intrusion Tolerant Architecture. Poster at OASIS winter 2002 PI meeting. Hilton Head, SC. Poster and Demonstration. March 2002.
Talks and Posterserror