(1 - 9 from 9
)
Discover[i]: Component-based Parameterized Reasoning for Distributed...
www.csail.mit.edu
Roopsha Samanta is an Assistant Professor in the Department of Computer Science at Purdue University. Her research mission is to make it ...
PL Seminar: Concurrent Trace Sets for Synchronization Synthesis –...
www.khoury.northeastern.edu
Title: Concurrent Trace Sets for Synchronization Synthesis. Speaker: Roopsha Samanta, Assistant Professor of Computer Science at Purdue ...
sorted by relevance / date