|
Bin XinOffice: 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.
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.
- 2006-Oct CX10-1.0 Release
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.
Last, May 2007, Xin




