BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
C.Min T.Kim B.Lee C.Song Jaeho Kim Ajit Mathew Madhava Krishnan Ramanathan Mohan Kumar Steffen Maass Ján Veselý Zi Yan A.Bhattacharjee T.Krishna
Talks about:
translat (1) version (1) correct (1) system (1) semant (1) updat (1) scale (1) multi (1) cross (1) coher (1)

Person: Sanidhya Kashyap

DBLP DBLP: Kashyap:Sanidhya

Contributed to:

SOSP 20152015
ASPLOS 20182018
ASPLOS 20192019

Wrote 3 papers:

SOSP-2015-MinKLSK #correctness #debugging #file system #semantics
Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.
ASPLOS-2018-KumarMKVYKBK #lazy evaluation #named
LATR: Lazy Translation Coherence (MK, SM, SK, JV, ZY, TK, AB, TK), pp. 651–664.
ASPLOS-2019-KimMKRM #multi #named #scalability
MV-RLU: Scaling Read-Log-Update with Multi-Versioning (JK, AM, SK, MKR, CM), pp. 779–792.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.