• Sign in
  • Sign up
conf.researchr.org / Siddharth Krishna
  • ECOOP and ISSTA 2018 profile
  • PLDI 2020 profile
  • POPL 2018 profile
  • POPL 2022 profile
  • SPLASH 2021 profile
Siddharth Krishna

Registered user since Wed 1 Nov 2017

Name:Siddharth Krishna
Country:United Kingdom
Affiliation:Microsoft Research
Personal website: http://www.cs.nyu.edu/~siddharth/
Research interests:Compiers for Machine Learning, Concurrency, Separation Logic

Contributions

2022

VMCAI

  • PC Member in Program Committee within the VMCAI 2022-track

2021

SPLASH

  • Author of Verifying Concurrent Multicopy Search Structures within the Posters-track
  • Author of Verifying Concurrent Multicopy Search Structures within the OOPSLA-track
  • Author of Verifying Concurrent Search Structure Templates within the SIGPLAN Papers-track

2020

PLDI

  • Author of Verifying Concurrent Search Structure Templates within the PLDI Research Papers-track

2018

FTfJP

  • Committee Member in Program Committee within the FTfJP-track

POPL

  • Author of Go with the Flow: Compositional Abstractions for Concurrent Data Structures within the Research Papers-track
Share
xMon 12 May 08:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up