Browsing by Author Hu, G

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 10 of 10
TitleAuthor(s)Issue DateViews
 
2017
58
 
2015
29
 
2015
57
 
2014
30
 
2017
21
2012
17
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
18
 
2016
11
Verifying systems rules using rule-directed symbolic execution
Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
2013
20
2013
29