This talk is part of the SQL or Death? Seminar Series.

Zoom Link: https://cmu.zoom.us/j/93441451665 (Passcode 261758)

Bio:
Michael (Sully) Sullivan is the lead compiler engineer at EdgeDB. Previously, he worked at Dropbox on the mypy typechecker for Python and was a principal developer of the mypyc compiler for typed Python. He completed his Ph.D at Carnegie Mellon University in 2017, advised by Karl Crary, writing a thesis on the design and implementation of a new language memory model for low level concurrency.