External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Directed synthesis of failing concurrent executions

Malavika Samak, Omer Tripp, Murali Krishna Ramanathan. Directed synthesis of failing concurrent executions. In Eelco Visser, Yannis Smaragdakis, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. pages 430-446, ACM, 2016. [doi]

Authors

Malavika Samak

This author has not been identified. Look up 'Malavika Samak' in Google

Omer Tripp

This author has not been identified. Look up 'Omer Tripp' in Google

Murali Krishna Ramanathan

This author has not been identified. Look up 'Murali Krishna Ramanathan' in Google
runs on