LEA D. F. WITTIE

Phone: (570) 577-1932Address:
Fax: (570) 577-1258Dana Engineering
Email: lwittie at bucknell dot eduBucknell University
Web: http://www.eg.bucknell.edu/~lwittie/Lewisburg, PA 17837
(mostly) Last updated Nov 2021

Education

PhD
Dartmouth College, Computer Science, 2004.
Area of Specialty: Programming Languages
B.A.
Grinnell College, Computer Science, 1998.

Experience

Associate Professor Dept. of Computer Science, Bucknell University, 2011-present
Assistant Professor Dept. of Computer Science, Bucknell University, 2004-2011

Publications

Journal Articles (Peer-Reviewed)
J1: Type-safe Concurrent Resource Sharing Lea Wittie and Jonathan Lockhart. Concurrency and Computation: Practice & Experience. [39 pages, Vol 23, Issue 8, start page 767, May 2 2011]

Conferences and Workshops (Peer-Reviewed)
C5: Lea Wittie, James Bennett, Carly Merrill, Jove Graham, and Troy Schwab. Bias in First-Year Engineering Student Peer Evaluations ASEE 2021
C4: Lea Wittie, Anastasia Kurdia, and Meriel Huggard. Developing a Concept Inventory for Computer Science 2. Frontiers in Education Conference (FIE), October 18-21, 2017.
C3: Lea Wittie, Chris Hawblitzel, Derrin Pierret. Generating a Statically-Checkable Device Driver I/O Interface in Automatic Program Generation for Embedded Systems (APGES), October 2007
C2: Hawblitzel, Chris; Huang, Heng; Wittie, Lea; Chen, Juan. A Garbage-Collecting Typed Assembly Language in Types in Language Design and Implementation (TLDI), January 2007
C1: Hawblitzel, Chris; Wei, Edward; Huang, Heng; Krupski, Erik; Wittie, Lea. Low-Level Linear Memory Management in Semantics, Program Analysis, and Computing Enviroments for Memory Management (SPACE), January 2004.

Abstracts (Peer-Reviewed)
A3: Margaret Ellis, Thomas Bressoud and Lea Wittie. I’ve taken a first CS class and liked it! What’s next?, ACM Technical Symposium on Computer Science Education (SIGCSE), March 11-15, 2020, Portland. Birds of a Feather session, Run by Margaret Ellis, Thomas Bressoud and Lea Wittie. Note: BoF was cancelled due to Covid Pandemic
A2: Lea Wittie, Anastasia Kurdia, and Meriel Huggard. Recruiting Experts: Toward a Concept Inventory for Computer Science. ACM Technical Symposium on Computer Science Education (SIGCSE). February 21-24, 2018, Maryland. Lightning talk
A1: Lea Wittie, Chris Hawblitzel, Derrin Pierret Laddie: Language for Automated Device Drivers, at New England Programming Languages and Systems (NEPLS) Symposium Series, Tufts University, April 2007.

Grants
G2: Ciffolillo Healthcare Technology Inventors Program, 2019
G1: Ciffolillo Healthcare Technology Inventors Program, 2018

Technical Reports (unrefereed)
T6: Lea Wittie Laddie: Language for Automated Device Drivers. In Bucknell Technical Report #08-2.
T5: Lea Wittie Clay User's Guide. In Bucknell Technical Report #08-1.
T4: Chris Hawblitzel, Heng Huang, Lea Wittie, and Juan Chen. A Garbage-Collecting Typed Assembly Language. In Microsoft Technical Report TR-2006-169.
T3: Wittie, Lea. Type-Safe Operating System Abstractions, Ph.D. Thesis. In Dartmouth Technical Report TR2004-526.
T2: Hawblitzel, Chris; Huang, Heng; Wittie, Lea. Composing a well-typed region. In Dartmouth Technical Report TR2004-521.
T1: Huang, Heng; Wittie, Lea; Hawblitzel, Chris. Formal Properties of Linear Memory Types, Dartmouth Technical Report TR2003-468, August 2003.

