Programming languages and software engineering

Mike Barnett, Rustan Leino

PASTE ’05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | September 2005

PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

ISBN: 1-59593-239-9

Project

George Saon, Daniel Povey, Geoffrey Zweig

Proceedings of Interspeech | September 2005

Nikolai Tillmann, Wolfram Schulte, Margus Veanes

Quality Software, 2005. (QSIC 2005). Fifth International Conference on | September 2005

Quality Software, 2005. (QSIC 2005). Fifth International Conference on

ISBN: 0-7695-2399-4

Project

Byung-Jun Yoon, Henrique S. Malvar

MSR-TR-2005-116 | September 2005

Sumit Gulwani

September 2005

PhD Thesis: PhD Dissertation, University of California, Berkeley | September 2005

ACM SIGPLAN Doctoral Dissertation Award

Project

James Mickens, Brian D. Noble

Proceedings of the ACM Workshop on Wireless Security | September 2005

Proceedings of the ACM Workshop on Wireless Security

Vladimir Kolmogorov

MSR-TR-2005-117 | September 2005

Robert DeLIne, Mary Czerwinski, George Robertson

Proceedings of the IEEE Symposium on Visual Languages and Human-Centered Computing | September 2005

Proceedings of the IEEE Symposium on Visual Languages and Human-Centered Computing

[best paper awared]

Alexander S. Szalay, Jim Gray, George Fekete, Peter Z. Kunszt, Peter Z. Kukol, Ani Thakar

MSR-TR-2005-123 | September 2005

Tim Harris, Simon Marlow, Simon Peyton Jones

Haskell ’05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell | September 2005

Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell