Travelled to:
1 × France
2 × USA
Collaborated with:
T.W.Reps L.Sterling B.Kimmett A.Thomo T.Sharma Ara Vartanian
Talks about:
machin (6) code (6) synthesi (3) relationship (1) experiment (1) hierarchi (1) framework (1) algorithm (1) recoveri (1) knowledg (1)
Person: Venkatesh Srinivasan
DBLP: Srinivasan:Venkatesh
Contributed to:
Wrote 8 papers:
- OOPSLA-2015-SrinivasanR #partial evaluation
- Partial evaluation of machine code (VS, TWR), pp. 860–879.
- PLDI-2015-SrinivasanR #semantics #synthesis
- Synthesis of machine code from semantics (VS, TWR), pp. 596–607.
- VLDB-2015-KimmettST #case study #fuzzy #pipes and filters
- Fuzzy Joins in MapReduce: An Experimental Study (BK, VS, AT), pp. 1514–1525.
- CC-2014-SrinivasanR #composition
- Recovery of Class Hierarchies and Composition Relationships from Machine Code (VS, TWR), pp. 61–84.
- KBSE-1993-SrinivasanS #framework #knowledge base
- A Knowledge Based Framework for Developing and Customizing Schedulers (VS, LS), p. 13.
- OOPSLA-2016-SrinivasanR #algorithm #slicing
- An improved algorithm for slicing machine code (VS, TWR), pp. 378–393.
- OOPSLA-2016-SrinivasanSR #synthesis
- Speeding up machine-code synthesis (VS, TS, TWR), pp. 165–180.
- OOPSLA-2017-SrinivasanVR #synthesis
- Model-assisted machine-code synthesis (VS, AV, TWR), p. 26.