Travelled to:1 × Spain
1 × Switzerland
1 × United Kingdom
11 × USA
Collaborated with:∅ B.Moore J.Rosen L.M.Pinho S.Michell J.Barnes A.Burns A.J.Wellings Maroua Maalej Y.Moy
Talks about:ada (16) program (8) parallel (6) languag (5) implement (3) safe (3) use (3) multicor (2) softwar (2) tutori (2)
Person: S. Tucker Taft
DBLP: Taft:S=_Tucker
Facilitated 3 volumes:
EdEdEdContributed to:
20152014201320122011
201120092008200620042001
19991996
199319922018Wrote 21 papers:
- AdaEurope-2015-PinhoMMT #ada #execution #fine-grained #parallel
- An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
- HILT-2014-BarnesT #ada #design #lessons learnt
- Ada 83 to Ada 2012: lessons learned over 30 years of language design (JB, STT), pp. 3–4.
- HILT-2014-TaftMPM #ada #parallel #programming
- Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.
- HILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #thread #tutorial
- Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.
- HILT-2013-Taft13a #ada #parallel #programming #set
- Bringing safe, dynamic parallel programming to the spark verifiable subset of ada (STT), pp. 37–40.
- HILT-2012-Taft #divide and conquer #manycore #named #programming #tutorial #using
- Tutorial: multicore programming using divide-and-conquer and work stealing (STT), pp. 13–14.
- AdaEurope-2011-Taft #implementation #manycore #parallel #programming #specification
- Multicore Programming in ParaSail — Parallel Specification and Implementation Language (STT), pp. 196–200.
- SIGAda-2011-RosenMT #ada #how
- How to make Ada go “viral” (JPR, BM, STT), pp. 35–36.
- SIGAda-2011-Taft #implementation #parallel #specification
- Experimenting with parasail: parallel specification and implementation language (STT), pp. 11–12.
- SIGAda-2009-RosenT #ada #semantics
- The new semantic model in ASIS for Ada 2005 (JPR, STT), pp. 127–132.
- SIGAda-2008-Taft #ada #implementation
- Implementing the extended return statement for Ada 2005 (STT), pp. 97–104.
- SIGAda-2006-Taft #ada #exclamation #using #why
- Why you should be using Ada 2005 now! (STT), p. 75.
- AdaEurope-2004-BurnsWT #ada #scheduling
- Supporting Deadlines and EDF Scheduling in Ada (AB, AJW, STT), pp. 156–165.
- SIGAda-2001-Taft #ada #compilation #using
- Using Ada 95 in a compiler course (STT), pp. 79–80.
- SIGAda-2001-Taft01a
- Keynote address: fixing software before it breaks (STT), pp. 97–98.
- TOOLS-USA-1999-Taft #design #programming language #quality
- Programming Language Design and Software Quality (STT), p. 5.
- AdaEurope-1996-Taft #ada #internet #programming
- Programming the Internet in Ada 95 (STT), pp. 1–16.
- OOPSLA-1993-Taft #ada #object-oriented
- Ada 9X: From Abstraction-Oriented to Object-Oriented (STT), pp. 127–136.
- TRI-Ada-C-1992-Taft #ada #programming
- Ada 9X and Systems Programming (STT), pp. 37–42.
- TRI-Ada-C-1992-Taft92a #ada #object-oriented
- Ada 9X and OOP (STT), pp. 91–96.
- AdaEurope-2018-MaalejTM #ada #memory management
- Safe Dynamic Memory Management in Ada and SPARK (MM, STT, YM), pp. 37–52.