Charles E. Killian, Jr.
Department of Computer Science
Purdue University
305 N. University Street
West Lafayette, IN 47907-2107
Phone: 858.366.3407
E-mail: ckillian@cs.purdue.edu
Education
2004 - June 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 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
2000 - 2001
Undergraduate teaching assistant: Math Department, N.C. State University
Assisted with differential equations, taught maple labs.
Drs. Larry Norris and Ernie Burniston
1997 -
Red Cross Health and Safety Services Classes, Red Cross of North Carolina
Volunteer Red Cross instructor since 1997 in Lifeguarding,
CPR/AED for the Professional Rescurer, and Community First Aid and Safety.
Publications
High Bandwidth Data Dissemination for Large-scale Distributed Systems. ACM Transactions on Computer Systems.
(to appear)
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
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.
Awards received
- 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
- Dean's List
- Red Cross Exceptional Volunteer Award
- AT&T Solutions Scholarship
- Howard A. Petrea Scholarship
Community activities
Baritone Singer/Soloist at the UCSD Newman Center
Campus Ministry, and active in the Young Adult Group at
the UCSD Newman Center. Volunteer instructor for the
San Diego/Imperial County Red Cross,
teaching CPR and First Aid classes to the community.
References
Ranjit Jhala, Assistant Professor.
University of California, San Diego.
http://www.cs.ucsd.edu/~rjhala/
University of California, San Diego.
http://www.cs.ucsd.edu/~rjhala/
Alex Snoeren, Assistant Professor.
University of California, San Diego.
http://www.cs.ucsd.edu/~snoeren/
University of California, San Diego.
http://www.cs.ucsd.edu/~snoeren/