26 citations · 35 across the 5 of their papers we have counts for
5 papers
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty +3
Over the years, several memory models have been proposed to capture the subtle concurrency semantics of C/C++.One of the most fundamental problems associated with a memory model M…
On Architecture to Architecture Mapping for Concurrency
Soham Chakraborty
Mapping programs from one architecture to another plays a key role in technologies such as binary translation, decompilation, emulation, virtualization, and application migration.…
Aspect-oriented linearizability proofs
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin +1
Linearizability of concurrent data structures is usually proved by monolithic simulation arguments relying on the identification of the so-called linearization points. Regrettably,…
Real-Time Data Driven Wildland Fire Modeling
Jonathan D. Beezley, Soham Chakraborty, Janice L. Coen +4
We are developing a wildland fire model based on semi-empirical relations that estimate the rate of spread of a surface fire and post-frontal heat release, coupled with WRF, the We…
Towards a Real-Time Data Driven Wildland Fire Model
Jan Mandel, Jonathan D. Beezley, Soham Chakraborty +4
A wildland fire model based on semi-empirical relations for the spread rate of a surface fire and post-frontal heat release is coupled with the Weather Research and Forecasting atm…