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: Kashyap:Sanidhya
Contributed to:
2015
20182019Wrote 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.