متابعة
Hongseok Yang
Hongseok Yang
Professor, School of Computing, KAIST
بريد إلكتروني تم التحقق منه على kaist.ac.kr - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Local reasoning about programs that alter data structures‏
P O’Hearn, J Reynolds, H Yang‏
Computer Science Logic, 1-19, 2001‏
11362001
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‏
7282011
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‏
5572012
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‏
4602006
Separation and information hiding‏
PW O'Hearn, H Yang, JC Reynolds‏
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 11, 2009‏
383*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‏
3712007
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‏
3372008
Replicated data types: specification, verification, optimality‏
S Burckhardt, A Gotsman, H Yang, M Zawirski‏
ACM Sigplan Notices 49 (1), 271-284, 2014‏
309*2014
Shape analysis for composite data structures‏
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...‏
International Conference on Computer Aided Verification, 178-192, 2007‏
3082007
An introduction to probabilistic programming‏
JW van de Meent, B Paige, H Yang, F Wood‏
arXiv preprint arXiv:1809.10756, 2018‏
2562018
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‏
2402013
Abstraction for concurrent objects‏
I Filipović, P O’Hearn, N Rinetzky, H Yang‏
Theoretical Computer Science 411 (51-52), 2010‏
2262010
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‏
2242001
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‏
2132017
Possible worlds and resources: the semantics of BI‏
DJ Pym, PW O'hearn, H Yang‏
Theoretical Computer Science 315 (1), 257-305, 2004‏
2112004
A semantic basis for local reasoning‏
H Yang, P O’Hearn‏
International Conference on Foundations of Software Science and Computation …, 2002‏
2032002
'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‏
1992016
Relational separation logic‏
H Yang‏
Theoretical Computer Science 375 (1-3), 308-334, 2007‏
1832007
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‏
1822016
On nesting Monte Carlo estimators‏
T Rainforth, R Cornish, H Yang, A Warrington, F Wood‏
International Conference on Machine Learning, 4264-4273, 2018‏
174*2018
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20