Christian J Bell
c
@
b
e
.
l
l
.
@
.
prin
ce
@
ton
_
.
...
edu
CJ Bell
Computer Science Department
35 Olden Street
Princeton NJ, 08540
I study Programming Languages here at Princeton University as a PhD Candidate under David Walker.
Teaching
Princeton University
Programming Languages
Fall 2010
Programming Languages
Fall 2009
Operating Systems
Fall 2008
University of Washington
Software Engineering Capstone
Spring 2006
Software Engineering Capstone
Winter 2006
Intro to Compiler Construction
Fall 2005
Intro Programming I
Spring 2005
Research
I am currently working on proving parallelizing optimizations. Previously, I was looking into fault tolerance in a mechanized proof framework.
Concurrent Separation Logic for Pipelined Parallelization
Christian J. Bell, Andrew W. Appel, David Walker.
The 17th Annual Static Analysis Symposium. September 2010.
(
Appendix
)
Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks
C.J. Bell, Robert Dockins, Aquinas Hobor, Andrew W. Appel, David Walker.
To appear in the 2nd International Workshop on Proof-Carrying Code (PCC). June 2008.
I also researched brain-computer interfaces as an undergraduate at the University of Washington.
Control of a Humanoid Robot by a Noninvasive Brain-Computer Interface in Humans
C.J. Bell, P. Shenoy, R. Chalodhorn, R. Rao.
J Neural Eng 5 (2008), 214-220.