Login / Signup
Ohad Rau
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Wireless Sensor Networks
Databases
Concurrent Programming
Linear Model
Top Venues
Dagstuhl Artifacts Ser.
ECOOP
</>
Publications
</>
Ohad Rau
,
Caleb Voss
,
Vivek Sarkar
Linear Promises: Towards Safer Concurrent Programming.
ECOOP
(2021)
Ohad Rau
,
Caleb Voss
,
Vivek Sarkar
Linear Promises: Towards Safer Concurrent Programming (Artifact).
Dagstuhl Artifacts Ser.
7 (2) (2021)