Presentations
P5: Generating a Statically-Checkable Device Driver I/O Interface, at Automatic Program Generation for Embedded Systems (APGES) 2007.
P4: Laddie: Language for Automated Device Drivers, Programming Languages Seminar, Harvard University, May 2007.
P3: Laddie: Language for Automated Device Drivers, Poster at Computing Research Association - Women (CRA-W), Programming Languages workshop, Austin TX, May 2007.
P2: Type-Safe Operating System Abstractions. Thesis Defense, Dartmouth College, Hanover NH, June 2004.
P1: Aspirin for the Debugging Headache. Invited talk. Computer Science Department, Grinnell College, Grinnell IA, March 2001.

Teaching

ENGR 100 Introduction to Engineering
CSCI 203
CSCI 203 Lab
CSCI 204
CSCI 204 Lab
CSCI 308 Programming Language Design
CSCI 308 Lab
CSCI 331 Compiler Optimization

Professional Development Activities
ACM Technical Symposium on Computer Science Education (SIGCSE) 2020
Workshop on Leading Conversations about Microaggressions, Bias, and Other Difficult
Topics at SIGCSE 2020
Engineering Unleashed Card Workshop, Bucknell 2019
ACM Technical Symposium on Computer Science Education (SIGCSE) 2019
Workshop on Transform Your Computer Science Course with Specifications Grading at SIGCSE 2019
Workshop on Competency-Based Education: The Future of Learning at SIGCSE 2019
ACM Technical Symposium on Computer Science Education (SIGCSE) 2018
Frontiers in Education Conference (FIE) 2017
CSAB Computing Accreditation Workshop 2017
Bucknell Faculty Learning Series, weekly, 2014-present

Service

Department
Departmental Review Committee Member
Tenure-Track Search Committee Member
VAP Search Committee Member
VAP Search Committee Chair
ABET Coordinator, 2014-2018
Library Representative, 2008-2009.
Faculty Advisor to the Bucknell ACM Chapter Fall 2004, Spring 2005, Fall 2006, Fall 2007, Spring 2008.
Academic Advisor to the class of 2007 B.S. and B.A. CS majors, class of 2011 CS & Engineering majors
Computer Science Faculty Search Committee, Fall 2006.

College of Engineering
ENGR 100 Coordinator, 2017-2020
Working Group for an Inclusive Engineering Community, 2019-2020
Civil & Environmental Engineering, VAP Search Committee, 2018
Engineering Computing Committee, 2007-2008.
Engineering Instructional Facilities Committee, Fall 2006, 2008-2009.
Engineering Curriculum Committee, 2005-2006.

College of Arts & Science
Summer Academic Counselor (SAC), Computer Science, 2021

University
Academic Responsibility Board of Review, 2005-?, chair/co-chair 2017-2021
Bucknell Community College Scholars Program (BCCSP) mentor, 2018-2019

Field of Computer Science
Reviewer for SIGCSE TS 2022 Nifty Assignments Track
Reviewer for SIGCSE TS 2022 Computing Education Research Track
Reviewer for SIGCSE TS 2021 Computing Education Research Track
Reviewer for ASEE 2021
Judge for Ada Lovelace Awards 2017
Reviewer for EWAD-2015 (Enterprise Web Application Dependability) 2015

Professional Activities

Membership in Professional Societies
  • Member of the Association for Computing Machinery (ACM).

    Professional Development Workshops Attended
  • CRA-Women in Programming Languages, Conference, Austin TX, May 2007.
  • Faculty Learning Series, Bucknell University. Spring 2005, 2006, 2008.
  • Workshop on the Teaching of Writing, Bucknell University. August 2004.

    Reviewer
  • International Conference on Functional Programming (ICFP) 2007.

    Undergraduate research projects advised
  • more students pending - senior thesis students, Geisinger project students
  • Robert Walker, Translating C structs to Clay, Fall 2008
  • Jon Lockhart, Timing tests in Linux kernel applications, Spring 2008, Fall 2008
  • Andrew Caniff, Translating C structs to Clay, Spring 2008
  • Derrin Pierret, Generating a Statically-Checkable Device Driver I/O Interface, Summer 2006
  • Giang Hoang, Translating NesC to DML and C++, Summer 2005

    Selected Press


    Bucknell Convocation Speech, President Bravman, 2018
    HTIP grant for Get 2 Goal project with Jason Kang '21 and Geisinger, 2018
    Faculty Stories, 2011