발행물

전체 논문

150

91

Blamining the Client: On Data Refinement in the Presence of Pointers
Ivana Filipovic, Peter O’Hearn, Noah Torp-Smith, Hongseok Yang
Formal Aspects of Computing, 2010

92

Separation and Information Hiding
Peter O’Hearn, Hongseok Yang, John Reynolds
ACM Transactions on Programming Languages and Systems, 2009

93

Goal-directed Weakening of Abstract Interpretation Results
Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
ACM Transactions on Programming Languages and Systems, 2007

94

Relational Parametricity and Separation Logic
Lars Birkedal, Hongseok Yang
Logical Methods in Computer Science, 2008

95

Relational Separation Logic
Hongseok Yang
Theoretical Computer Science, 2007.05

96

Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages
Lars Birkedal, Noah Torp-Smith, Hongseok Yang
Logical Methods in Computer Science, 2006

97

Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Science of Computer Programming, 2005.10

98

Possible Worlds and Resources: The Semantics of BI
David J. Pym, Peter W. O'Hearn, Hongseok Yang
Theoretical Computer Science, 2004.05

99

Correctness of Data Representations involving Heap Data Structures
Uday S. Reddy, Hongseok Yang
Science of Computer Programming, 2004.03

100

Over-parameterised Shallow Neural Networks with Asymmetrical Node Scaling: Global Convergence Guarantees and Feature Learning
Yang, Hongseok, Lee, Juho, Caron, Francois, Ayed, Fadhel, Jung, Paul, Lee, Hoil
Transactions on Machine Learning Research, 202502