Anindya Banerjee -

Registered user since Sat 7 Nov 2020

Name:Anindya Banerjee

Country:Spain

Affiliation:IMDEA Software Institute

Personal website: https://software.imdea.org/~ab

Contributions

2023

PLDI

Author of Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning within the PLDI Research Papers-track

2021

POPL

Author of On Algebraic Abstractions for Concurrent Separation Logics within the POPL-track

CPP

Author of A Formal Proof of PAC Learnability for Decision Stumps within the CPP 2021-track

2020

LAFI

Author of Coinductive Trees for Exact Inference of Probabilistic Programs within the LAFI (né PPS)-track

2019

SPLASH

2017

ECOOP

Author of Concurrent Data Structures Linked in Time within the ECOOP Research Papers-track

2016

SPLASH

Author of Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects within the OOPSLA-track

HOPE

Author of Concurrent Data Structures Linked in Time within the HOPE-track

2015

PLDI

Author of Mechanized Verification of Fine-grained Concurrent Programs within the Research Papers-track

ESOP

Author of Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity within the ESOP-track