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 14 of 14
TitleAuthor(s)Issue DateViews
 
2010
361
 
2008
179
 
2014
17
 
2012
274
 
2007
148
 
2014
52
 
2014
52
 
2012
308
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
16
2012
17
 
2011
317
 
2011
93
Verifying systems rules using rule-directed symbolic execution
Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
2013
16
2013
12