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 6 of 6
TitleAuthor(s)Issue Date
 
2017
 
2015
 
2017
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
 
The ‘dual motives’ of written assignments in an MEd programme
Proceeding/Conference:17th Symposium for Second Language Writing
2018
Verifying systems rules using rule-directed symbolic execution
Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
2013