Rokhini Prabhu

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Design Considerations

Embedded Systems

Top Venues

Publications

Max Willsey, Rokhini Prabhu, Frank Pfenning
Design and Implementation of Concurrent C0. LINEARITY (2016)