conf.researchr.org / 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, Director of Language Research; Lead, SSA-Based Static Analysis
Country:United States
Affiliation:AdaCore, United States
Personal website: http://www.adacore.com
X (Twitter): https://x.com/sttaft
GitHub: https://github.com/sttaft
Research interests:Programming Languages, Parallel Programming, High-Integrity Systems, Cybersecurity, Real-time Embedded Systems
Contributions
2020
HILT
- 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
2019
2018
SPLASH
HILT
- 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