Engineer Computer Science

CHRISTOPHER C. FROST

abpyzc@r.postjobfree.com

http://www.frostnet.net/chris/

Education

University of California, Los Angeles

Ph.D. in Computer Science, 2010

Masters in Computer Science, 2006

Thesis: Improving File System Consistency and Durability with Patches and BPFS

Advisor: Eddie Kohler

GPA: 3.9

University of Virginia,

School of Engineering and Applied Science

Bachelor of Science in Computer Science, 2004

Bachelor of Arts in Mathematics, 2004

Thesis: Amorphous Shape Mapping

Advisor: David Evans

CS GPA: 3.9, Math GPA: 3.2, Overall GPA: 3.4

Software Engineer 2011-Present

Designing and developing distributed storage infrastructure.

Graduate Student Research

Assistant Fall 2004-2010

Lead or co-lead the BPFS, Featherstitch, and Libprefetch projects.

Contributor to the JPred project.

VMWARE, VMFS GROUP

MTS Intern with Jinyuan Li, Mayank Rawat,

and Murali Vilayannur Summer 2009

Designed and developed new distributed data movement capabilities

for VMFS ESX clusters to improve performance and load balancing.

Contributed to the design of new VMFS space saving technologies.

Intern with Ed

Nightingale and Jeremy Condit Summer 2008

Developed new file system consistency protocol design principles for

phase change memory that yield both significantly faster and safer

file systems than traditional consistency protocols.

Engineer

Intern Summer 2005

Designed and developed a declarative RPC representation to replace AdSense's

existing hand-coded RPC system. Extended internal AdSense RPC systems

to permit further automation of ad analysis.

APPIAN, TECHNOLOGY

Technology Intern Summer 2004

As a team with three other interns, developed the first two business

processes built on Appian Enterprise's BPM engine, from process

specification to deployment.

To implement our processes I developed Appian Enterprise's initial

process loop construct and initial process model migration tool;

both later supported the Army's Knowledge Online website, the

world's largest intranet.

MICROSOFT, WINCE CORE OS GROUP

Software Design Engineer

Intern Summer 2003

Co-designed and developed Windows CE's UPnP AV Framework, a

lightweight toolkit that simplifies UPnP AV DCP implementations.

Contributed to the Windows CE C++ STL implementation.

Engineer Intern (DoD Secret Clearance) Summers 2000 and 2001, Winter Breaks 2000-2001 and 2001-2002

Developed a joystick input option for the simulation architecture

JMASS, a graphical frontend that streamlined and further automated

geometrical testing of solid propellant missiles, a graphical

communication link analyzer that enabled engineers to assess flight

tests more quickly and thoroughly, software that helped determine

the feasibility of lower-frequency wind sampling for Tactical

Unmanned Air Vehicle testing.

Designed updates to the missile simulation system BADGER.

Ported Solaris and Irix programs to Solaris, Linux, and Cygwin.

SEAP Apprentice Summer 1999

Designed the target recognition training backend for the

directorate's memory-less target recognition system.

Research Experience

BPFS, MICROSOFT RESEARCH AND

UCLA

2008-2010

Designed file system software and cache hardware

for phase change memory to provide significantly

stronger reliability guarantees than existing file systems support.

Libprefetch, UCLA

2008-2010

Explored the performance properties of current disks and developed new

file system prefetching interfaces and techniques that dramatically

increase non-sequential disk read performance.

Featherstitch, UCLA

2005-2010

Developed new file system abstractions that allow applications

to manipulate stable storage more efficiently, safely, and easily.

Developed the patch disk change abstraction for file system implementations

and fast, scalable in-kernel graph analysis and manipulation algorithms.

JPred, UCLA

2005-2006

Devised the first modular and typesafe type system that permits dynamic

dispatch on object types in the face of multiple inheritance.

Amorphous Shape Mapping, UVA

2003-2004

Developed and analyzed a method of mapping shapes using an

