Sotabase

Career

· Associate Program Director, Gastroenterology Fellowship, Bridgeport Hospital2022–
· Assistant Professor, Digestive Diseases, Yale University School of Medicine2022–
· Master of Health Science, Yale University2020–2022
· Fellow, Digestive Diseases, Yale University School of Medicine2019–2022
· Resident, Internal Medicine, Columbia University Irving Medical Center2016–2019
· Doctor of Medicine (M.D.), Yale University2011–2016
· Bachelor's Degree, Near Eastern Languages and Civilizations, Harvard University2007–2011

Publications (35)

Searching for type-error messages
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
98
cited
TeJaS: retrofitting type systems for JavaScript
Dynamic Languages Symposium · 2013
54
cited
A tested semantics for getters, setters, and eval in JavaScript
Dynamic Languages Symposium · 2012
53
cited
Verifying Web Browser Extensions' Compliance with Private-Browsing Mode
European Symposium on Research in Computer Security · 2013
37
cited
Seminal: searching for ML type-error messages
ML Workshop · 2006
34
cited
Synthesis of Recursive ADT Transformations from Reusable Templates
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2015
20
cited
Modeling and Reasoning about DOM Events
USENIX Conference on Web Application Development · 2012
19
cited
Combining Form and Function: Static Types for JQuery Programs
European Conference on Object-Oriented Programming · 2013
18
cited
Supporting dynamic, third-party code customizations in JavaScript using aspects
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2010
16
cited
Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics
Technical Symposium on Computer Science Education · 2021
15
cited
Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum
Technical Symposium on Computer Science Education · 2022
15
cited
C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications
USENIX Conference on Web Application Development · 2011
11
cited
Data Science as a Route to AI for Middle- and High-School Students
arXiv.org · 2020
11
cited
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types
arXiv.org · 2015
11
cited
Designing for extensibility and planning for conflict: experiments in web-browser design
2011
7
cited
Language support for extensible web browsers
APLWACA '10 · 2010
7
cited
Web API Verification : Results and Challenges
2012
6
cited
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
The Art, Science, and Engineering of Programming · 2019
5
cited
3rd Summit on Advances in Programming Languages, SNAPL 2019, Providence, RI, USA, May 16-17, 2019
Summit on Advances in Programming Languages · 2019
1
cited
Expanding Models for Physics Teaching: A Framework for the Integration of Computational Modeling
Education sciences · 2024
1
cited
Sotabase