Seguir
Hongseok Yang
Hongseok Yang
Professor, School of Computing, KAIST
Dirección de correo verificada de kaist.ac.kr - Página principal
Título
Citado por
Citado por
Año
Local reasoning about programs that alter data structures
P O’Hearn, J Reynolds, H Yang
Computer Science Logic, 1-19, 2001
10592001
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
6592011
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
5242012
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
4432006
Separation and information hiding
PW O'Hearn, H Yang, JC Reynolds
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 11, 2009
374*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
3452007
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
3202008
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
2912007
Replicated data types: specification, verification, optimality
S Burckhardt, A Gotsman, H Yang, M Zawirski
ACM Sigplan Notices 49 (1), 271-284, 2014
288*2014
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
2272013
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
2112001
Abstraction for concurrent objects
I Filipović, P O’Hearn, N Rinetzky, H Yang
Theoretical Computer Science 411 (51-52), 2010
2082010
Possible worlds and resources: the semantics of BI
DJ Pym, PW O'hearn, H Yang
Theoretical Computer Science 315 (1), 257-305, 2004
2002004
An introduction to probabilistic programming
JW van de Meent, B Paige, H Yang, F Wood
arXiv preprint arXiv:1809.10756, 2018
1952018
A semantic basis for local reasoning
H Yang, P O’Hearn
International Conference on Foundations of Software Science and Computation …, 2002
1932002
'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
1802016
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
1642017
Relational separation logic
H Yang
Theoretical Computer Science 375 (1-3), 308-334, 2007
1642007
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
1582016
Design and implementation of probabilistic programming language anglican
D Tolpin, JW van de Meent, H Yang, F Wood
Proceedings of the 28th Symposium on the Implementation and Application of …, 2016
1332016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20