amorphous computer, Undergraduate Thesis.

Cracker Barrel Game Complexity, UVA

Spring 2003

Proved a variant of the cracker barrel game to be NP-Complete.

Amorphous Shape Growing, MIT PROJECT ON MATHEMATICS AND

COMPUTATION

Summer 2002

Developed an amorphous shape forming method, exploring node layout via

cell growth and gradient exudation.

Teaching Assistant, Operating Systems (CS 111) Fall 2005,

Winter 2006, Spring 2006

Developed the synchronization lab and enhanced the course's existing

shell, file system, and event labs. Developed automated grading systems

for the course's lab.

Led weekly discussions and helped students during office hours and via email.

Assisted with midterm and final design. Authored and delivered one lecture.

Teaching

Assistant, Software Development Methods (CS 201) Fall 2001

Helped students during office hours, oversaw lab sections, and graded labs.

Publications

Journal Publications

[1]

Expressive and Modular Predicate Dispatch for Java. Millstein,

Frost, Ryder, and Warth. In Transactions on Programming Languages

and Systems (TOPLAS), February 2009 31(2)

Refereed Conference Publications

[2]

Spanner: Google's Globally-Distributed Database. Dean, Epstein,

Fikes, Frost, Furman, Ghemawat, Gubarev, Heiser, Hochschild, Hsieh,

Kanthak, Kogan, Li, Lloyd, Melnik, Mwaura, Nagle, Quinlan, Rao, Rolig,

Saito, Szymaniak, Taylor, Wang, and Woodford. In Proceedings of the 2012

USENIX Symposium on Operating Systems Design and Implementation (OSDI),

Hollywood, CA, October 2012 (Best paper.)

[3]

Better I/O Through Byte-Addressable, Persistent Memory. Condit,

Nightingale, Frost, Ipek, Burger, Lee, and Coetzee. In Proceedings

of the 22nd Symposium on Operating Systems Proceedings (SOSP), Big Sky,

MT, October 2009

[4]

Reducing Seek Overhead with Application-Directed

Prefetching. VanDeBogart, Frost, and Kohler. In Proceedings of the

2009 USENIX Annual Technical Conference (USENIX), San Diego, CA, June 2009

[5]

Generalized File System Dependencies. Frost, Mammarella, Kohler,

de los Reyes, Hovsepian, Matsuoka, and Zhang. In Proceedings

of the 21st Symposium on Operating Systems Proceedings (SOSP),

Stevenson, WA, October 2007 (Audience choice awardee.)

Refereed Workshop Publications

[6]

Modularly Typesafe Interface Dispatch in JPred. Frost and

Millstein. In Proceedings of the 2006 International Workshop on

Foundations and Developments of Object-Oriented Languages (FOOL/WOOD),

Charleston, SC, January 2006

[7]

The KudOS Architecture for File Systems. de los Reyes, Frost,

Kohler, Mammarella, and Zhang. In The Work in Progress Session at

the 20th Symposium on Operating Systems Principles (SOSP), Brighton,

UK, October 2005

Theses

[8]

Improving File System Consistency and Durability with Patches and BPFS.

Ph.D. Dissertation, University of California, Los Angeles, November 2010.

[9]

Amorphous Shape Mapping.

Undergraduate Thesis, University of Virginia, May 2004.

Newsletters

[10]

Pancakes, Puzzles, and Polynomials: Cracking the Cracker

Barrel. Frost, Peck, Evans. In The Special Interest Group on Algorithms

and Computation Theory (SIGACT) News, Volume 35, Number 1, March 2004

Technical Reports

[11]

Featherweight JPred. Frost and Millstein. Technical Report

CSD-TR-050038, UCLA Computer Science Department, October 2005

[12]

Pancakes, Puzzles, and Polynomials: Cracking the Cracker

Barrel. Frost, Peck, Evans. Technical Report CS-2004-04, UVa Computer

Science, March 2004

Patents

[13]

