Publications

Synthesizing Cluster Management Code for Distributed Systems

AuthID
P-00Q-PNA

Author(s)

Suresh, L

Loff, J

Narodytska, N

Ryzhyk, L

Sagiv, M

Oki, B

Document Type

Proceedings Paper

Year published

2019

Published

in PROCEEDINGS OF THE WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS (HOTOS '19)

Pages: 45-50 (6)

Conference

Workshop on Hot Topics in Operating Systems (Hotos), Date: MAY 13-15, 2019, Location: Bertinoro, ITALY, Sponsors: ACM Special Interest Group on Operating Systems (SIGOPS)

Indexing

Wos^®

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/3317550.3321444

SCOPUS: 2-s2.0-85066916059

Wos: WOS:000474421800007

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Synthesizing Cluster Management Code for Distributed Systems

Useful Links

Get Help

Federated Authentication (Click on the image)

Synthesizing Cluster Management Code for Distributed Systems

Useful Links

Get Help