Sotabase

Career

· Teaching Assistant, MIT2009–2008
· Research Collaboration, EPFL
· Software Engineer, Google
· Google
· Research Collaboration, Microsoft Research
· Research Internship, Microsoft Research
· Computer Science PhD Student, MIT
· Master of Engineering, MIT

Publications (44)

A language for automatically enforcing privacy policies
ACM-SIGACT Symposium on Principles of Programming Languages · 2012
188
cited
Sentiment Analysis of Movie Review Comments
2009
67
cited
Unifying execution of imperative and declarative code
International Conference on Software Engineering · 2011
58
cited
A colorful approach to text processing by example
ACM Symposium on User Interface Software and Technology · 2013
52
cited
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2016
37
cited
Collections, Cardinalities, and Relations
International Conference on Verification, Model Checking and Abstract Interpretation · 2010
35
cited
Bounded Verification of Voting Software
Verified Software: Theories, Tools, Experiments · 2008
33
cited
Agile specifications
OOPSLA Companion · 2009
25
cited
A Lightweight Specification Language for Bounded Program Verification
2009
23
cited
Data-driven synthesis for object-oriented frameworks
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2011
23
cited
DemoMatch: API discovery from demonstrations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
15
cited
Stepwise refinement of heap-manipulating code in Chalice
Formal Aspects of Computing · 2012
11
cited
Sentiment Analysis of Movie
2009
9
cited
Automated Stepwise Refinement of Heap-Manipulating Code Manuscript KRML 211 – October 9 , 2010
2010
2
cited
DIRICHLET'S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS
2006
2
cited
Program synthesis from execution traces and demonstrations
2016
1
cited
BitTAKA : Anonymous BitTorrent
2008
DECIMAL EXPANSIONS OF THE INVERSES OF PRIME NUMBERS
2007
Euler-Maclaurin Formula
2005
MIT Open Access Articles Bounded verification of voting software
Sotabase