Roopsha Samanta (UT

Identifiers

• name variant Roopsha Samanta (UT 0.60 · backfill

Papers (1)

1. Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs cs.LO · 2012 · author #1

Mentions

• 1207.0868 #1 · backfill · confidence 0.70 Roopsha Samanta (UT

Frequent Coauthors

• Austin) 1 shared papers