Method and System for Parallelizing Data Copy in a Distributed File System. VMware. Filed May 2011.

[14]

Hardware and Operating Systems Support for Persistent Memory On A Memory Bus. Microsoft. Filed July 2009.

Talks

``Better I/O Through Byte-Addressable, Persistent

Memory'', conference talk at SOSP, October 2009

``Generalized File System Dependencies'', conference talk at

SOSP, October 2007

``Modularly Typesafe Interface Dispatch in JPred'', workshop

talk at FOOL/WOOD, January 2006

``Cracking the Cracker Barrel Game'', at UVa's Undergraduate Research

and Design Symposium, Spring 2003

``The Intersection of Two Planes is a Line'', invited, but declined,

to talk at the Mathematics Association of America, 2003 Meeting

``Shape Formation Through Cell Growth and Gradient Exudation'',

at MIT AI Lab, Summer 2002 and UVa CS, Fall 2002.

``Software Development Tools'', at UVa ACM-Microsoft User Group

Tech Talk, Fall 2003

Open Source Software

Scord Reduce the disk space used by a subversion working

copy.

http://scord.sf.net/

Mswatch Efficiently keeps two IMAP mailstores in sync.

http://mswatch.sf.net/

BPFS File system for phase change memory.

http://bpfs.cs.ucla.edu/

Featherstitch Patch-based storage system.

http://featherstitch.cs.ucla.edu/

Libprefetch Faster nonsequential file access.

http://libprefetch.cs.ucla.edu/

JPred Compiler for practical predicate dispatch for Java.

http://www.cs.ucla.edu/todd/research/jpred.html

Computing Experience

Operating Systems

Unix (with os-specific knowledge in Linux, ESX, Irix, and Cygwin),

Windows and WindowsCE, NewtonOS, and JOS

Programming Languages

Proficient: C, C++, Java

Working Knowledge: Bash, Python, Perl, x86, OCaml, Common LISP, Cg, VHDL,

Lightning, Matlab, SQL, and LATEX

Awards

OSDI best paper, 2012

SOSP audience choice, 2007

UCLA Computer Science Departmental Fellowship, 2004-2006

Placed 1st at UCLA ACM's

and

Programming Competitions, November 2004, February 2005

Microsoft ``Shipped'' Award for Windows CE's UPnP Audio/Video Framework, Windows CE 5.0, July 2004

Placed 11th, 11th, and 20th of 150 teams at

ACM's Mid-Atlantic Programming Contest, Fall 2001, 2002, 2003

Member of UVa's team at ACM's 2003 World Finals, the top 70 of

the 24,000 teams world wide,

Spring 2003

Placed 6th out of 146 teams at COMAP's International

Interdisciplinary Contest in Modeling (MCM),

Spring 2003

Winner of the annual CS 340 Robot Games, Spring 2002

``Most Outrageous Project'' in CS 333, a JIT for the BF

language, Fall 2001

Placed 1st in Computer Science among Redstone Arsenal SEAP

participants and in the top six at nationals among all SEAP

participants for Implementation of a Relational Database

as an Aid to Automatic Target Recognition, 1999

Eagle Scout, 1998

Activities

UCLA chapter of the Association for Computing Machinery, Graduate Liaison, 2006-Spring 2009

UVa chapter of the

Association for Computing Machinery, Vice-Chair 2003,

Secretary 2001 and 2002

Honor Educator, 2001-2004

Founding member of UVa's

Student Pugwash chapter, 2002-2004

Engineering School Fourth Year Board Member,

2003-2004

Theta Tau,

a national, professional, coeducational engineering fraternity,

2000-2004

UVa Engineering Student Council, EWeek Co-chair

Spring 2002,

Co-First Year Representative 1st Year

Linux Users of North Alabama (LUNA), 1997-2000

Founding member, original author of the LUNA FAQ, and installfest

organizer

Amateur Radio Operator (Technician), 1993-Present

Contact this candidate