Tucker Taft

Registered user since Sun 19 Nov 2017

Name:Tucker Taft
Bio:
  • Harvard College 1971-1975, AB Summa Cum Laude Chemistry
  • Harvard Radcliffe Student Computing Center 1975-1979, Systems Programmer
  • Intermetrics/AverStar/AverCom 1980-2002, Chief Scientist
  • SofCheck 2002-2011, Founder and CTO
  • AdaCore 2011-present, VP, Director of Language Research, Model-Based Toolset Product Architect
Country:United States
Affiliation:AdaCore, United States
Personal website:http://www.adacore.com
Research interests:Programming Languages, Parallel Programming, High-Integrity Systems, Cybersecurity, Real-time Embedded Systems

Contributions

HILT 2020 Committee Member in Program Committee within the HILT 2020-track
Session Chair of HILT workshop Monday sessions (part of HILT 2020)
Committee Member in Organizing Committee within the HILT 2020-track
Author of A Layered Mapping of Ada 202X to OpenMP within the HILT 2020-track
Session Chair of Monday Keynote 10AM-11AM ET (part of HILT 2020)
Panel Moderator of Tuesday Panel: Language support for parallel and distributed computing within the HILT 2020-track
Session Chair of HILT workshop Tuesday sessions (part of HILT 2020)
Panelist of Monday Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors within the HILT 2020-track
‹Programming› 2019 Author of ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations within the Research Papers-track
HILT 2018 Author of Workshop Wrapup within the HILT 2018-track
Session Chair of Showcase & Wrapup (part of HILT 2018)
Speaker of Security Showcase -- SPARK Formal Verification for Security within the HILT 2018-track
Panelist of Panel on Language-based Security within the HILT 2018-track
Co-chair of Welcome to the HILT 2018 Workshop within the HILT 2018-track
Session Chair of Keynote: Richards (part of HILT 2018)
Committee Member in Organizing Committee within the HILT 2018-track
Co-chair of SIGAda Awards and Sponsor Intros within the HILT 2018-track
Program Co-Chair in Program Committee within the HILT 2018-track
SPLASH 2018 Sponsorship Chair in Organizing Committee
Speaker in Speakers within the SPLASH-I-track
Speaker of Provably Safe Pointers for a Parallel World within the SPLASH-I-track
SPLASH 2011 Moderator of MULTICORE, MANYCORE, AND CLOUD COMPUTING: IS A NEW PROGRAMMING LANGUAGE PARADIGM REQUIRED? within the Panels-track