default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDS. Tucker Taft
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j4]S. Tucker Taft:
Sound and precise static analysis using a generalization of static single assignment and value numbering. Int. J. Softw. Tools Technol. Transf. 26(5): 621-632 (2024)
2010 – 2019
- 2019
- [j3]S. Tucker Taft:
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations. Art Sci. Eng. Program. 3(3): 7 (2019) - [i1]S. Tucker Taft:
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations. CoRR abs/1902.00525 (2019) - 2018
- [c34]Maroua Maalej, S. Tucker Taft, Yannick Moy:
Safe Dynamic Memory Management in Ada and SPARK. Ada-Europe 2018: 37-52 - 2016
- [c33]S. Tucker Taft, Florian Schanda, Yannick Moy:
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. HASE 2016: 238-239 - 2015
- [c32]Luís Miguel Pinho
, Brad Moore, Stephen Michell, S. Tucker Taft:
An Execution Model for Fine-Grained Parallelism in Ada. Ada-Europe 2015: 196-211 - [c31]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: 374 - 2014
- [c30]John Barnes, S. Tucker Taft:
Ada 83 to Ada 2012: lessons learned over 30 years of language design. HILT 2014: 3-4 - [c29]S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell:
Safe parallel programming in ada with language extensions. HILT 2014: 87-96 - [c28]Robert Bocchino, Nicholas D. Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz:
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling. HILT 2014: 105-106 - [e6]Michael B. Feldman, S. Tucker Taft:
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014. ACM 2014, ISBN 978-1-4503-3217-0 [contents] - 2013
- [b2]S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy, Edmond Schonberg:
Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E). Lecture Notes in Computer Science 8339, Springer 2013, ISBN 978-3-642-45418-9, pp. 1-349 - [c27]S. Tucker Taft:
Tutorial: proving safety of parallel / multi-threaded programs. HILT 2013: 1-2 - [c26]S. Tucker Taft:
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada. HILT 2013: 37-40 - [e5]Jeff Boleng, S. Tucker Taft:
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. ACM 2013, ISBN 978-1-4503-2467-0 [contents] - 2012
- [c25]S. Tucker Taft:
Tutorial: multicore programming using divide-and-conquer and work stealing. HILT 2012: 13-14 - [c24]Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft:
Panel on compiler certification: should we trust our compiler? HILT 2012: 103-104 - [e4]Ben Brosgol, Jeff Boleng, S. Tucker Taft:
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 [contents] - 2011
- [c23]S. Tucker Taft:
Multicore Programming in ParaSail - Parallel Specification and Implementation Language. Ada-Europe 2011: 196-200 - [c22]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: 165-170 - [c21]S. Tucker Taft:
Experimenting with parasail: parallel specification and implementation language. SIGAda 2011: 11-12 - [c20]Jean-Pierre Rosen, Brad Moore, S. Tucker Taft:
How to make ada go 'viral'. SIGAda 2011: 35-36
2000 – 2009
- 2009
- [c19]Jean-Pierre Rosen, S. Tucker Taft:
The new semantic model in ASIS for Ada 2005. SIGAda 2009: 127-132 - 2008
- [c18]S. Tucker Taft:
Implementing the extended return statement for Ada 2005. SIGAda 2008: 97-104 - 2006
- [b1]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 - [c17]S. Tucker Taft:
Why you should be using Ada 2005 now! SIGAda 2006: 75 - 2004
- [c16]Alan Burns, Andy J. Wellings, S. Tucker Taft:
Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe 2004: 156-165 - 2001
- [c15]S. Tucker Taft:
Using Ada 95 in a compiler course. SIGAda 2001: 79-80 - [c14]S. Tucker Taft:
Keynote address: fixing software before it breaks. SIGAda 2001: 97-98 - [e3]S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder:
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
1990 – 1999
- 1999
- [c13]Hal Hart, Barry W. Boehm, S. Tucker Taft, Tony Wasserman:
What happened to integrated environments? (panel session). SIGAda 1999: 225-226 - [c12]S. Tucker Taft:
Programming Language Design and Software Quality. TOOLS (30) 1999: 5 - [e2]Hal Hart, S. Tucker Taft, Franco Gasperoni:
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. ACM 1999, ISBN 1-58113-127-5 [contents] - 1997
- [e1]S. Tucker Taft, Robert A. Duff:
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 - 1996
- [c11]S. Tucker Taft:
Programming the Internet in Ada 95. Ada-Europe 1996: 1-16 - 1993
- [c10]S. Tucker Taft:
Ada 9X: From Abstraction-Oriented to Object-Oriented. OOPSLA 1993: 127-136 - 1992
- [j2]S. Tucker Taft:
Ada 9X: A Technical Summary. Commun. ACM 35(11): 77-82 (1992) - [c9]David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian:
OOP in Languages Providing Strong, Static Typing (Panel). OOPSLA 1992: 87-91 - [c8]S. Tucker Taft:
Ada 9X and Systems Programming. TRI-Ada 1992: 37-42 - [c7]S. Tucker Taft:
Ada 9X and OOP. TRI-Ada 1992: 91-96 - 1991
- [c6]Ben Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft:
Ada and SQL. TRI-Ada 1991: 257-266 - 1990
- [c5]S. Tucker Taft:
SETA1 working group on building, debugging and testing real-time and distributed systems. SETA 1990: 19-27 - [c4]S. Tucker Taft:
Ideas for kick-starting the Ada market of the 1990s. TRI-Ada 1990: 430
1980 – 1989
- 1987
- [c3]Ron Kownacki, S. Tucker Taft:
Portable and efficient dynamic storage management in Ada. SIGAda 1987: 190-198 - [c2]Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox:
DIANA (panel session): an intermediate representation language for Ada. WADAS 1987: 479-485 - 1982
- [j1]S. Tucker Taft:
An Object-Based Virtual Operating System For The Ada Programming Support Environment. ACM SIGOPS Oper. Syst. Rev. 16(1): 14-25 (1982) - [c1]S. Tucker Taft:
Diana as an internal representation in an Ada-in-Ada compiler. AdaTEC Conference on Ada 1982: 261-265
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
