Bob Duff
Senior Software Engineer at AdaCore
Melrose, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolBob Duff is a senior software engineer and programming language designer with 20+ years of experience building compilers, static analysis tools, and runtimes for real-time, embedded, parallel, and distributed systems. He authored major portions of the Ada Language Reference Manual and has contributed Ada support to GCC, including Ada 2020 features and performance-focused low-level code improvements. A proven technical leader, Bob has driven on-time delivery of complex projects at AdaCore and prior firms while also consulting on language standards and compiler implementations since the 1980s. His background blends deep language theory with practical systems engineering—he’s implemented or influenced ten compilers and three static analyzers, and even designed parallel/distributed run-time systems. Based in Melrose, MA, he pairs Carnegie Mellon–level applied-math rigor with decades of hands-on compiler craftsmanship.
20 years of coding experience
14 years of employment as a software developer
Bachelor of Science (BS), Applied Mathematics with concentration in Computer Science, 3.6/4.0, Bachelor of Science (BS), Applied Mathematics with concentration in Computer Science, 3.6/4.0 at Carnegie Mellon University
English
Github Skills (7)
ada10
compiler-development10
data-structure9
code-generation9
data-structures9
type-inference8
computer-engineering8
Programming languages (5)
Github contributions (5)
gcc-mirror/gcc
Dec 2019 - Jun 2020
Role in this project:
Back-end Developer
Back-end DeveloperContributions:54 commits in 6 months
Contributions summary:Bob has primarily contributed to the Ada portion of the GCC compiler. Their contributions are focused on implementing and improving features related to the Ada programming language, including support for Ada 2020 features, type inference, and the handling of representation clauses. The user's work involves modifying and extending the compiler's internal data structures and code generation routines, with an emphasis on improving the performance of low-level code. They also have addressed several compiler crashes and issues that involved improved warnings and more efficient data handling.
AdaCore/libadalang-tools
Feb 2016 - Sep 2020
Libadalang-based tools
Contributions:405 commits in 4 years 7 months
erlang
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.