Bin Xin

146 Arnold Drive
Apt 16
West Lafayette, IN 47906

(765) 496-4694 (h)
xinb@cs.purdue.edu
http://www.cs.purdue.edu/~xinb

Objective:
A summer internship working on programming languages and software engi-
neering; Available from May 2007 through August 2007.

Research Interests: 
Interested in designing and evaluating techniques and language tools
supporting the development of reliable, efficient, modular and
extensible software systems.  Programming languages and runtime for 
distributed, parallel and concurrent programming.

Education:
Purdue University, West Lafayette, Indiana, Dec 2008 (expected)
Ph. D., Computer Science Department
Advisor: Xiangyu Zhang, Jan Vitek

University of Utah, Salt Lake City, Utah, Dec 2004
Master of Science, School of Computing
Cumulative GPA: 3.9

Fudan University, Shanghai, China, Jun 2001
Bachelor of Science, Computer Science Department
Major GPA: 3.73 (1st/150+) 

Related Coursework:
Programming Languages and Semantics, Compiler, Operating System, 
Software Engineering, Algorithm Design and Analysis, Formal Methods, 
Advanced Computer Architecture, Distributed Operating System, 
Advanced Networking, Information Security

Papers:
Bin Xin and William N. Sumner and Xiangyu Zhang, Efficient Program Execution
Indexing, ACM Conference on Programming Language Design and Implementation
(PLDI), June, 2008.

Bin Xin and Xiangyu Zhang, Efficient Online Detection of Dynamic Control
Dependence, International Symposium on Software Testing and Analysis 
(ISSTA), July 2007.

Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek
Prochazka, Bin Xin and Jan Vitek, Preemptible Atomic Regions for
Real-time Java, IEEE Real-Time Systems Symposium (RTSS), December
2005.

Roland Kempter, Bin Xin, Sneha Kumar Kasera, Towards a Composable
Transport Protocol: TCP without Congestion Control, Poster Session,
SIGCOMM, August 2004.

Bin Xin, Sean McDirmid, Eric Eide, and Wilson C. Hsieh, A Comparison of
Jiazzi and AspectJ for Feature-wise Decomposition, Technical Report
UUCS-04-001, University of Utah, March 2004.

Academic Experience:
Purdue University, West Lafayette, Indiana

Research Assistant May, 2007 --- current
Working on dynamic program analysis projects; in particular, on how program
dependence graphs, dynamic slicing, and execution indexing can be employed to
aid in profiling, debugging/verification and program understanding.

Teaching Assistant January, 2007 --- May, 2007 
Lab instructor for undergraduate course, Programming in C, with a class size of
80-plus.

Research Assistant, May 2005 --- December 2006
Working on project Cluster X10: X10 is an Object-oriented programming 
language supporting distributed and parallel programming, aimed for 
high performance and high productivity.  This project investigates the 
design and implementation of a cluster runtime environment for X10.  A 
preliminary version of the source code has been released.

Research Assistant, August 2004 --- May 2005
Worked on porting and benchmarking RTZen---a realtime CORBA
implementation, on OVM---a realtime Java virtual machine;
Experimenting with language level transaction mechanism in RTSJ to
address the priority inversion problem and improve response time for
high priority tasks; Also working on a cluster implementation for a
new high performance language, X10.

University of Utah, Salt Lake City, Utah

Research Assistant, June 2003 --- June 2004
Worked on the _Alchemy_ project; Focusing on analyzing the fitness of
two language tools, AspectJ and Jiazzi, in doing feature-wise
decomposition of the CORBA Event Service.

Research Assistant, June 2002 --- December 2002
Worked on instruction cache performance.  Investigated new compiler
algorithms to improve the instruction cache performance of compiled code,
implemented the algorithms in the MIPSpro compiler suite, and evaluated the
algorithms based on data collected for a set of benchmark programs on a SGI
R10K system. 

Teaching Assistant August 2001 --- May 2002, January 2003 --- May 2003
In classes: Discrete Structures, Computer System (undergraduate) and Compilers
(graduate).  Lectured 5 times on lab projects to about 20 students in the
Compilers class.

Honors and Awards:
Fudan University, Shanghai, China

Intel Fellowship (2001); Kodak Fellowship (2000); Acer Fellowship (1998);
People's Fellowship, first class (multiple times, from 1997 to 2001).
Annual University Honor Student Award, 1999.
National Mathematical Contest in Modeling, Second Place (regional), 1999

Computer Skills:
Programming Languages and Tools: Java, AspectJ, RTSJ, C/C++,
Assembly(Intel x86, MIPS, SPARC), Perl, CORBA, ML, Scheme, PVS, SPIN;

Operating Systems: Unix(Linux, Solaris, FreeBSD, IRIX), Windows.

Professional Activities:
ACM member since March 2002.