Michael Kuperstein

Affiliations:

According to our database¹, Michael Kuperstein authored at least 2 papers between 2010 and 2011.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2011

Partial-coherence abstractions for relaxed memory models.

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Automatic inference of memory fences.

[DOI]

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010