Travelled to:1 × Canada
1 × USA
Collaborated with:∅ J.Chang D.J.Richardson M.Curtiss I.Becker T.Bosman S.Doroshenko L.Grijincu T.Jackson S.Kunnatur S.Lassen P.Pronin G.Shen G.Woss C.Yang N.Zhang
Talks about:specif (2) structur (1) unicorn (1) consist (1) algebra (1) system (1) social (1) search (1) graph (1) check (1)
Person: Sriram Sankar
DBLP: Sankar:Sriram
Contributed to:
2013
19961991Wrote 3 papers:
- VLDB-2013-CurtissBBDGJKLPSSWYZ #graph #named #social
- Unicorn: A System for Searching the Social Graph (MC, IB, TB, SD, LG, TJ, SK, SL, PP, SS, GS, GW, CY, NZ), pp. 1150–1161.
- ISSTA-1996-ChangRS #testing
- Structural Specification-Based Testing with ADL (JC, DJR, SS), pp. 62–70.
- TAV-1991-Sankar #algebra #consistency #runtime #specification
- Run-Time Consistency Checking of Algebraic Specifications (SS), pp. 123–129.