Avi Dessauer

Austin, Texas, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
Avi Dessauer is a senior software engineer based in Austin with nine years of experience specializing in Rust and Haskell, particularly around type-driven development, low-level concurrency, garbage collection design, and property testing. He has shipped production and research-quality systems—from a concurrent GC prototype (Sundial-GC) to a TinyRAM-based zkSNARK VM—and consults on project architecture, data-oriented design, and memory optimization. His open-source footprint includes contributions to rust-analyzer parsing, Haskell IDE tooling (casesplit), and language-server robustness for Nickel, showing a mix of compiler front-end and developer-tooling expertise. Avi also improves real-world tooling and editors (coc.nvim, vista.vim) and maintains practical Rust projects like a cross-platform simple HTTP server, demonstrating attention to maintainability and security. He combines deep type-system thinking with pragmatic engineering choices, often exploiting immutability and monomorphism for performance and correctness.
code8 years of coding experience
job2 years of employment as a software developer
github-logo-circle

Github Skills (35)

parser10
http10
typescript10
language-server-protocol10
vim-plugin10
vim10
neovim10
language-server10
parsing10
parse10
typescript-types10
ghc10
error-handling10
rust-analyzer10
nickel10

Programming languages (35)

CDVim SnippetGoHTMLTypeScriptShellSolidity

Github contributions (5)

github-logo-circle
rust-lang/rust-analyzer

Mar 2019 - Mar 2025

A Rust compiler front-end for IDEs
Role in this project:
userBackend Developer
Contributions:3 PRs, 4 comments, 3 issues in 6 years
Contributions summary:Avi primarily focused on enhancing the Rust analyzer's parsing capabilities. Their commits involved implementing parsing logic for new language features, specifically those related to `default`, `unsafe`, and `const` keywords in trait implementations. They also updated existing test cases and added new ones to validate the correct parsing behavior. Their contributions directly impact the front-end analysis functionality of the Rust compiler.
rustlsp-servercompileridefront-end
haskell/haskell-ide-engine

Oct 2018 - Jan 2020

The engine for haskell ide-integration. Not an IDE
Role in this project:
userBack-end Developer
Contributions:54 commits, 19 PRs, 3 pushes in 1 year 3 months
Contributions summary:Avi focused on enhancing the Haskell IDE engine by implementing a "casesplit" code action. They added the casesplit command to the HaRe plugin, enabling the generation of pattern matches. Furthermore, they integrated the casesplit functionality with unit tests and functional tests, ensuring the feature's correctness and robustness. This involved modifications to the core engine, plugin code, and related test specifications, demonstrating a commitment to feature development and testing within the project.
ghchaskellcabalideservant
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.
Request Free Trial
Avi Dessauer