Sotabase

Career

· Research Assistant, University of Maryland2018–
· PhD in Computer Science, University of Maryland2017–
· B.Tech. in System Science, Indian Institute of Technology Jodhpur2011–

Publications (10)

Transparent object proxies for javascript
Software Engineering · 2015
14
cited
Type-level computations for Ruby libraries
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2019
12
cited
RbSyn: type- and effect-guided program synthesis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
11
cited
Absynthe: Abstract Interpretation-Guided Synthesis
Proc. ACM Program. Lang. · 2023
9
cited
ANOSY: approximated knowledge synthesis with refinement types for declassification
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2022
1
cited
Replication Package for Article: RbSyn: Type- and Effect-Guided Program Synthesis
Artifact Digital Object Group · 2021
1
cited
Transparent Object Proxies in JavaScript
European Conference on Object-Oriented Programming · 2015
1
cited
Program Synthesis with Lightweight Abstractions
2023
Replication package for paper
Artifact Digital Object Group · 2019
Transparent Object Proxies for JavaScript (Artifact)
Dagstuhl Artifacts Ser. · 2015
Sotabase
Sankha Narayan Guria | Researcher Profile | Sotabase | Sotabase