S. Tucker Taft

According to our database, S. Tucker Taft authored at least 40 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Sound and precise static analysis using a generalization of static single assignment and value numbering.

S. Tucker Taft

Int. J. Softw. Tools Technol. Transf., October, 2024

2019

ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations.

S. Tucker Taft

Art Sci. Eng. Program., 2019

2018

Safe Dynamic Memory Management in Ada and SPARK.

Maroua Maalej, S. Tucker Taft, Yannick Moy

Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2016

High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles.

S. Tucker Taft, Florian Schanda, Yannick Moy

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada.

Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

An Execution Model for Fine-Grained Parallelism in Ada.

Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014

Safe parallel programming in ada with language extensions.

S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 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

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Ada 83 to Ada 2012: lessons learned over 30 years of language design.

John Barnes, S. Tucker Taft

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2013

Bringing safe, dynamic parallel programming to the spark verifiable subset of ada.

S. Tucker Taft

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Tutorial: proving safety of parallel / multi-threaded programs.

S. Tucker Taft

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

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

Lecture Notes in Computer Science 8339, Springer, ISBN: 978-3-642-45418-9, 2013

2012

Tutorial: multicore programming using divide-and-conquer and work stealing.

S. Tucker Taft

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Panel on compiler certification: should we trust our compiler?

Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2011

Experimenting with parasail: parallel specification and implementation language.

S. Tucker Taft

Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

How to make ada go 'viral'.

Jean-Pierre Rosen, Brad Moore, S. Tucker Taft

Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 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

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Multicore Programming in ParaSail - Parallel Specification and Implementation Language.

S. Tucker Taft

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2009

The new semantic model in ASIS for Ada 2005.

Jean-Pierre Rosen, S. Tucker Taft

Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, 2009

2008

Implementing the extended return statement for Ada 2005.

S. Tucker Taft

Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, 2008

2006

Why you should be using Ada 2005 now!

S. Tucker Taft

Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

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

Lecture Notes in Computer Science 4348, Springer, ISBN: 978-3-540-69335-2, 2006

2004

Supporting Deadlines and EDF Scheduling in Ada.

Alan Burns, Andy J. Wellings, S. Tucker Taft

Proceedings of the Reliable Software Technologies, 2004

2001

Keynote address: fixing software before it breaks.

S. Tucker Taft

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

Using Ada 95 in a compiler course.

S. Tucker Taft

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

1999

Programming Language Design and Software Quality.

S. Tucker Taft

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

What happened to integrated environments? (panel session).

Hal Hart, Barry W. Boehm, S. Tucker Taft, Tony Wasserman

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

1996

Programming the Internet in Ada 95.

S. Tucker Taft

Proceedings of the Reliable Software Technologies, 1996

1993

Ada 9X: From Abstraction-Oriented to Object-Oriented.

S. Tucker Taft

Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

1992

Ada 9X: A Technical Summary.

S. Tucker Taft

Commun. ACM, 1992

Ada 9X and OOP.

S. Tucker Taft

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

Ada 9X and Systems Programming.

S. Tucker Taft

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

OOP in Languages Providing Strong, Static Typing (Panel).

David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian

Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

1991

Ada and SQL.

Ben Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft

Proceedings of the Conference on TRI-Ada 1991, 1991

1990

Ideas for kick-starting the Ada market of the 1990s.

S. Tucker Taft

Proceedings of the conference on TRI-ADA 1990, 1990

SETA1 working group on building, debugging and testing real-time and distributed systems.

S. Tucker Taft

Proceedings of the First International Symposium on Environments and Tools for Ada, 1990

1987

DIANA (panel session): an intermediate representation language for Ada.

Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox

Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, 1987

Portable and efficient dynamic storage management in Ada.

Ron Kownacki, S. Tucker Taft

Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, 1987

1982

An Object-Based Virtual Operating System For The Ada Programming Support Environment.

S. Tucker Taft

ACM SIGOPS Oper. Syst. Rev., 1982

Diana as an internal representation in an Ada-in-Ada compiler.

S. Tucker Taft

Proceedings of the AdaTEC Conference on Ada, 1982