Effective Race Detection for Event-Driven Programs - Research Collection

Metadata only

Author

Raychev, Veselin

Vechev, Martin

Sridharan, Manu

Date

2013

Type

Conference Paper

Citations

Cited 15 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1145/2509136.2509538

Book title

OOPSLA '13 : Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications

Journal / series

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Pages / Article No.

151 - 166

Publisher

ACM

Event

OOPSLA '13, Indianapolis, Indiana, USA, October 29–31, 2013

Subject

Asynchrony; Concurrency; Nondeterminism; Race Detection; Web

Organisational unit

03948 - Vechev, Martin / Vechev, Martin

Notes

.

More

Show all metadata

Citations

Cited 15 times in Web of Science

ETH Bibliography

yes

Altmetrics