Picture of Me

Bin Xin

Office: LWSN 3133
Tel.:   (765)496-4694 (h)
E-mail: xinb at cs dot purdue dot edu

Background

I am a Ph.D. student in the Computer Science Department, Purdue University . I work with Professor Xiangyu Zhang and Jan Vitek. I got my Master from the School of Computing, University of Utah in Dec. 2004. I am originally from China and got my B.S. in Computer Science from Fudan University in Jul. 2001.

Research Interests

I am interested in the theoretical and pragmatic aspects of Programming Languages, Compilers and Logics, and how to build robust and modular software. In particular, language and run-time support for distributed, parallel, and concurrent programming.

My CV (also in pdf).

Projects

CX10: Run-time Support for Distributed Programming Investigating computation checkpointing/migration in distributed Object-Oriented languages, in the context of X10, a programming language under development at IBM.

PAR Adding transactional semantics to Real-time Java to address priority inversion problem and improve high priority tasks' response time; Porting RT-Zen (a real-time CORBA implementation in RTJ) to use PAR, and benchmarking this version on OVM.

Language Support for Feature-Oriented Development Study investigated different language tools in supporting writing components, performing feature decomposition of a system; tools studied include Jiazzi, a mixin-based component language for Java, and AspectJ, a Aspect-Orient language extension to Java.

Papers

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, 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.

Links

TA: CS240: Programming in C.

Classes: S3 Lab cs 590E -F(past classes: 510, 525, 526, 565, 580, 661)

Tools: javaAPI rtsj ant cvs junit AspectJ xfig Tex SML/NJ

References and Conferences: ACM IEEE IBM PLDI POPL OOPSLA ECOOP ASPLOS ICSE AOSD Middleware GPCE dblp CiteSeer

Stuff

Lunar calendar of 2008, year of Rat, (or in pdf), generated by ccal.

Stefan Landsberger's nice collection of Chinese propoganda posters, which says something about China now and then in its last fifty some years.

A group trying to help the poor in China to get education: dream project.

Click for Salt Lake City, Utah Forecast Click for West Lafayette, Indiana Forecast Click for Enshi, Hubei Forecast Click for Shanghai, Shanghai Forecast
Last, May 2007, Xin