Boris Shingarov designs open-source dynamic language VMs at LabWare. Currently Boris works on formal proof of correctness of JIT compilers, particularly for open-source ISAs. In the past, Boris has contributed to the creation of large-scale open-source software ecosystems through being one of the Founding Committers of Eclipse, and is a regular speaker at various ACM SIGPLAN and SIGARCH conferences.