| Local reasoning about programs that alter data structures P O’Hearn, J Reynolds, H Yang Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual …, 2001 | 1019 | 2001 |
| Resources, concurrency, and local reasoning PW O’hearn Theoretical Computer Science 375 (1), 271-307, 2007 | 905 | 2007 |
| BI as an assertion language for mutable data structures SS Ishtiaq, PW O'Hearn Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001 | 887 | 2001 |
| The logic of bunched implications PW O'Hearn, DJ Pym Bulletin of Symbolic Logic 5 (2), 215-244, 1999 | 693 | 1999 |
| Compositional shape analysis by means of bi-abduction C Calcagno, D Distefano, PW O’hearn, H Yang Journal of the ACM (JACM) 58 (6), 26, 2011 | 643 | 2011 |
| Smallfoot: Modular automatic assertion checking with separation logic J Berdine, C Calcagno, PW O’hearn Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006 | 523 | 2006 |
| Permission accounting in separation logic R Bornat, C Calcagno, P O'Hearn, M Parkinson Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 507 | 2005 |
| 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 | 441 | 2006 |
| Symbolic execution with separation logic J Berdine, C Calcagno, PW O’hearn Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005 | 437 | 2005 |
| Moving fast with software verification C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ... NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 342 | 2015 |
| 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 | 336 | 2007 |
| Scalable shape analysis for systems code H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P O’Hearn Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 319 | 2008 |
| Separation and information hiding PW O'Hearn, H Yang, JC Reynolds Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 315 | 2004 |
| 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 | 290 | 2007 |
| A decidable fragment of separation logic J Berdine, C Calcagno, PW O’hearn FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005 | 281 | 2005 |
| Abstraction for concurrent objects I Filipović, P O’Hearn, N Rinetzky, H Yang Theoretical Computer Science 411 (51), 4379-4398, 2010 | 207 | 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 | 207 | 2001 |
| Possible worlds and resources: the semantics of BI DJ Pym, PW O'Hearn, H Yang Theoretical Computer Science 315 (1), 257-305, 2004 | 198 | 2004 |
| A semantic basis for local reasoning H Yang, P O’Hearn Foundations of Software Science and Computation Structures: 5th …, 2002 | 192 | 2002 |
| Parametricity and local variables PW O'Hearn, RD Tennent Journal of the ACM (JACM) 42 (3), 658-709, 1995 | 169 | 1995 |
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
