4 papers
Efficient Parallel Execution of Blockchain Transactions Leveraging Conflict Specifications
Parwat Singh Anjana, Matin Amini, Rohit Kapoor +4
Parallel execution of smart contract transactions in large multicore architectures is critical for higher efficiency and improved throughput. The main bottleneck for maximizing the…
Superflows: A New Tool for Forensic Network Flow Analysis
Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh +3
Network security analysts gather data from diverse sources, from high-level summaries of network flow and traffic volumes to low-level details such as service logs from servers and…
Data-Driven Template-Free Invariant Generation
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman +1
Automatic verification of concurrent programs faces state explosion due to the exponential possible interleavings of its sequential components coupled with large or infinite state…
On the Cost of Concurrency in Transactional Memory
Srivatsan Ravi
Traditional techniques for synchronization are based on \emph{locking} that provides threads with exclusive access to shared data. \emph{Coarse-grained} locking typically forces th…