PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
PLDI 2024 (series) / Tucker Taft
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

Show activities from other conferences

PLDI 2024-profile
View general profile