Christian J Bell

I study Programming Languages at Princeton University as a PhD Candidate under David Walker.

Research

---

My main research interests are in concurrency, parallelization, bisimulations, and verified compilers.

• Certifiably Sound Parallelizing Transformations Christian J. Bell To appear in Certified Programs and Proofs 2013 (Appendix)
• 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 studied 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.

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

Random Facts About Me

---

• Other Interests: Programming, Trombone, Skiing, Soccer, Drawing, Lilypond (music typesetter)...
• At the age of 4, I was fascinated with my family's VCR. One day it broke, and my mom when to a technitian to get it fixed. (VCRs were expensive back then.) Turns out I had stuck a hamburger in it to find out whether it would play.