Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
EDBT 2026 Demo / reviewers in the wild / expert

S. Tucker Taft

dblp:26/2107 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
1since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 2 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Parallel and multicore computing · 87% Embedded and real-time systems · 13%
Software engineering, system software, and programming languages
2 papers
Programming languages and type systems · 100%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Parallel and multicore computing › parallelization strategies
fine-grained parallelism		 0.212015
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada · RTSS 2015
Parallel and multicore computing
parallel programming models		 0.212015
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada · RTSS 2015
Programming languages and type systems
language design		 0.122015
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada · RTSS 2015
Ada 9X: From Abstraction-Oriented to Object-Oriented · OOPSLA 1993
Embedded and real-time systems
real-time programming languages		 0.112015
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada · RTSS 2015
Programming languages and type systems
object-oriented programming		 0.011993
Ada 9X: From Abstraction-Oriented to Object-Oriented · OOPSLA 1993
Programming languages and type systems
inheritance		 0.011993
Ada 9X: From Abstraction-Oriented to Object-Oriented · OOPSLA 1993
Programming languages and type systems
type systems		 0.011993
Ada 9X: From Abstraction-Oriented to Object-Oriented · OOPSLA 1993
YearPublicationVenuePosition
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.1
2015 Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada
abstract
The Ada language has for long provided support for the development of reliable real-time systems, with a model of computation amenable for real-time analysis. To complement the already existent multiprocessor support in the language, an ongoing effort is underway to extend Ada with a fine-grained parallel programming model also suitable for real-time systems. This paper overviews the model which is being proposed, pointing out the main issues still open and road ahead.
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
 RTSS4
1993 Ada 9X: From Abstraction-Oriented to Object-Oriented
abstract
article Ada 9X: from abstraction-oriented to object-oriented Share on Author: S. Tucker Taft View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 10Oct. 1, 1993 pp 127–136https://doi.org/10.1145/167962.165877Online:01 October 1993Publication History 15citation278DownloadsMetricsTotal Citations15Total Downloads278Last 12 Months7Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
S. Tucker Taft
 OOPSLA1
1992 OOP in Languages Providing Strong, Static Typing (Panel)
abstract
No abstract available.
David Bulman, S. Tucker Taft, Bertrand Meyer 0001, Greg Nelson, Mike Kilian
 OOPSLA2