Year |
Citation |
Score |
2018 |
Heo K, Oh H, Yang H, Yi K. Adaptive Static Analysis via Learning with Bayesian Optimization Acm Transactions On Programming Languages and Systems. 40: 14. DOI: 10.1145/3121135 |
0.313 |
|
2015 |
Peleg H, Shoham S, Yahav E, Yang H. Symbolic automata for representing big code Acta Informatica. DOI: 10.1007/S00236-015-0234-1 |
0.36 |
|
2013 |
Gotsman A, Yang H. Linearizability with Ownership Transfer Logical Methods in Computer Science. 9. DOI: 10.2168/Lmcs-9(3:12)2013 |
0.403 |
|
2013 |
Schwinghammer J, Birkedal L, Pottier F, Reus B, StØvring K, Yang H. A step-indexed kripke model of hidden state Mathematical Structures in Computer Science. 23: 1-54. DOI: 10.1017/S0960129512000035 |
0.374 |
|
2012 |
Thamsborg J, Birkedal L, Yang H. Two for the Price of One: Lifting Separation Logic Assertions Logical Methods in Computer Science. 8. DOI: 10.2168/Lmcs-8(3:22)2012 |
0.443 |
|
2011 |
Schwinghammer J, Birkedal L, Reus B, Yang H. Nested Hoare Triples and Frame Rules for Higher-order Store Logical Methods in Computer Science. 7. DOI: 10.2168/Lmcs-7(3:21)2011 |
0.45 |
|
2011 |
Yang H. Session details: Separation logic Sigplan Notices. 46. DOI: 10.1145/3261734 |
0.32 |
|
2011 |
Calcagno C, Distefano D, O’Hearn PW, Yang H. Compositional Shape Analysis by Means of Bi-Abduction Journal of the Acm. 58: 26. DOI: 10.1145/2049697.2049700 |
0.421 |
|
2010 |
Filipovi I, OHearn P, Rinetzky N, Yang H. Abstraction for concurrent objects Theoretical Computer Science. 411: 4379-4398. DOI: 10.1016/J.Tcs.2010.09.021 |
0.394 |
|
2009 |
O'Hearn PW, Yang H, Reynolds JC. Separation and information hiding Acm Transactions On Programming Languages and Systems. 31: 11. DOI: 10.1145/1498926.1498929 |
0.392 |
|
2008 |
Birkedal L, Yang H. Relational Parametricity and Separation Logic Logical Methods in Computer Science. 4. DOI: 10.2168/Lmcs-4(2:6)2008 |
0.492 |
|
2007 |
Seo S, Yang H, Yi K, Han T. Goal-directed weakening of abstract interpretation results Acm Transactions On Programming Languages and Systems. 29: 39. DOI: 10.1145/1286821.1286830 |
0.393 |
|
2007 |
Yang H. Relational separation logic Theoretical Computer Science. 375: 308-334. DOI: 10.1016/J.Tcs.2006.12.036 |
0.407 |
|
2006 |
Birkedal L, Torp-Smith N, Yang H. Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages Logical Methods in Computer Science. 2. DOI: 10.2168/Lmcs-2(5:1)2006 |
0.457 |
|
2006 |
Bornat R, Calcagno C, Yang H. Variables as Resource in Separation Logic Electronic Notes in Theoretical Computer Science. 155: 247-276. DOI: 10.1016/J.Entcs.2005.11.059 |
0.399 |
|
2006 |
Yang H. Shape analysis for low-level code Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4134: 280. |
0.321 |
|
2005 |
Lee O, Yang H, Yi K. Static insertion of safe and effective memory reuse commands into ML-like programs Science of Computer Programming. 58: 141-178. DOI: 10.1016/J.Scico.2005.02.007 |
0.31 |
|
2004 |
Pym DJ, O'Hearn PW, Yang H. Possible worlds and resources: the semantics of BI Theoretical Computer Science. 315: 257-305. DOI: 10.1016/J.Tcs.2003.11.020 |
0.443 |
|
2003 |
Reddy US, Yang H. Correctness of data representations involving heap data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2618: 223-237. DOI: 10.1016/J.Scico.2004.01.007 |
0.57 |
|
Show low-probability matches. |