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
10452001
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
6552011
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
5142012
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
4422006
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
3422007
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
Separation and information hiding
PW O'Hearn, H Yang, JC Reynolds
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
3112004
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
2922007
Replicated data types: specification, verification, optimality
S Burckhardt, A Gotsman, H Yang, M Zawirski
ACM Sigplan Notices 49 (1), 271-284, 2014
283*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
2222013
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
2102001
Abstraction for concurrent objects
I Filipović, P O’Hearn, N Rinetzky, H Yang
Theoretical Computer Science 411 (51-52), 2010
2072010
Possible worlds and resources: the semantics of BI
DJ Pym, PW O'hearn, H Yang
Theoretical Computer Science 315 (1), 257-305, 2004
2002004
A semantic basis for local reasoning
H Yang, P O’Hearn
International Conference on Foundations of Software Science and Computation …, 2002
1922002
An introduction to probabilistic programming
JW van de Meent, B Paige, H Yang, F Wood
arXiv preprint arXiv:1809.10756, 2018
1882018
'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
1772016
Relational separation logic
H Yang
Theoretical Computer Science 375 (1-3), 308-334, 2007
1622007
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
1572017
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
1512016
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
1262016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20