Larry Diehl Email & Phone Number

Autofix Failed Builds

New York, New York, Us

Lead team of 8, as both manager and individual contributor, building a language running on production systems at Vanguard and State Street.Worked on language design and implementation of SymPL (Symbiont Programming Language):* Modular architecture that separates** the runtime** the transpiler of a Pythonesque surface language** the elaborator, type checker, compiler, and interpreter of an ML-family core language* Powerful type system that implements Semantic Subtyping, inspired by CDuce** Supports Union, Intersection, and Negation types.** isinstance-style type refinement based on efficient runtime subtype checking.*** Efficient algorithms and data structures from the world of SAT-solvers like lazy BDD’s.** Powerful generic programming (e.g. de/serialization) via isinstance on recursive union types and interfaces.** Intuitive support for types like JSON via untagged unions, avoiding the need to pack and unpack data.** Principal spine-local type inference.** Extended semantic subtyping with forall and exists, used for surface language object encodings.* Optimizing compiler to a CPS IR.** Kennedy-style restricted “local” continuations, as in SML.NET, enabling efficient compilation.** A CPU-and-memory-efficient efficient tail-recursive interpreter for the CPS IR.** Support for global state and exception effects (compiled as “double-barreled” continuations).* Software engineering and semi-formal methods enabling a small team to iterate with confidence:** Concrete languages (round-tripping parsers and pretty printers) for both Direct-Style and CPS core language IR’s.** Heavy uses of property testing and unit testing, especially for the core language and its various pieces.** Executable reference models for subtype checker (set-theoretic) and term semantics (small step), tested against efficient implementations.** Well-kinded type and well-typed term generators for property tests, enabling high coverage over the space of programs.

Iowa City, Iowa, Us

• Research on generic programming and zero-cost reuse in Curry-style dependent type theory.• Contributed to the development of the dependently typed Cedille language.

Portland, Or, Us

• Generic dependently typed programming over type theoretic models using Agda.• Formal correctness proofs of programming languages (especially semantic termination) using Agda.• Implementation of dependently typed languages (Ditto and Spire) using Haskell.• Co-authored and awarded NSF/CISE/CCF grant #1320934

Austin, Texas, Us

• Worked on a cloud hosting platform on top of Amazon Web Services (AWS).• Ruby web application and API programming using Ruby on Rails and Sinatra.• Ruby system automation using Chef.• Unit testing using RSpec.• Integration testing using Cucumber and Selenium.

Fully-Remote Workplace, Us

• Worked on a social media advertising platform.• Ruby web application and API programming using Ruby on Rails.• Unit testing using RSpec.

• Worked on medical resident management software.• Ruby web application programming using Ruby on Rails.• Unit testing using Test::Unit.

Doctor Of Philosophy - Phd, Computer Science

Bachelor Of Science - Bs, Information System Technology