Flash Sheridan

Flash Sheridan has worked in the software engineering and quality assurance field since 1998. In 1998, they began as a System Test Lead for Palm VII Servers as a contractor and was later hired as an employee. From 2001 to 2007, they worked at PalmSource/Palm as a Senior QA Lead for Developer Tools. During this time, they were responsible for the PalmSource ARM-native compiler, and no bugs were reported after its release. In 2007, they became a Static Analysis Engineer as a contractor for Palm, Inc. and was later hired as an employee. From 2009 to 2011, they worked at Qualcomm/Code Integrity Solutions as a Senior Consultant, where they used Klocwork, PC-lint, and Coverity for the detection of bugs and security vulnerabilities in mobile telephony software. From 2011 to 2012, they worked at Bell Labs/Alcatel-Lucent as a Software Security Static Analyst, where they used Coverity and Klocwork for the detection of security vulnerabilities in mobile telephony infrastructure. From 2012 to 2017, they worked at Apple as a Compiler Quality Engineer, where they tested Swift and the LLVM/Clang compiler/static analyzer via a Python test harness. In 2018, they became a Compiler Quality Assurance Lead at Axoni, where they tested the Axoni compiler for AxLang, a new Scala-based language for blockchain smart contracts on Ethereum-compatible networks. From 2021 to 2022, they worked at Mythic AI as a Compiler Software Quality Assurance Engineer, where they tested C++ tools for an Analog Matrix Processor coupled to a RISC-V CPU for edge machine learning, via Docker and Bazel. Currently, they are a Senior Compiler Test Engineer at Matter Labs.

Flash Sheridan received a B.A. in Mathematics and Philosophy from Yale University, followed by an A.B.D. (thesis complete) in Mathematical Logic from the University of Oxford. Prior to this, they attended Phillips Exeter Academy.