Spiros Eliopoulos is a software engineer in New York with 16 years of experience building production trading systems at Jane Street and founding technical startups. He brings deep OCaml expertise—contributing to the ocaml compiler and the widely used ocaml-cohttp library—and a research-to-production track record from projects like Frenetic/NetKAT, where a compiler rewrite yielded ~240x speedups. As founder and former CEO of Tracelytics he authored liboboe for distributed tracing, raised venture funding, and helped lead the company to acquisition; he currently runs Inhabited Type LLC, an NSF SBIR Phase I award recipient. His work spans compilers, protocol runtimes and async internals (including porting an OpenFlow runtime from Lwt to Async and improving async body handling), plus practical fixes such as formatter flushing and media-params parsing. Known for turning deep systems research into reliable, high-performance tooling, he thrives on solving complex distributed systems and developer-tooling challenges.
An OCaml library for HTTP clients and servers using Lwt or Async
Role in this project:
Back-end Developer
Contributions:8 commits, 6 PRs, 24 comments in 2 years 2 months
Contributions summary:Spiros primarily contributed to improving the `ocaml-cohttp` library, focusing on enhancing its asynchronous capabilities. They addressed issues related to body handling in asynchronous contexts, particularly in the `async` module. The user simplified body read/write completion detection, fixed pipe draining issues, and refactored the code to eliminate unnecessary thunks, optimizing the library's performance. Furthermore, the user modified the media-params parser.
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Backend Developer
Contributions:6 commits, 3 PRs, 4 comments in 16 days
Contributions summary:Spiros's contributions primarily focused on fixing printing issues related to type declarations and operator applications within the OCaml compiler. They addressed syntax errors and incorrect output formatting, specifically when dealing with private keywords and labeled arguments. Additionally, the user exposed a function to flush the formatter's internal queue and added documentation for the newly exposed function, improving the format API's functionality.
functional-languagecompilersruntime-systemapllwt
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.