activity
20082026
most citedFast Monte Carlo Estimation of Timing Yield: Importance Sampling with Stochastic Logical Effort (ISLE)

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2018

Reasoning About TSO Programs Using Reduction and Abstraction

Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil +1

We present a method for proving that a program running under the Total Store Ordering (TSO) memory model is robust, i.e., all its TSO computations are equivalent to computations un…