S. Tucker Taft

47 papers A 3C 1Misc 5Journal 5Unranked 25
YearRankTypeTitle / Venue / Authors
2024 J jnl
Sound and precise static analysis using a generalization of static single assignment and value numbering.
Int. J. Softw. Tools Technol. Transf.
S. Tucker Taft
2019 J jnl
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations.
CoRR
S. Tucker Taft
2019 J jnl
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations.
Art Sci. Eng. Program.
S. Tucker Taft
2018 Misc conf
Safe Dynamic Memory Management in Ada and SPARK.
Ada-Europe
Maroua Maalej, S. Tucker Taft, Yannick Moy
2016 — conf
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles.
HASE
S. Tucker Taft, Florian Schanda, Yannick Moy
2015 Misc conf
An Execution Model for Fine-Grained Parallelism in Ada.
Ada-Europe
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
2015 A conf
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada.
RTSS
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
2014 — conf
Ada 83 to Ada 2012: lessons learned over 30 years of language design.
HILT
John Barnes, S. Tucker Taft
2014 — conf
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling.
HILT
Robert Bocchino, Nicholas D. Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz
2014 — ed.
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014
HILT
Michael B. Feldman, S. Tucker Taft
2014 — conf
Safe parallel programming in ada with language extensions.
HILT
S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell
2013 — book
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
2013 — conf
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada.
HILT
S. Tucker Taft
2013 — ed.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013
HILT
Jeff Boleng, S. Tucker Taft
2013 — conf
Tutorial: proving safety of parallel / multi-threaded programs.
HILT
S. Tucker Taft
2012 — conf
Panel on compiler certification: should we trust our compiler?
HILT
Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft
2012 — ed.
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA
HILT
Ben Brosgol, Jeff Boleng, S. Tucker Taft
2012 — conf
Tutorial: multicore programming using divide-and-conquer and work stealing.
HILT
S. Tucker Taft
2011 — conf
Experimenting with parasail: parallel specification and implementation language.
SIGAda
S. Tucker Taft
2011 — conf
How to make ada go 'viral'.
SIGAda
Jean-Pierre Rosen, Brad Moore, S. Tucker Taft
2011 Misc conf
Multicore Programming in ParaSail - Parallel Specification and Implementation Language.
Ada-Europe
S. Tucker Taft
2011 — conf
Multicore, manycore, and cloud computing: is a new programming language paradigm required?
OOPSLA Companion
S. Tucker Taft, Joshua J. Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David M. Ungar
2009 — conf
The new semantic model in ASIS for Ada 2005.
SIGAda
Jean-Pierre Rosen, S. Tucker Taft
2008 — conf
Implementing the extended return statement for Ada 2005.
SIGAda
S. Tucker Taft
2006 — book
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
2006 — conf
Why you should be using Ada 2005 now!
SIGAda
S. Tucker Taft
2004 Misc conf
Supporting Deadlines and EDF Scheduling in Ada.
Ada-Europe
Alan Burns, Andy J. Wellings, S. Tucker Taft
2001 — book
Consolidated Ada Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1
S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder
2001 — conf
Keynote address: fixing software before it breaks.
SIGAda
S. Tucker Taft
2001 — conf
Using Ada 95 in a compiler course.
SIGAda
S. Tucker Taft
1999 — ed.
Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999.
SIGAda
Hal Hart, S. Tucker Taft, Franco Gasperoni
1999 — conf
Programming Language Design and Software Quality.
TOOLS (30)
S. Tucker Taft
1999 — conf
What happened to integrated environments? (panel session).
SIGAda
Hal Hart, Barry W. Boehm, S. Tucker Taft, Tony Wasserman
1997 — book
Ada 95 Reference Manual, Language and Standard Libraries, International Standard ISO/IEC 8652: 1995(E)
S. Tucker Taft, Robert A. Duff
1996 Misc conf
Programming the Internet in Ada 95.
Ada-Europe
S. Tucker Taft
1993 A conf
Ada 9X: From Abstraction-Oriented to Object-Oriented.
OOPSLA
S. Tucker Taft
1992 — conf
Ada 9X and OOP.
TRI-Ada
S. Tucker Taft
1992 — conf
Ada 9X and Systems Programming.
TRI-Ada
S. Tucker Taft
1992 J jnl
Ada 9X: A Technical Summary.
Commun. ACM
S. Tucker Taft
1992 A conf
OOP in Languages Providing Strong, Static Typing (Panel).
OOPSLA
David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian
1991 — conf
Ada and SQL.
TRI-Ada
Ben Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft
1990 — conf
Ideas for kick-starting the Ada market of the 1990s.
TRI-Ada
S. Tucker Taft
1990 C conf
SETA1 working group on building, debugging and testing real-time and distributed systems.
SETA
S. Tucker Taft
1987 — conf
DIANA (panel session): an intermediate representation language for Ada.
WADAS
Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox
1987 — conf
Portable and efficient dynamic storage management in Ada.
SIGAda
Ron Kownacki, S. Tucker Taft
1982 J jnl
An Object-Based Virtual Operating System For The Ada Programming Support Environment.
ACM SIGOPS Oper. Syst. Rev.
S. Tucker Taft
1982 — conf
Diana as an internal representation in an Ada-in-Ada compiler.
AdaTEC Conference on Ada
S. Tucker Taft