My Picture

Hello and Welcome! My name is Christian DeLozier (del - oh - zure). I am a seventh year PhD student in the Architecture and Compilers Group at the University of Pennsylvania advised by Joe Devietti. In the coming year, I will be looking for tenure-track, teaching-focused positions.

Research

I am interested in compilers, programming languages, computer architecture, concurrency, security, and software engineering.

My current research focuses on automatically providing atomicity for parallel programs. I have also done research on providing efficient and usable techniques for enforcing memory safety in programming languages.

During the summer of 2013, I interned at Qualcomm Research Silicon Valley under the direction of Pablo Montesinos Ortego and Calin Cascaval.

Publications

MAMA: Mostly Automatic Management of Atomicity.
Christian DeLozier, Joseph Devietti, and Milo Martin.
WoDet, March 2014. (pdf)

Ironclad C++: A Library-Augmented Type-Safe Subset of C++.
Christian DeLozier, Richard Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, and Steve Zdancewic.
OOPSLA, October 2013. (pdf) (github)

Ironclad C++: A Library-Augmented Type-Safe Subset of C++.
Christian DeLozier, Richard Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, and Steve Zdancewic.
CIS Technical Report #MS-CIS-13-05. 28 Mar 2013. (pdf)

Teaching

I taught CIS 190: C++ Programming during the Fall 2015 and Spring 2015 semesters. The code and lecture notes for the course can be found on my github

I was a Teaching Assistant for CIS 501 (Computer Architecture) in the Fall of 2011 and for CIS 371 (Computer Organization and Design) in the Spring of 2012.

Course Work

I completed my Written Preliminary Exam II in the spring of 2013 on the topic of Low Pause-Time Garbage Collection.