Last updated: July 2010
Charles E. Killian, Jr.
Department of Computer Science
Purdue University
305 N. University Street
West Lafayette, IN 47907-2107
Phone: 765-494-6014
E-mail: ckillian@cs.purdue.edu
Education
2004 - 2008
Ph.D. in Computer Science, University of California, San Diego, La Jolla, CA
Advisor: Dr. Amin Vahdat
2002 - 2004
M.S. Computer Science, Duke University, Durham, NC
Advisor: Dr. Amin Vahdat
1998 - 2002
B.S. Computer Science, B.S. Applied Math, N.C. State University, Raleigh, NC
Undergraduate Research Advisor: Dr. Carla Savage
Degrees with honors, graduated Summa Cum Laude, GPA: 3.890
Minor in Vocal Performance
Interests
Distributed systems, model checking, programming languages,
overlay networks, P2P networks, operating systems, network
security, resource management, discrete math, Venn diagrams,
Gray codes.
Recent work involves developing a compiler to eliminate tedious and
repetitive programming, reduce bugs, and add structure to
systems building enabling analyses.
Experience
2008 -
Assistant Professor. Purdue University, West Lafayette, IN
Research in reducing the barriers to building correct, high-performance distributed systems.
2002 - 2008
Graduate Research. Mace: Toolkit, language, and runtime for building robust, large-scale distributed systems.,
Research in reducing the barriers to building correct, high-performance distributed systems.
Summer 2004
Summer Internship. Microsoft Research, Redmond, WA
Systems and Networking, Singularity Project
Research in operating systems and resource management. Singularity is
a prototype research OS kernel built from managed code with goals of
revisiting how we would design the kernel if we were starting from
scratch with modern tools and compilers. I implemented a real-time CPU
scheduler and prepared the system for a broader resource management
framework.
2001 - 2004
Undergraduate Research. Venn Diagrams, Gray Codes and Combinatorial Structures,
Research in Venn diagrams, Gray codes and
combinatorial structures with
Dr. Carla Savage. Proved symmetric Venn
diagrams exist for all numbers 'n' of curves
where 'n' is prime. Additional work with
Frank Ruskey and
Mark Weston of
University of Victoria in finding half-simple
symmetric Venn diagrams.
Also proved properties of a new class of
Gray codes we are calling antipodal Gray codes.
2001 - 2003
Network Research Engineer. SITAR: Scalable Intrusion Tolerant Architecture for Distributed Services, RTP, NC
Advanced Networking Research, MCNC-RDI
Helped research and develop SITAR. Led the initial
prototyping effort, developed the communication architecture,
created a modular infrastructure.
Summer 2000
Network Analyst. AT&T Solutions, Durham, NC
Monitored Merrill Lynch's global network,
proactively isolating network problems and
errors. Wrote a client-server application and
graphical front-end to help monitor these
problems.
Spring 2000
Software Developer. Infopike, Raleigh, NC
Developed Jasmine Workbench-II
using visual C++. Workbench is a code editor
and database manager for the Jasmine database,
similar in style and utility to Microsoft's
Visual C++.
Teaching
Spring 2010
CS698/699: Individual Study, Purdue University
3 students. Hyojeong Lee (Malicious nodes), Salman Pervez (Machine learning enhanced debugging), and Karthik Swaminathan Nagaraj (Distributed social networks)
Spring 2010
CS50500: Distributed Systems, Purdue University
Fall 2009
Systems and Networking Seminar, Purdue University
Created as formal 1-credit course in Spring 2009. Involves about twenty graduate students.
Fall 2009
CS590/698: Individual Study, Purdue University
3 students. Anurag Singh (), Salman Pervez (Machine learning enhanced debugging), and Karthik Swaminathan Nagaraj (Program slicing in model checking)
Fall 2009
CS536: Data communications and Computer Networks, Purdue University
Spring 2009
CS698: Independent Study, Purdue University
4 students. Mike McFail (Data center middleware), Sunghwan Yoo (Distributed computing models), Salman Pervez (Machine learning enhanced debugging), and Karthik Swaminathan Nagaraj (Program slicing in model checking)
Spring 2009
CS536: Data communications and Computer Networks, Purdue University
Fall 2008
CS590N: Data Center Architecture, Purdue University
Graduate seminar covering recent papers in data center related topics.
Spring 2004
Teaching assistant for CPS214: Advanced Computer Networks and Distributed Systems, Duke University
Dr. Adolfo Rodriguez
Spring 2004
Teaching assistant for CPS216: Advanced Database Systems, Duke University
Dr. Jun Yang
Publications
Finding Latent Performance Bugs in Systems Implementations.
In proceedings of Eightteenth International Symposium on the Foundations of Software Engineering (FSE 2010). Santa Fe, NM.
(to appear)
7-11 November, 2010.
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.
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
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.)
Analysis of Techniques For Building Intrusion Tolerant Server Systems.
In proceedings of Military Communications Conference (MILCOM 2003). Oct 13-16, 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)
Posters
Distributed Social Networking.
Poster at 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009). Boston, MA. 22-24 April, 2009.
ONet: Persistent In-Network Data Structures.
Poster at 21st ACM Symposium on Operating System Principles (SOSP 2007). Stevenson, WA. 14-17 October, 2007.
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]
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]
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.
SITAR Demo: Scalable Intrusion Tolerant Architecture.
Poster at OASIS winter 2002 PI meeting. Hilton Head, SC. Poster and Demonstration. March 2002.
Invited Articles
Building Distributed Systems Using Mace.
In proceedings of IEEE Conference on Peer-to-Peer Computing (P2P 2009). September 2009. Demo and Extended Abstract (pages 91-92)
An Integrated Development Environment for Distributed Systems. SPIE Newsroom, 33(1). March, 2008.
Advising
Spring 2009 -
Karthik Swaminathan Nagaraj, PhD student, post Qual I
Distributed social networking
Spring 2009 -
Anurag Singh, MS student
Software engineering enhanced model checking
Summer 2009 -
Salman Pervez, PhD student, post Qual I
Machine learning and model checking
Fall 2009 -
Sunghwan Yoo, PhD student, post Qual I
Computing with Mace
Spring 2010 -
Hyojeong Lee, PhD student, pre Qual I
Automated analysis of malicious node behaviors
Awards received
- Departmental Nomination for the MSR Faculty Fellowship 2009-2010
- Dissertation of the Year Award for UCSD Computer Science 2007-2008
- Awarded Best Paper for MaceMC paper at NSDI 2007
- NCSU-PAMS College Graduating Senior Award for Research Excellence, Spring 2002
- Honorable Mention for the NSF Graduate Fellowship
- James B. Duke Graduate Fellowship
- COE Dean's Fellowship at NCSU
- Nominated for the College of Engineering Senior Award of Scholarly Achievement
- Phi Beta Kappa (liberal arts society) Phi Kappa Phi (general honors society) Upsilon Pi Epsilon (computer science honors society) Pi Mu Epsilon (math honors society) Phi Eta Sigma (freshman honors society)
- Honors Student of Computer Science and Math Departments
- AT&T Solutions Scholarship
- Howard A. Petrea Scholarship
Professional Activities
- Program committee: The 20th International ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC) 2011
- Program committee: 12th International Conference on Distributed Computing and Networking (ICDCN) 2011, distributed computing track
- External reviewer: Annual Conference of the ACM Special Interest Group on Data Communication (SIGCOMM) 2010
- Panelist: NSF Graduate Research Fellowship Program (GRFP) 2010, computer science 2
- Panelist: NSF Computing and Communication Foundations Panel (CCF) 2009
- External reviewer: The 17th IEEE International Conference on Network Protocols (ICNP) 2009
- Invited Talk: P2P 2009: Evaluation and Tools Session and Demo
- Program committee: 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI) 2010, committee member and poster chair
- Panelist: ASEE/DoD National Defense Science and Engineering Graduate Fellowship (NDSEG) 2009, computer and computational sciences track
- Program committee: International Conference on Distributed Computing Systems (ICDCS) 2009, operating systems and middleware track
- Member of the Association for Computing Machines (ACM)
- Member of the USENIX Advanced Computing Systems Association
Service
- Serving on student committees: Qual 2 (Chamikara Jayalath-2009, Pawan Prakash-2010, Aditi Gupta-2010, Sriharsha-2010) Advisory (Chamikara Jayalath-2010, Sahan Gamage-2008, Farhad Arshad-2008, Tanzima Islam-2009), Prelim (Ardalan Kangarlou-2009, Yu Tak Ma-2009)
- University Purdue Young Faculty Association co-chair (2009-2010)
- Department graduate admissions committee (2009-2010)
- Department graduate admissions committee (2008-2009)