Diana as an internal representation in an Ada-in-Ada compiler. - S. Tucker Taft (AdaTEC Conference on Ada, 1982)

An Object-Based Virtual Operating System For The Ada Programming Support Environment. - S. Tucker Taft (ACM SIGOPS Oper. Syst. Rev., 1982)

Portable and efficient dynamic storage management in Ada. - Ron Kownacki; S. Tucker Taft (SIGAda, 1987)

DIANA (panel session): an intermediate representation language for Ada. - Stowe Boyd; Rudolph A. Krutar; George Romanski; S. Tucker Taft; Tom Wilcox (WADAS, 1987)

SETA1 working group on building, debugging and testing real-time and distributed systems. - S. Tucker Taft (SETA, 1990)

Ideas for kick-starting the Ada market of the 1990s. - S. Tucker Taft (TRI-Ada, 1990)

Ada and SQL. - Ben Brosgol; Stephen Faris; Marc H. Graham; James W. Moore; Jean-Pierre Rosen; S. Tucker Taft (TRI-Ada, 1991)

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

Ada 9X and Systems Programming. - S. Tucker Taft (TRI-Ada, 1992)

Ada 9X and OOP. - S. Tucker Taft (TRI-Ada, 1992)

Ada 9X: A Technical Summary. - S. Tucker Taft (Commun. ACM, 1992)

Ada 9X: From Abstraction-Oriented to Object-Oriented. - S. Tucker Taft (OOPSLA, 1993)

Programming the Internet in Ada 95. - S. Tucker Taft (Ada-Europe, 1996)

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

Programming Language Design and Software Quality. - S. Tucker Taft (TOOLS (30), 1999)

Using Ada 95 in a compiler course. - S. Tucker Taft (SIGAda, 2001)

Keynote address: fixing software before it breaks. - S. Tucker Taft (SIGAda, 2001)

Supporting Deadlines and EDF Scheduling in Ada. - Alan Burns 001; Andy J. Wellings; S. Tucker Taft (Ada-Europe, 2004)

Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 - S. Tucker Taft; Robert A. Duff; Randall Brukardt; Erhard Plödereder; Pascal Leroy (Springer, 2006)

Why you should be using Ada 2005 now! - S. Tucker Taft (SIGAda, 2006)

Implementing the extended return statement for Ada 2005. - S. Tucker Taft (SIGAda, 2008)

The new semantic model in ASIS for Ada 2005. - Jean-Pierre Rosen; S. Tucker Taft (SIGAda, 2009)

Multicore Programming in ParaSail - Parallel Specification and Implementation Language. - S. Tucker Taft (Ada-Europe, 2011)

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

How to make ada go 'viral'. - Jean-Pierre Rosen; Brad Moore; S. Tucker Taft (SIGAda, 2011)

Experimenting with parasail: parallel specification and implementation language. - S. Tucker Taft (SIGAda, 2011)

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

Tutorial: multicore programming using divide-and-conquer and work stealing. - S. Tucker Taft (HILT, 2012)

Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E) - S. Tucker Taft; Robert A. Duff; Randall Brukardt; Erhard Plödereder; Pascal Leroy; Edmond Schonberg (Springer, 2013)

Tutorial: proving safety of parallel / multi-threaded programs. - S. Tucker Taft (HILT, 2013)

Bringing safe, dynamic parallel programming to the spark verifiable subset of ada. - S. Tucker Taft (HILT, 2013)

Ada 83 to Ada 2012: lessons learned over 30 years of language design. - John Barnes; S. Tucker Taft (HILT, 2014)

Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling. - Robert Bocchino; Nicholas D. Matsakis; S. Tucker Taft; Brian Larson; Ed Seidewitz (HILT, 2014)

Safe parallel programming in ada with language extensions. - S. Tucker Taft; Brad Moore; Luís Miguel Pinho; Stephen Michell (HILT, 2014)

An Execution Model for Fine-Grained Parallelism in Ada. - Luís Miguel Pinho; Brad Moore; Stephen Michell; S. Tucker Taft (Ada-Europe, 2015)

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada. - Luís Miguel Pinho; Brad Moore; Stephen Michell; S. Tucker Taft (RTSS, 2015)

High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. - S. Tucker Taft; Florian Schanda; Yannick Moy (HASE, 2016)

Safe Dynamic Memory Management in Ada and SPARK. - Maroua Maalej; S. Tucker Taft; Yannick Moy (Ada-Europe, 2018)

ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations. - S. Tucker Taft (Art Sci. Eng. Program., 2019)

Sound and precise static analysis using a generalization of static single assignment and value numbering. - S. Tucker Taft (Int. J. Softw. Tools Technol. Transf., 2024)