Login / Signup
Koustubha Bhat
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 10
Top Topics
Fine Grained
Technical Report
Granular Computing
Memory Capacity
Top Venues
CoRR
DSN
ASPLOS
MICRO
</>
Publications
</>
Martin Beck
,
Koustubha Bhat
,
Lazar Stricevic
,
Geng Chen
,
Diogo Behrens
,
Ming Fu
,
Viktor Vafeiadis
,
Haibo Chen
,
Hermann Härtig
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM.
ASPLOS (2)
(2023)
Koustubha Bhat
,
Erik van der Kouwe
,
Herbert Bos
,
Cristiano Giuffrida
FIRestarter: Practical Software Crash Recovery with Targeted Library-level Fault Injection.
DSN
(2021)
Gabriel Ryan
,
Abhishek Shah
,
Dongdong She
,
Koustubha Bhat
,
Suman Jana
Fine Grained Dataflow Tracking with Proximal Gradients.
USENIX Security Symposium
(2021)
Jonas Oberhauser
,
Rafael Lourenco de Lima Chehab
,
Diogo Behrens
,
Ming Fu
,
Antonio Paolillo
,
Lilith Oberhauser
,
Koustubha Bhat
,
Yuzhong Wen
,
Haibo Chen
,
Jaeho Kim
,
Viktor Vafeiadis
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report).
CoRR
(2021)
Jonas Oberhauser
,
Rafael Lourenco de Lima Chehab
,
Diogo Behrens
,
Ming Fu
,
Antonio Paolillo
,
Lilith Oberhauser
,
Koustubha Bhat
,
Yuzhong Wen
,
Haibo Chen
,
Jaeho Kim
,
Viktor Vafeiadis
VSync: push-button verification and optimization for synchronization primitives on weak memory models.
ASPLOS
(2021)
Koustubha Bhat
,
Erik van der Kouwe
,
Herbert Bos
,
Cristiano Giuffrida
ProbeGuard: Mitigating Probing Attacks Through Reactive Program Transformations.
ASPLOS
(2019)
Hiroshi Sasaki
,
Miguel A. Arroyo
,
M. Tarek Ibn Ziad
,
Koustubha Bhat
,
Kanad Sinha
,
Simha Sethumadhavan
Practical Byte-Granular Memory Blacklisting using Califorms.
MICRO
(2019)
Hiroshi Sasaki
,
Miguel A. Arroyo
,
M. Tarek Ibn Ziad
,
Koustubha Bhat
,
Kanad Sinha
,
Simha Sethumadhavan
Practical Byte-Granular Memory Blacklisting using Califorms.
CoRR
(2019)
Gabriel Ryan
,
Abhishek Shah
,
Dongdong She
,
Koustubha Bhat
,
Suman Jana
Fine Grained Dataflow Tracking with Proximal Gradients.
CoRR
(2019)
Koustubha Bhat
,
Dirk Vogt
,
Erik van der Kouwe
,
Ben Gras
,
Lionel Sambuc
,
Andrew S. Tanenbaum
,
Herbert Bos
,
Cristiano Giuffrida
OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems.
DSN
(2016)