Koustubha Bhat

According to our database, Koustubha Bhat authored at least 8 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM.

Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2021

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report).

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

CoRR, 2021

Fine Grained Dataflow Tracking with Proximal Gradients.

Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana

Proceedings of the 30th USENIX Security Symposium, 2021

FIRestarter: Practical Software Crash Recovery with Targeted Library-level Fault Injection.

Koustubha Bhat, Erik van der Kouwe, Herbert Bos, Cristiano Giuffrida

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

VSync: push-button verification and optimization for synchronization primitives on weak memory models.

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

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2019

Practical Byte-Granular Memory Blacklisting using Califorms.

Hiroshi Sasaki, Miguel A. Arroyo, M. Tarek Ibn Ziad, Koustubha Bhat, Kanad Sinha, Simha Sethumadhavan

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

ProbeGuard: Mitigating Probing Attacks Through Reactive Program Transformations.

Koustubha Bhat, Erik van der Kouwe, Herbert Bos, Cristiano Giuffrida

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2016

OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems.

Koustubha Bhat, Dirk Vogt, Erik van der Kouwe, Ben Gras, Lionel Sambuc, Andrew S. Tanenbaum, Herbert Bos, Cristiano Giuffrida

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016