Christine Hang

		College of Computer and Information Science Northeastern University 360 Huntington Ave, #202 WVH Boston, MA 02115
		Email: danhang@ccs.neu.edu Phone: (617) 373-3926 Office: 308 West Village H

I am a third-year PhD Student in the Programming Resaerch Laboratory at Northeastern University.

Research interests

I am interested in formal methods and domain-specific languages. Currently, I am working with Dr. Pete Manolios on applying decision procedures to the non-preemptive scheduling problem in single-processor systems.

Publications

Christine D. Hang, Ahmed Abdelmeged, Daniel Rinehart, and Karl J. Lieberherr. The Promise of Polynomial-based Local Search to Boost Boolean MAX-CSP Solvers. In Fourth International Workshop on Local Search Techniques in Constraint Satisfaction, CP2007, Providence, Rhode Island, September 2007. [pdf, slides(pdf)]

Software

Evergreen
A preprocessor for boosting MAX-SAT/MAX-CSP solvers.

Teaching

Instructor, CSU101 Computer Science and its Applications, Summer 2006
TA, ISU470 Information System Design and Development, Spring 2006
TA, CSU101 Computer Science and its Applications, Fall 2005

Service

Organizer, PhD Student Seminar, 2007-2008

Last updated April 28, 2008.