S. Tucker Taft

47 papers A 3C 1Misc 5Journal 5Unranked 25

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Sound and precise static analysis using a generalization of static single assignment and value numbering. Int. J. Softw. Tools Technol. Transf. S. Tucker Taft
2019	J	`jnl`	ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations. CoRR S. Tucker Taft
2019	J	`jnl`	ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations. Art Sci. Eng. Program. S. Tucker Taft
2018	Misc	`conf`	Safe Dynamic Memory Management in Ada and SPARK. Ada-Europe Maroua Maalej, S. Tucker Taft, Yannick Moy
2016	—	`conf`	High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. HASE S. Tucker Taft, Florian Schanda, Yannick Moy
2015	Misc	`conf`	An Execution Model for Fine-Grained Parallelism in Ada. Ada-Europe Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
2015	A	`conf`	Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada. RTSS Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
2014	—	`conf`	Ada 83 to Ada 2012: lessons learned over 30 years of language design. HILT John Barnes, S. Tucker Taft
2014	—	`conf`	Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling. HILT Robert Bocchino, Nicholas D. Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz
2014	—	`ed.`	Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014 HILT Michael B. Feldman, S. Tucker Taft
2014	—	`conf`	Safe parallel programming in ada with language extensions. HILT S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell
2013	—	`book`	Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E) S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy, Edmond Schonberg
2013	—	`conf`	Bringing safe, dynamic parallel programming to the spark verifiable subset of ada. HILT S. Tucker Taft
2013	—	`ed.`	Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013 HILT Jeff Boleng, S. Tucker Taft
2013	—	`conf`	Tutorial: proving safety of parallel / multi-threaded programs. HILT S. Tucker Taft
2012	—	`conf`	Panel on compiler certification: should we trust our compiler? HILT Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft
2012	—	`ed.`	Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA HILT Ben Brosgol, Jeff Boleng, S. Tucker Taft
2012	—	`conf`	Tutorial: multicore programming using divide-and-conquer and work stealing. HILT S. Tucker Taft
2011	—	`conf`	Experimenting with parasail: parallel specification and implementation language. SIGAda S. Tucker Taft
2011	—	`conf`	How to make ada go 'viral'. SIGAda Jean-Pierre Rosen, Brad Moore, S. Tucker Taft
2011	Misc	`conf`	Multicore Programming in ParaSail - Parallel Specification and Implementation Language. Ada-Europe S. Tucker Taft
2011	—	`conf`	Multicore, manycore, and cloud computing: is a new programming language paradigm required? OOPSLA Companion S. Tucker Taft, Joshua J. Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David M. Ungar
2009	—	`conf`	The new semantic model in ASIS for Ada 2005. SIGAda Jean-Pierre Rosen, S. Tucker Taft
2008	—	`conf`	Implementing the extended return statement for Ada 2005. SIGAda S. Tucker Taft
2006	—	`book`	Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy
2006	—	`conf`	Why you should be using Ada 2005 now! SIGAda S. Tucker Taft
2004	Misc	`conf`	Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe Alan Burns, Andy J. Wellings, S. Tucker Taft
2001	—	`book`	Consolidated Ada Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder
2001	—	`conf`	Keynote address: fixing software before it breaks. SIGAda S. Tucker Taft
2001	—	`conf`	Using Ada 95 in a compiler course. SIGAda S. Tucker Taft
1999	—	`ed.`	Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999. SIGAda Hal Hart, S. Tucker Taft, Franco Gasperoni
1999	—	`conf`	Programming Language Design and Software Quality. TOOLS (30) S. Tucker Taft
1999	—	`conf`	What happened to integrated environments? (panel session). SIGAda Hal Hart, Barry W. Boehm, S. Tucker Taft, Tony Wasserman
1997	—	`book`	Ada 95 Reference Manual, Language and Standard Libraries, International Standard ISO/IEC 8652: 1995(E) S. Tucker Taft, Robert A. Duff
1996	Misc	`conf`	Programming the Internet in Ada 95. Ada-Europe S. Tucker Taft
1993	A	`conf`	Ada 9X: From Abstraction-Oriented to Object-Oriented. OOPSLA S. Tucker Taft
1992	—	`conf`	Ada 9X and OOP. TRI-Ada S. Tucker Taft
1992	—	`conf`	Ada 9X and Systems Programming. TRI-Ada S. Tucker Taft
1992	J	`jnl`	Ada 9X: A Technical Summary. Commun. ACM S. Tucker Taft
1992	A	`conf`	OOP in Languages Providing Strong, Static Typing (Panel). OOPSLA David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian
1991	—	`conf`	Ada and SQL. TRI-Ada Ben Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft
1990	—	`conf`	Ideas for kick-starting the Ada market of the 1990s. TRI-Ada S. Tucker Taft
1990	C	`conf`	SETA1 working group on building, debugging and testing real-time and distributed systems. SETA S. Tucker Taft
1987	—	`conf`	DIANA (panel session): an intermediate representation language for Ada. WADAS Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox
1987	—	`conf`	Portable and efficient dynamic storage management in Ada. SIGAda Ron Kownacki, S. Tucker Taft
1982	J	`jnl`	An Object-Based Virtual Operating System For The Ada Programming Support Environment. ACM SIGOPS Oper. Syst. Rev. S. Tucker Taft
1982	—	`conf`	Diana as an internal representation in an Ada-in-Ada compiler. AdaTEC Conference on Ada S. Tucker Taft