Sotabase

Career

· PhD in Computer Science, Northeastern University
· Associate Professor, Northwestern University

Publications (0)

Gradual typing for first-class classes
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2012
237
cited
Run your research: on the effectiveness of lightweight mechanization
ACM-SIGACT Symposium on Principles of Programming Languages · 2012
123
cited
Correct blame for contracts: no more scapegoating
ACM-SIGACT Symposium on Principles of Programming Languages · 2011
90
cited
Complete Monitors for Behavioral Contracts
European Symposium on Programming · 2012
69
cited
On contract satisfaction in a higher-order world
TOPL · 2011
46
cited
FunTAL: reasonably mixing a functional language with assembly
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
39
cited
Declarative Policies for Capability Control
IEEE Computer Security Foundations Symposium · 2014
30
cited
SHILL: A Secure Shell Scripting Language
USENIX Symposium on Operating Systems Design and Implementation · 2014
28
cited
Oh Lord, please don't let contracts be misunderstood (functional pearl)
ACM SIGPLAN International Conference on Functional Programming · 2016
21
cited
Whip: higher-order contracts for modern services
Proc. ACM Program. Lang. · 2017
20
cited
Extensible access control with authorization contracts
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2016
19
cited
Future contracts
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming · 2009
19
cited
Artifact for
Artifact Digital Object Group · 2019
17
cited
Option contracts
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2013
17
cited
Complete monitors for gradual types
Proc. ACM Program. Lang. · 2019
15
cited
How to evaluate blame for gradual types
Proc. ACM Program. Lang. · 2021
14
cited
Does blame shifting work?
Proc. ACM Program. Lang. · 2019
11
cited
A Transient Semantics for Typed Racket
The Art, Science, and Engineering of Programming · 2021
10
cited
Typed–Untyped Interactions: A Comparative Analysis
ACM Transactions on Programming Languages and Systems · 2023
8
cited
How to Evaluate Blame for Gradual Types, Part 2
Proc. ACM Program. Lang. · 2023
7
cited
Sotabase