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 27 to 36 of 36 < previous 
TitleAuthor(s)Issue DateViews
2012
44
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
54
 
2011
194
 
2011
33
 
2018
76
 
2017
84
 
2019
 
The ‘dual motives’ of written assignments in an MEd programme
Proceeding/Conference:17th Symposium for Second Language Writing
2018
18
2013
52
Verifying systems rules using rule-directed symbolic execution
Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
2013