Showing results 1 to 4 of 4
Title | Author(s) | Issue Date | |
---|---|---|---|
Sound and precise analysis of parallel programs through schedule specialization Proceeding/Conference:Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | 2012 | ||
Sound and precise analysis of parallel programs through schedule specialization Proceeding/Conference:ACM SIGPLAN Notices | 2012 | ||
Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS | 2013 | ||
Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:ACM SIGPLAN Notices | 2013 |