| ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations. | 0 | 0.34 | 2019 |
| Safe Dynamic Memory Management In Ada And Spark | 0 | 0.34 | 2018 |
| High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles | 1 | 0.35 | 2016 |
| An Execution Model for Fine-Grained Parallelism in Ada | 2 | 0.39 | 2015 |
| Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada | 0 | 0.34 | 2015 |
| Ada 83 to Ada 2012: lessons learned over 30 years of language design | 0 | 0.34 | 2014 |
| Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling | 0 | 0.34 | 2014 |
| Safe parallel programming in ada with language extensions | 4 | 0.52 | 2014 |
| Tutorial: proving safety of parallel / multi-threaded programs. | 0 | 0.34 | 2013 |
| Bringing safe, dynamic parallel programming to the spark verifiable subset of ada | 0 | 0.34 | 2013 |
| Panel on compiler certification: should we trust our compiler? | 0 | 0.34 | 2012 |
| Tutorial: multicore programming using divide-and-conquer and work stealing | 0 | 0.34 | 2012 |
| Multicore, manycore, and cloud computing: is a new programming language paradigm required? | 0 | 0.34 | 2011 |
| Multicore programming in ParaSail: parallel specification and implementation language | 1 | 0.36 | 2011 |
| Experimenting with parasail: parallel specification and implementation language | 1 | 0.38 | 2011 |
| Supporting Deadlines and EDF Scheduling in Ada | 6 | 0.54 | 2004 |
| Keynote address: fixing software before it breaks | 1 | 0.63 | 2001 |
| Using Ada 95 in a compiler course | 0 | 0.34 | 2001 |
| What happened to integrated environments? (panel session) | 0 | 0.34 | 1999 |
| Programming Language Design and Software Quality | 0 | 0.34 | 1999 |
| Programming the Internet in Ada 95 | 16 | 3.53 | 1996 |
| OOP in Languages Providing Strong, Static Typing (Panel) | 0 | 0.34 | 1992 |
| Ada 9X: a technical summary | 17 | 1.31 | 1992 |
| Ada 9X and systems programming | 0 | 0.34 | 1992 |
| Ada 9X and OOP | 0 | 0.34 | 1992 |
| An object-based virtual operating system for the Ada programming support environment | 1 | 0.35 | 1982 |
| Diana as an internal representation in an Ada-in-Ada compiler. | 0 | 0.34 | 1982 |
