Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hongseok Yang" ( http://dblp.L3S.de/Authors/Hongseok_Yang )

  Author page on DBLP  Author page in RDF  Community of Hongseok Yang in ASPL-2

Publication years (Num. hits)
1998-2005 (17) 2006-2008 (19) 2009-2011 (16) 2012 (2)
Publication types (Num. hits)
article(15) inproceedings(38) proceedings(1)
Venues (Conferences, Journals, ...)
APLAS(6) ESOP(5) FoSSaCS(4) POPL(4) SAS(4) CAV(3) Logical Methods in Computer Sc...(3) Theor. Comput. Sci.(3) ACM Trans. Program. Lang. Syst...(2) CoRR(2) CSL(2) ICALP(2) LICS(2) Sci. Comput. Program.(2) CSR(1) Electr. Notes Theor. Comput. S...(1) More (+10 of total 24)
Authors
Hongseok Yang(54) Peter W. O'Hearn(19) Cristiano Calcagno(11) Lars Birkedal(11) Dino Distefano(8) Kwangkeun Yi(6) Oukseh Lee(6) Bernhard Reus(5) Jan Schwinghammer(5) Noah Torp-Smith(4) Alexey Gotsman(3) Byron Cook(3) Ivana Filipovic(3) John C. Reynolds(3) Uday S. Reddy(3) Aziem Chawdhary(2) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 14 keywords
Results
Found 54 publication records. Showing 54 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv Abstractions from tests. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang Concurrent Library Correctness on the TSO Memory Model. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Compositional Shape Analysis by Means of Bi-Abduction. Search on Bibsonomy J. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang Nested Hoare Triples and Frame Rules for Higher-order Store Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Hongseok Yang Liveness-Preserving Atomicity Abstraction. Search on Bibsonomy ICALP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang Step-indexed kripke models over recursive worlds. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Hongseok Yang Modular verification of preemptive OS kernels. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hongseok Yang (eds.) Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Oukseh Lee, Hongseok Yang, Rasmus Petersen Program Analysis for Overlaid Data Structures. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang Blaming the client: on data refinement in the presence of pointers. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang Abstraction for concurrent objects. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Aziem Chawdhary, Hongseok Yang Metric Spaces and Termination Analyses. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus A Semantic Foundation for Hidden State. Search on Bibsonomy FOSSACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Hongseok Yang, John C. Reynolds Separation and information hiding. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF resource protection, modularity, Separation logic
1Hongseok Yang Automatic Verification of Heap-Manipulating Programs Using Separation Logic. Search on Bibsonomy CSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Compositional shape analysis by means of bi-abduction. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF program analysis, abduction, proof theory
1Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang Nested Hoare Triples and Frame Rules for Higher-Order Store. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang Abstraction for Concurrent Objects. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Hongseok Yang Relational Parametricity and Separation Logic. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Hongseok Yang Relational Parametricity and Separation Logic Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang A Simple Model of Separation Logic for Higher-Order Store. Search on Bibsonomy ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn Scalable Shape Analysis for Systems Code. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Space Invading Systems Code. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang Ranking Abstractions. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hongseok Yang Relational separation logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han Goal-directed weakening of abstract interpretation results. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
1Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang Shape Analysis for Composite Data Structures. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang Local Action and Abstract Separation Logic. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Footprint Analysis: A Shape Analysis That Discovers Preconditions. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hongseok Yang Towards Shape Analysis for Device Drivers. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Hongseok Yang Relational Parametricity and Separation Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Noah Torp-Smith, Hongseok Yang Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Richard Bornat, Cristiano Calcagno, Hongseok Yang Variables as Resource in Separation Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Noah Torp-Smith, Hongseok Yang Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Dino Distefano, Peter W. O'Hearn, Hongseok Yang A Local Shape Analysis Based on Separation Logic. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hongseok Yang Shape Analysis for Low-Level Code. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Oukseh Lee, Hongseok Yang, Kwangkeun Yi Static insertion of safe and effective memory reuse commands into ML-like programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ivana Mijajlovic, Hongseok Yang Data Refinement with Low-Level Pointer Operations. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Noah Torp-Smith, Hongseok Yang Semantics of Separation-Logic Typing and Higher-Order Frame Rules. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Oukseh Lee, Hongseok Yang, Kwangkeun Yi Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy, Hongseok Yang Correctness of data representations involving heap data structures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David J. Pym, Peter W. O'Hearn, Hongseok Yang Possible worlds and resources: the semantics of BI. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Hongseok Yang, John C. Reynolds Separation and information hiding. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF resource protection, modularity, separation logic
1Sunae Seo, Hongseok Yang, Kwangkeun Yi Automatic Construction of Hoare Proofs from Abstract Interpretation Results. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Oukseh Lee, Hongseok Yang, Kwangkeun Yi Inserting Safe Memory Reuse Commands into ML-Like Programs. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy, Hongseok Yang Correctness of Data Representations Involving Heap Data Structures. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Oukseh Lee, Hongseok Yang, Kwangkeun Yi Inserting Safe Memory Re-use Commands into ML-like Programs. Search on Bibsonomy APLAS The full citation details ... 2002 DBLP  BibTeX  RDF
1Hongseok Yang, Peter W. O'Hearn A Semantic Basis for Local Reasoning. Search on Bibsonomy FoSSaCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn Computability and Complexity Results for a Spatial Assertion Language for Data Structures. Search on Bibsonomy APLAS The full citation details ... 2001 DBLP  BibTeX  RDF
1Peter W. O'Hearn, John C. Reynolds, Hongseok Yang Local Reasoning about Programs that Alter Data Structures. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn Computability and Complexity Results for a Spatial Assertion Language for Data Structures. Search on Bibsonomy FSTTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hongseok Yang, Uday S. Reddy On the Semantics of Refinement Calculi. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hongseok Yang, Howard Huang Type Reconstruction for Syntactic Control of Interference, Part 2. (PDF / PS) Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Algol-like languages, type systems, interference, type inference, SCI
Displaying result #1 - #54 of 54 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.