-
Università della Svizzera italiana
- Lugano, Switzerland
Kris Mok
rednaxelafx
Worked on the HotSpot and Zing JVMs in the past. Now working on Spark at Databricks. Compiler and managed runtime enthusiast.
Databricks Sunnyvale, CA
Li Yao
lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Coq.
Portland State University Portland, OR
Manu Sridharan
msridhar
UC Riverside professor, researching program analysis and developer tools. Member of @ucr-riple
Riverside, CA