Ben Chambers
I'm a first year PhD student at Northeastern University's Programming Research Lab. My past work has focused primarily on control flow analyses in the style of Shivers' k-CFA. My interests are currently pretty general, although I am interested in type systems and compilers for functional programming languages.
I received my Bachelors of Computer Science from the Georgia Institute of Technology in 2007.
Matthew Might, Benjamin Chambers and Olin Shivers. Model Checking via ΓCFA. Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007). Nice, France. January, 2007. pages 59-73.
I'm doing research on SAT solvers, specifically into CNF conversion and optimization algorithms with Pete Manolios. I am taking CSG712: Intensive Computer Systems with Mitch Wand and CSG 272: Analysis of Software Artifacts with Olin Shivers.
I was a TA for CSU 211: Introduction to Programming and Computing this semester. I also took CSG 711: Intensive Principles of Programming Languages with Mitch Wand, and CSG 379: Decision Procedures for Verification with Pete Manolios.
College of Computer and Information Science
Northeastern University
360 Huntington Avenue
Boston, MA 02115
Email: (@ bjchamb (ccs neu edu))
Office: West Village H, Room 308