S. Tucker Taft

Publication Activity (10 Years)

Years Active: 1982-2019
Publications (10 Years): 4

Top Topics

Memory Management

Programming Environment

Top Venues

Publications

S. Tucker Taft
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations. Art Sci. Eng. Program. 3 (3) (2019)
S. Tucker Taft
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations. CoRR (2019)
Maroua Maalej, S. Tucker Taft, Yannick Moy
Safe Dynamic Memory Management in Ada and SPARK. Ada-Europe (2018)
S. Tucker Taft, Florian Schanda, Yannick Moy
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. HASE (2016)
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada. RTSS (2015)
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
An Execution Model for Fine-Grained Parallelism in Ada. Ada-Europe (2015)
S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell
Safe parallel programming in ada with language extensions. HILT (2014)
Robert Bocchino, Nicholas Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling. HILT (2014)
John Barnes, S. Tucker Taft
Ada 83 to Ada 2012: lessons learned over 30 years of language design. HILT (2014)
S. Tucker Taft
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada. HILT (2013)
S. Tucker Taft
Tutorial: proving safety of parallel / multi-threaded programs. HILT (2013)
S. Tucker Taft
Tutorial: multicore programming using divide-and-conquer and work stealing. HILT (2012)
Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft
Panel on compiler certification: should we trust our compiler? HILT (2012)
S. Tucker Taft
Multicore Programming in ParaSail - Parallel Specification and Implementation Language. Ada-Europe (2011)
Jean-Pierre Rosen, Brad Moore, S. Tucker Taft
How to make ada go 'viral'. SIGAda (2011)
S. Tucker Taft, Joshua J. Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David M. Ungar
Multicore, manycore, and cloud computing: is a new programming language paradigm required? OOPSLA Companion (2011)
S. Tucker Taft
Experimenting with parasail: parallel specification and implementation language. SIGAda (2011)
Jean-Pierre Rosen, S. Tucker Taft
The new semantic model in ASIS for Ada 2005. SIGAda (2009)
S. Tucker Taft
Implementing the extended return statement for Ada 2005. SIGAda (2008)
S. Tucker Taft
Why you should be using Ada 2005 now! SIGAda (2006)
Alan Burns, Andy J. Wellings, S. Tucker Taft
Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe (2004)
S. Tucker Taft
Using Ada 95 in a compiler course. SIGAda (2001)
S. Tucker Taft
Keynote address: fixing software before it breaks. SIGAda (2001)
S. Tucker Taft
Programming Language Design and Software Quality. TOOLS (30) (1999)
Hal Hart, Barry W. Boehm, S. Tucker Taft, Tony Wasserman
What happened to integrated environments? (panel session). SIGAda (1999)
S. Tucker Taft
Programming the Internet in Ada 95. Ada-Europe (1996)
S. Tucker Taft
Ada 9X: From Abstraction-Oriented to Object-Oriented. OOPSLA (1993)
S. Tucker Taft
Ada 9X and Systems Programming. TRI-Ada (1992)
David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian
OOP in Languages Providing Strong, Static Typing (Panel). OOPSLA (1992)
S. Tucker Taft
Ada 9X and OOP. TRI-Ada (1992)
S. Tucker Taft
Ada 9X: A Technical Summary. Commun. ACM 35 (11) (1992)
Ben Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft
Ada and SQL. TRI-Ada (1991)
S. Tucker Taft
Ideas for kick-starting the Ada market of the 1990s. TRI-Ada (1990)
S. Tucker Taft
SETA1 working group on building, debugging and testing real-time and distributed systems. SETA (1990)
Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox
DIANA (panel session): an intermediate representation language for Ada. WADAS (1987)
Ron Kownacki, S. Tucker Taft
Portable and efficient dynamic storage management in Ada. SIGAda (1987)
S. Tucker Taft
An Object-Based Virtual Operating System For The Ada Programming Support Environment. ACM SIGOPS Oper. Syst. Rev. 16 (1) (1982)
S. Tucker Taft
Diana as an internal representation in an Ada-in-Ada compiler. AdaTEC Conference on Ada (1982)