MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks. - Adolfo Rodriguez; Charles Killian; Sooraj Bhat; Dejan Kostic; Amin Vahdat (NSDI, 2004)

Venn Diagrams and Symmetric Chain Decompositions in the Boolean Lattice. - Jerrold R. Griggs; Charles E. Killian; Carla D. Savage (Electron. J. Comb., 2004)

Half-Simple Symmetric Venn Diagrams. - Charles E. Killian; Frank Ruskey; Carla D. Savage; Mark Weston (Electron. J. Comb., 2004)

Antipodal Gray codes. - Charles E. Killian; Carla D. Savage (Discret. Math., 2004)

Brief announcement: the overlay network content distribution problem. - Chip Killian; Michael Vrable; Alex C. Snoeren; Amin Vahdat; Joseph Pasquale (PODC, 2005)

Experiences with Pip: finding unexpected behavior in distributed systems. - Patrick Reynolds; Janet L. Wiener; Jeffrey C. Mogul; Mehul A. Shah; Charles Killian; Amin Vahdat (SOSP, 2005)

Maintaining High-Bandwidth Under Dynamic Network Conditions. - Dejan Kostic; Ryan Braud; Charles Killian; Erik Vandekieft; James W. Anderson; Alex C. Snoeren; Amin Vahdat (USENIX ATC, General Track, 2005)

Pip: Detecting the Unexpected in Distributed Systems. - Patrick Reynolds; Charles Killian; Janet L. Wiener; Jeffrey C. Mogul; Mehul A. Shah; Amin Vahdat (NSDI, 2006)

Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper). - Charles Killian; James W. Anderson; Ranjit Jhala; Amin Vahdat (NSDI, 2007)

Mace: language support for building distributed systems. - Charles Killian; James W. Anderson; Ryan Braud; Ranjit Jhala; Amin Vahdat (PLDI, 2007)

High-bandwidth data dissemination for large-scale distributed systems. - Dejan Kostic; Alex C. Snoeren; Amin Vahdat; Ryan Braud; Charles Killian; James W. Anderson; Jeannie R. Albrecht; Adolfo Rodriguez; Erik Vandekieft (ACM Trans. Comput. Syst., 2008)

Live Debugging of Distributed Systems. - Darren Dao; Jeannie R. Albrecht; Charles Killian; Amin Vahdat (CC, 2009)

Building Distributed Systems Using Mace. - Charles Killian; James W. Anderson; Ryan Braud; Ranjit Jhala; Amin Vahdat (Peer-to-Peer Computing, 2009)

Finding latent performance bugs in systems implementations. - Charles Killian; Karthik Nagaraj; Salman Pervez; Ryan Braud; James W. Anderson; Ranjit Jhala (SIGSOFT FSE, 2010)

InContext: simple parallelism for distributed applications. - Sunghwan Yoo; Hyojeong Lee; Charles Killian; Milind Kulkarni 001 (HPDC, 2011)

Removing the blinders: Using information to mitigate adversaries in adaptive overlays. - David Zage; Charles Killian; Cristina Nita-Rotaru (NSS, 2011)

Hierarchy-aware distributed overlays in data centers using DC2. - Karthik Nagaraj; Hitesh Khandelwal; Charles Killian; Ramana Rao Kompella (COMSNETS, 2012)

Programming Model Support for Dependable, Elastic Cloud Applications. - Wei-Chiu Chuang; Bo Sang; Charles Killian; Milind Kulkarni 001 (HotDep, 2012)

Gatling: Automatic Attack Discovery in Large-Scale Distributed Systems. - Hyojeong Lee; Jeff Seibert; Charles Killian; Cristina Nita-Rotaru (NDSS, 2012)

Structured Comparative Analysis of Systems Logs to Diagnose Performance Problems. - Karthik Nagaraj; Charles Killian; Jennifer Neville (NSDI, 2012)

Composable Reliability for Asynchronous Systems. - Sunghwan Yoo; Charles Killian; Terence Kelly; Hyoun Kyu Cho; Steven Plite (USENIX ATC, 2012)

EventWave: programming model and runtime support for tightly-coupled elastic cloud applications. - Wei-Chiu Chuang; Bo Sang; Sunghwan Yoo; Rui Gu; Milind Kulkarni 001; Charles Killian (SoCC, 2013)

Adversarial testing of wireless routing implementations. - Md. Endadul Hoque; Hyojeong Lee; Rahul Potharaju; Charles E. Killian; Cristina Nita-Rotaru (WISEC, 2013)

Turret: A Platform for Automated Attack Finding in Unmodified Distributed System Implementations. - Hyojeong Lee; Jeff Seibert; Md. Endadul Hoque; Charles Killian; Cristina Nita-Rotaru (ICDCS, 2014)

Gatling: Automatic Performance Attack Discovery in Large-Scale Distributed Systems. - Hyojeong Lee; Jeff Seibert; Dylan Fistrovic; Charles Killian; Cristina Nita-Rotaru (ACM Trans. Inf. Syst. Secur., 2015)

Automated Adversarial Testing of Unmodified Wireless Routing Implementations. - Md. Endadul Hoque; Hyojeong Lee; Rahul Potharaju; Charles Killian; Cristina Nita-Rotaru (IEEE/ACM Trans. Netw., 2016)

Orion: Google's Software-Defined Networking Control Plane. - Andrew D. Ferguson; Steve D. Gribble; Chi-Yao Hong; Charles Killian; Waqar Mohsin; Henrik Mühe; Joon Ong; Leon Poutievski; Arjun Singh; Lorenzo Vicisano; Richard Alimi; Shawn Shuoshuo Chen; et al. (NSDI, 2021)