Local reasoning about programs that alter data structures P O’Hearn, J Reynolds, H Yang Computer Science Logic, 1-19, 2001 | 1091 | 2001 |
Compositional shape analysis by means of bi-abduction C Calcagno, D Distefano, PW O’hearn, H Yang Journal of the ACM (JACM) 58 (6), 1-66, 2011 | 688 | 2011 |
Automated concolic testing of smartphone apps S Anand, M Naik, MJ Harrold, H Yang Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 538 | 2012 |
A local shape analysis based on separation logic D Distefano, PW O’hearn, H Yang Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006 | 448 | 2006 |
Separation and information hiding PW O'Hearn, H Yang, JC Reynolds ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 11, 2009 | 377* | 2009 |
Local action and abstract separation logic C Calcagno, PW O'Hearn, H Yang 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 366-378, 2007 | 346 | 2007 |
Scalable shape analysis for systems code H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P O’Hearn International Conference on Computer Aided Verification, 385-398, 2008 | 332 | 2008 |
Shape analysis for composite data structures J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ... Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 297 | 2007 |
Replicated data types: specification, verification, optimality S Burckhardt, A Gotsman, H Yang, M Zawirski ACM Sigplan Notices 49 (1), 271-284, 2014 | 293* | 2014 |
An introduction to probabilistic programming JW van de Meent, B Paige, H Yang, F Wood arXiv preprint arXiv:1809.10756, 2018 | 228 | 2018 |
Views: compositional reasoning for concurrent programs T Dinsdale-Young, L Birkedal, P Gardner, M Parkinson, H Yang Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2013 | 225 | 2013 |
Abstraction for concurrent objects I Filipović, P O’Hearn, N Rinetzky, H Yang Theoretical Computer Science 411 (51-52), 2010 | 215 | 2010 |
Computability and complexity results for a spatial assertion language for data structures C Calcagno, H Yang, PW O’hearn FST TCS 2001: Foundations of Software Technology and Theoretical Computer …, 2001 | 213 | 2001 |
Possible worlds and resources: the semantics of BI DJ Pym, PW O'hearn, H Yang Theoretical Computer Science 315 (1), 257-305, 2004 | 206 | 2004 |
A semantic basis for local reasoning H Yang, P O’Hearn International Conference on Foundations of Software Science and Computation …, 2002 | 194 | 2002 |
'Cause i'm strong enough: reasoning about consistency choices in distributed systems A Gotsman, H Yang, C Ferreira, M Najafzadeh, M Shapiro Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 190 | 2016 |
A convenient category for higher-order probability theory C Heunen, O Kammar, S Staton, H Yang 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 188 | 2017 |
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints S Staton, H Yang, F Wood, C Heunen, O Kammar Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 170 | 2016 |
Relational separation logic H Yang Theoretical Computer Science 375 (1-3), 308-334, 2007 | 169 | 2007 |
On nesting Monte Carlo estimators T Rainforth, R Cornish, H Yang, A Warrington, F Wood International Conference on Machine Learning, 4264-4273, 2018 | 153* | 2018 |