Programming languages and software engineering

Li Zhang

Proceedings of 32nd International Colloquium on Automata, Languages and Programming | April 2005

Nick Benton, Benjamin Leperchey

Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA ’05) | April 2005

Yi-Min Wang, Doug Beck, Jeffrey Wang, Chad Verbowski, Brad Daniels

MSR-TR-2005-178 | April 2005

Cormac Flanagan, Shaz Qadeer

Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004). | April 2005

Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field

In Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005

Andrew Baumann, Jeremy Kerr, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski

Proceedings of the 6th Linux.Conf.Au | April 2005

Proceedings of the 6th Linux.Conf.Au

Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr

Proceedings of the 2005 Annual USENIX Technical Conference | April 2005

Vlad Levin, Robert Palmer, Shaz Qadeer, Sriram Rajamani

MSR-TR-2005-40 | April 2005

D. P. Schneider, P. B. Hall, G. T. Richards, D. E. Vanden Berk, S. F. Anderson, X. Fan, S. Jester, C. Stoughton, M. A. Strauss, M. SubbaRao, W. Brandt, J. E. Gunn, B. Yanny, N. A. Bahcall, J. Barentine, M. R. Blanton, W. N. Boroski, H. J. Brewington, J. Brinkmann, R. Brunner, I. Csabai, M. Doi, D. J. Eisenstein, J. A. Frieman, M. Fukugita, Jim Gray, M. Harvanek, T. M. Heckman, Željko Ivezić, S. Kent, S. Kleinman, G. R. Knapp, R. G. Kron, J. Krzesinski, D. C. Long, J. Loveday, R. H. Lupton, B. Margon, J. A. Munn, E. H. Neilsen, H. Jo Newberg, P. R. Newman, R. Nichol, A. Nitta, J. R. Pier, C. M. Rockosi, D. H. Saxe, D. J. Schlegel, S. A. Snedden, A. S. Szalay, A. R. Thakar, A. Uomoto, D. G. York

March 2005