Obserwuj
Hongseok Yang
Hongseok Yang
Professor, School of Computing, KAIST
Zweryfikowany adres z kaist.ac.kr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
5132012
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
1502016
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20