Programming languages & software engineering

Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.

Publication

Hong-Jiang Zhang, T. Lin

September 2000

Publication

Jonathan Grudin

MSR-TR-2000-94 | September 2000

Publication

John Regehr, Mike Jones, John A. Stankovic

MSR-TR-2000-89 | September 2000

Publication

Shipeng Li, Weiping Li

August 2000

Publication

Hong-Jiang Zhang, Jinlin Chen, Yudong Yang

August 2000

Publication

Silvano Dal Zilio, Andy Gordon

Journal of Functional Programming | May 2002, pp. 229-292

Publication

MSR-TR-2000-108 | July 2000

Publication

Jeffrey S. Foster, Manuel Fahndrich, Alexander Aiken

Proceedings of the 7th International Static Analysis Symposium | June 2000

Proceedings of the 7th International Static Analysis Symposium

Publication

Leonard Chung, Jim Gray, Robert Horst, Bruce Worthington

MSR-TR-2000-55 | June 2000

Publication

Phil Bernstein, Alon Y. Levy, Rachel A. Pottinger

MSR-TR-2000-53 | June 2000