Tucker Taft
Director of Language Research AdaCore, Lexington, MA, USA
S. Tucker Taft is Director of Language Research at AdaCore, and Senior Advisor for AdaCore's "QGen" Model-Based Development toolsuite. Tucker led the Ada 9X language design team, culminating in the February 1995 approval of Ada 95 as the first ISO standardized object-oriented programming language. His specialties include programming language design, advanced static analysis tools, formal methods, real-time systems, parallel programming, and model-based development. Tucker is a member of the ISO Rapporteur Group that developed Ada 2005 and Ada 2012. Tucker has also been designing and implementing a parallel programming language called "ParaSail," and defining parallel programming extensions for Ada as part of the new Ada 2022 standard.
Prior to joining AdaCore, Tucker was Founder and CTO of SofCheck, Inc., providing tools and technology to enhance software development quality and productivity. Prior to that Mr. Taft was a Chief Scientist at Intermetrics, Inc. and its follow-ons for 22 years. Tucker received an A.B. Summa Cum Laude degree from Harvard University, where he has more recently taught compiler construction and programming language design.
Selected Publications
"A Layered Mapping of Ada 202X to OpenMP," ACM SIGAda Ada Letters, April 2021, 40(2):55-58, DOI: 10.1145/3463478.3463482
"ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations," The Art Science and Engineering of Programming 3(3), February 2019, DOI: 10.22152/programming-journal.org/2019/3/7
"High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles," DOI:10.1109/HASE.2016.54, January 2016, Conference: 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)
"TQL-1 Qualification of a Model-Based Code Generator," May 2016, DOI: 10.13140/RG.2.1.4323.8007, Conference: High Confidence Software and Systems Conference 2016, At: Annapolis, MD, Affiliation: CPS-VO -- Cyber-Physical Systems Virtual Organization