About me
Email: ernest@cs.cornell.edu
GitHub: ngernest
Hi! I’m a first-year Computer Science PhD student at Cornell, working on programming languages research. I’m fortunate to be co-advised by Nate Foster and Alexandra Silva. I’m interested in type systems, program logics, proof assistants and property-based testing.
I previously studied at Penn, majoring in Math & CS. At Penn, I worked on property-based testing research, advised by Harry Goldstein & Benjamin Pierce. Before grad school, I worked in industry for a year as a data engineer.
Outside of PL, I enjoy playing the pipe organ and running.
Feel free to take a look at my resume, or the projects page on this site!
Research
-
Mica: Automated Differential Testing for OCaml Modules
Ernest Ng, Harrison Goldstein, Benjamin Pierce
OCaml Workshop 2024 [Slides] [Talk Video] [Code] -
Automated Differential Testing for OCaml Modules
Ernest Ng
ICFP 2023 SRC (2nd place)
Recent News
- Oct 2024. Gave an invited talk on Mica at Bloomberg.
- Sept 2024. Attended ICFP ’24 & presented an OCaml Workshop paper about Mica. Milan, Italy
- Sept 2023. Presented a Mica prototype at the ICFP ’23 SRC. Seattle, WA
- Aug 2023. Received a travel award for the Cornell, Maryland & Max Planck Research School (CMMRS), held at MPI-SWS. Saarbrücken, Germany
- June 2023. Attended the Oregon Programming Languages Summer School (OPLSS). Eugene, OR
Teaching
At Penn, I served as a TA for the following courses: