Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

interfaces_for_atomicity [2007/06/21 15:55]
vasu.singh
interfaces_for_atomicity [2007/06/21 15:56] (current)
vasu.singh
Line 2: Line 2:
 static analysis for atomicity for non-blocking programs(http://​portal.acm.org/​citation.cfm?​doid=1065944.1065953). static analysis for atomicity for non-blocking programs(http://​portal.acm.org/​citation.cfm?​doid=1065944.1065953).
  
-The presentation is here. {{savcourse-atomicityinterfaces-relatedwork.ppt|}}+The presentation is {{savcourse-atomicityinterfaces-relatedwork.ppt|here.}}
  
 The project aims at developing an assume-guarantee reasoning for atomicity of concurrent threads in a program. The idea is to capture the behavior of each thread The project aims at developing an assume-guarantee reasoning for atomicity of concurrent threads in a program. The idea is to capture the behavior of each thread
-as an interface, and to check for compatibility of interfaces to reason about the atomicity of the original program.+as an interface, and to check for compatibility of interfaces to reason about the atomicity of the original program. ​The final presentation is {{final_presentation_-_interfaces_for_atomicity.ppt|here.}}
 
interfaces_for_atomicity.txt · Last modified: 2007/06/21 15:56 by vasu.singh