CSE
Binary Technologies Research Papers

Binaries contain every aspect of a program - every opcode, every operand, every branch. The BiT group produces an infrastructure that generates state of the art development tools in the fields of binary static analysis, optimization, profiling, and correctness.

Papers and Presentations

Our work has led to the following publications:

2006

Sanjay Bhansali, Wen-Ke Chen, Stuart de Jong, Andrew Edwards, Ron Murray, Milenko Drinic, Darek Mihocka, and Joe Chau.
To appear in Virtual Execution Environments Conference, 2006.
Portable Document Format.

Chen Wen-ke, Sanjay Bhansali, Trishul Chilimbi (Microsoft), Xiaofeng Gao, and Weihaw Chuang (UC San Diego).
To appear in PLDI '06.
Portable Document Format.

2003

Milenko Drinic, Darko Kirovski, and Hoi Vo.
CGO '03: Proceedings of the International Symposium on Code Generation and Optimization, pages 315–324. IEEE Computer Society, 2003.
Portable Document Format.

2002

Amitabh Srivastava and Jay Thiagarajan.
International Symposium on Software Testing and Analysis, 2002.
Also available as Microsoft Research Technical Report MSR-TR-2002-15.
Portable Document Format.

2001

Amitabh Srivastava, Andrew Edwards, and Hoi Vo.
Microsoft Research Technical Report, MSR-TR-2001-50, April 2001.
Portable Document Format.

2000

Wen-Ke Chen, Sorin Lerner, Ronnie Chaiken, and David Gillies.
ACM Workshop on Feedback-Directed and Dynamic Optimization, 2000.
Portable Document Format.

1999

Zheng Wang, Ken Pierce, and Scott McFarling.
Feedback-Directed Optimization (FDO2), Haifa, Israel, November 1999.
Also available as Microsoft Research Technical Report MSR-TR-99-83.
PostScript.

**

Binary Technologies

Home

Projects

Research Papers

**