Bin Xin's Homepage

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. Currently, I am working on dynamic analysis for reasoning and debugging programs.

My CV (also in pdf).

Projects

Dynamic Program Analysis Explore dependence graphs and other mechanisms in understanding, reasoning, and debugging the runtime behavior of programs.

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, Memory Slicing, International Symposium on Software Testing and Analysis (ISSTA), 2009 (to appear).

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

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

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 (DOI).

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

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 (PDF).

Links

TA: [CS240]Programming in C; [CS352]Compilers: Principal and Practice.

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

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

References and Conferences: ACM IEEE dblp CiteSeer PLDI POPL OOPSLA ECOOP ASPLOS ICSE AOSD CC PPoPP

Stuff

Lunar calendar of 2009, year of Ox (in pdf), generated by ccal.

A window to Chinese society during last fifty some years.

Dream project, a group trying to bridge the education gap in China.

Click for West Lafayette, Indiana Forecast