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 12 of 12
TitleAuthor(s)Issue DateViews
 
2010
357
 
2008
177
 
2014
14
 
2012
267
 
2007
144
 
2012
299
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
16
 
2011
309
 
2011
84
Verifying systems rules using rule-directed symbolic execution
Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
2013
14
2013
12