Carnot: A highly Scalable and Responsive BFT Consensus protocol.
CoRR, 2023
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.
ACM Trans. Program. Lang. Syst., 2017
The Virtues of Conflict: Analyzing Modern Concurrency.
CoRR, 2016
The virtues of conflict: analysing modern concurrency.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016
When truth is efficient: analysing concurrency.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.
Proceedings of the FM 2014: Formal Methods, 2014
Asymmetric interactions in symmetric multi-core systems: analysis, enhancements and evaluation.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008
Impact of Network Sharing in Multi-Core Architectures.
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008
An Analysis of 10-Gigabit Ethernet Protocol Stacks in Multicore Environments.
Proceedings of the 15th Annual IEEE Symposium on High-Performance Interconnects, 2007
4-Systolic Broadcasting in a Wrapped Butterfly Network.
Proceedings of the Distributed Computing, 2002