Christian J Bell

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.