S. Tucker Taft

S. Tucker Taft: Tutorial: multicore programming using divide-and-conquer and work stealing. HILT 2012: 13-14

Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft: Panel on compiler certification: should we trust our compiler? HILT 2012: 103-104

Ben Brosgol, Jeff Boleng, S. Tucker Taft (Eds.): Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. ACM 2012, isbn 978-1-4503-1505-0

S. Tucker Taft: Multicore Programming in ParaSail - Parallel Specification and Implementation Language. Ada-Europe 2011: 196-200

S. Tucker Taft, Joshua Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David Ungar: Multicore, manycore, and cloud computing: is a new programming language paradigm required? OOPSLA Companion 2011: 165-170

S. Tucker Taft: Experimenting with parasail: parallel specification and implementation language. SIGAda 2011: 11-12

Jean-Pierre Rosen, Brad Moore, S. Tucker Taft: How to make ada go 'viral'. SIGAda 2011: 35-36

Jean-Pierre Rosen, S. Tucker Taft: The new semantic model in ASIS for Ada 2005. SIGAda 2009: 127-132

S. Tucker Taft: Implementing the extended return statement for Ada 2005. SIGAda 2008: 97-104

S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy: Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1. Lecture Notes in Computer Science 4348, Springer 2006, isbn 978-3-540-69335-2

S. Tucker Taft: Why you should be using Ada 2005 now! SIGAda 2006: 75

Alan Burns, Andy J. Wellings, S. Tucker Taft: Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe 2004: 156-165

S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder (Eds.): Consolidated Ada Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1. Lecture Notes in Computer Science 2219, Springer 2001, isbn 3-540-43038-5

S. Tucker Taft: Using Ada 95 in a compiler course. SIGAda 2001: 79-80

S. Tucker Taft: Keynote address: fixing software before it breaks. SIGAda 2001: 97-98

Hal Hart, Barry W. Boehm, S. Tucker Taft, Tony Wasserman: What happened to integrated environments? (panel session). SIGAda 1999: 225-226

S. Tucker Taft: Programming Language Design and Software Quality. TOOLS (30) 1999: 5

S. Tucker Taft, Robert A. Duff (Eds.): Ada 95 Reference Manual, Language and Standard Libraries, International Standard ISO/IEC 8652: 1995(E). Lecture Notes in Computer Science 1246, Springer 1997, isbn 3-540-63144-5

S. Tucker Taft: Programming the Internet in Ada 95. Ada-Europe 1996: 1-16

S. Tucker Taft: Ada 9X: From Abstraction-Oriented to Object-Oriented. OOPSLA 1993: 127-136

S. Tucker Taft: Ada 9X: A Technical Summary. Commun. ACM 35(11): 77-82 (1992)

David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian: OOP in Languages Providing Strong, Static Typing (Panel). OOPSLA 1992: 87-91

S. Tucker Taft: Ada 9X and Systems Programming. TRI-Ada 1992: 37-42

S. Tucker Taft: Ada 9X and OOP. TRI-Ada 1992: 91-96

S. Tucker Taft: An Object-Based Virtual Operating System For The Ada Programming Support Environment. Operating Systems Review 16(1): 14-25 (1982)