author-photo

Manu Sridharan

Samsung

18

Papers

423

Citations

Citation Trend

Filter By

Papers (7) Sort By

Journal Conference Others

IOTA: a calculus for internet of things automation

2017 Onward! | SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Show All
- Source
- Cite
- Save
Citations (11)
Type inference for static compilation of JavaScript

2016 OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications
Show All
- Source
- Cite
- Save
Citations (0)
A practical framework for type inference error explanation

2016 OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications
Show All
- Source
- Cite
- Save
Citations (22)
In defense of soundiness: a manifesto

2015 Communications of The ACM
Show All
- Source
- Cite
- Save
Citations (166)
Selective control-flow abstraction via jumping

2015 OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications
Show All
- Source
- Cite
- Save
Citations (20)
Selective control-flow abstraction via jumping

2015 OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications
Show All
- Source
- Cite
- Save
Citations (0)
Translating imperative code to MapReduce

2014 OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications
Show All
- Source
- Cite
- Save
Citations (38)