* David Larochelle

David Larochelle

Residence:

School:

Home:

         005 A West Range 

         Desk 229D, Olsson Hall 

         398 Parker Ave

         Charlottesville, VA 22903-3035 

         Department of Computer Science 

         Falls Church, VA 22046

         (804) 243-2387 

         (804) 982-2298 

         (703) 536-7518

E-mail: drl7x@virginia.edu

OBJECTIVE

To obtain a challenging summer internship.

EDUCATION

University of Virginia, Charlottesville, Virginia

Ph.D. candidate in Computer Science

M.S. in Computer Science expected May 2001

Thesis title: Methods for Statically Detecting Buffer Overflow Vulnerabilities

College of William and Mary, Williamsburg, Virginia

B.S. with majors in Computer Science and Economics, 1999

EXPERIENCE

University of Virginia, 5/00 - Present

Graduate Research Assistant

Supervisor: David Evans

Buffer overflows represent arguably the most important class of security vulnerability. I developed a tool to statically detect buffer overflow security vulnerabilities. My approach exploits information provided in semantic comments and uses lightweight and efficient static analyses. The resulting tool is about the speed of a compiler and is useful for analyzing real world programs.

University of Virginia, 8/99 - 5/00

Graduate Teaching Assistant

Supervisors: Kevin Sullivan, James Cohoon

Ran a 30-student lab for an introductory software-engineering course focusing on the development of rudimentary software engineering practices, graded tests, held office hours.

College of William & Mary, 6/98 - 8/98

Computer Science Department, conducted research as part of the UMSA program (Undergraduate Modeling Simulation and Analysis), funded by the National Science Foundation. Developed a system to model economic interaction using agents in an artificial society.

COURSE WORK

Theory of Computation, Programming Languages, Software Engineering, Operating Systems, Algorithms, Graphics, Formal Methods, Computer Architecture

ACTIVITIES AND AWARDS

Alpha Lambda Delta and Phi Eta Sigma honor societies

William & Mary Dean's list spring 1996

William & Mary Dean's list spring 1998

References available upon request