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-2014 (20) 2015-2016 (20) 2017-2018 (18) 2019 (5)
Publication types (Num. hits)
article(41) inproceedings(72) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 14 keywords

Results
Found 116 publication records. Showing 115 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Wonyeol Lee 0001, Hangyeol Yu, Xavier Rival, Hongseok Yang Towards Verified Stochastic Variational Inference for Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yuan Zhou, Bradley J. Gram-Hansen, Tobias Kohn, Tom Rainforth, Hongseok Yang, Frank Wood LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Hongseok Yang Some Semantic Issues in Probabilistic Programming Languages (Invited Talk). Search on Bibsonomy FSCD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang Resource-aware program analysis via online abstraction coarsening. Search on Bibsonomy ICSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuan Zhou, Bradley J. Gram-Hansen, Tobias Kohn, Tom Rainforth, Hongseok Yang, Frank Wood LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. Search on Bibsonomy AISTATS The full citation details ... 2019 DBLP  BibTeX  RDF
1Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani Denotational validation of higher-order Bayesian inference. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, Frank Wood An Introduction to Probabilistic Programming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy 0001 The Beta-Bernoulli process and algebraic effects. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Wonyeol Lee 0001, Hangyeol Yu, Hongseok Yang Reparameterization Gradient for Non-differentiable Models. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bradley Gram-Hansen, Yuan Zhou, Tobias Kohn, Hongseok Yang, Frank D. Wood Discontinuous Hamiltonian Monte Carlo for Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi Adaptive Static Analysis via Learning with Bayesian Optimization. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy 0001 The Beta-Bernoulli process and algebraic effects. Search on Bibsonomy ICALP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wonyeol Lee 0001, Hangyeol Yu, Hongseok Yang Reparameterization Gradient for Non-differentiable Models. Search on Bibsonomy NeurIPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Tom Rainforth, Robert Cornish, Hongseok Yang, Andrew Warrington On Nesting Monte Carlo Estimators. Search on Bibsonomy ICML The full citation details ... 2018 DBLP  BibTeX  RDF
1Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang Automatically generating features for learning program analysis heuristics for C-like languages. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani Denotational validation of higher-order Bayesian inference. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang A Convenient Category for Higher-Order Probability Theory. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrea Cerone, Alexey Gotsman, Hongseok Yang Algebraic Laws for Weak Consistency. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang A convenient category for higher-order probability theory. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hongseok Yang (eds.) Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hongseok Yang Probabilistic Programming (Invited Talk). Search on Bibsonomy CONCUR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrea Cerone, Alexey Gotsman, Hongseok Yang Algebraic Laws for Weak Consistency. Search on Bibsonomy CONCUR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang Symbolic automata for representing big code. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang Automatically generating features for learning program analysis heuristics. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mike Wu, Yura N. Perov, Frank D. Wood, Hongseok Yang Spreadsheet Probabilistic Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank D. Wood Design and Implementation of Probabilistic Programming Language Anglican. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank D. Wood Design and Implementation of Probabilistic Programming Language Anglican. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radu Grigore, Hongseok Yang Abstraction refinement guided by a learnt probabilistic model. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Hongseok Yang, Carla Ferreira 0001, Mahsa Najafzadeh, Marc Shapiro 0001 'Cause I'm strong enough: reasoning about consistency choices in distributed systems. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison 0001, Hongseok Yang, Marek Zawirski Specification and Complexity of Collaborative Text Editing. Search on Bibsonomy PODC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira 0001, Marc Shapiro 0001 The CISE tool: proving weakly-consistent applications correct. Search on Bibsonomy PaPoC@EuroSys The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radu Grigore, Hongseok Yang Abstraction Refinement Guided by a Learnt Probabilistic Model. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Jan-Willem van de Meent, Hongseok Yang, Vikash Mansinghka, Frank D. Wood Particle Gibbs with Ancestor Sampling for Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hakjoo Oh, Hongseok Yang, Kwangkeun Yi Learning a strategy for adapting a program analysis via bayesian optimisation. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Hongseok Yang Composite Replicated Data Types. Search on Bibsonomy ESOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrea Cerone, Alexey Gotsman, Hongseok Yang Transaction Chopping for Parallel Snapshot Isolation. Search on Bibsonomy DISC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan-Willem van de Meent, Hongseok Yang, Vikash Mansinghka, Frank D. Wood Particle Gibbs with Ancestor Sampling for Probabilistic Programs. Search on Bibsonomy AISTATS The full citation details ... 2015 DBLP  BibTeX  RDF
1Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski Replicated data types: specification, verification, optimality. Search on Bibsonomy POPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrea Cerone, Alexey Gotsman, Hongseok Yang Parameterised Linearisability. Search on Bibsonomy ICALP (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ravi Mangal, Mayur Naik, Hongseok Yang A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. Search on Bibsonomy ESOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang Hybrid top-down and bottom-up interprocedural analysis. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang On abstraction refinement for program analyses in Datalog. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi Selective context-sensitivity guided by impact pre-analysis. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang A step-indexed Kripke model of hidden state. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Hongseok Yang Linearizability with Ownership Transfer. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Hongseok Yang Modular verification of preemptive OS kernels. Search on Bibsonomy J. Funct. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang Views: compositional reasoning for concurrent programs. Search on Bibsonomy POPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Noam Rinetzky, Hongseok Yang Verifying Concurrent Memory Reclamation Algorithms with Grace. Search on Bibsonomy ESOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Mayur Naik, Hongseok Yang Finding optimum abstractions in parametric dataflow analysis. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang Symbolic Automata for Static Specification Mining. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Oukseh Lee, Hongseok Yang, Rasmus Petersen A divide-and-conquer approach for analysing overlaid data structures. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jacob Thamsborg, Lars Birkedal, Hongseok Yang Two for the Price of One: Lifting Separation Logic Assertions Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
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
1Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang Show No Weakness: Sequentially Consistent Specifications of TSO Libraries. Search on Bibsonomy DISC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang Automated concolic testing of smartphone apps. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Hongseok Yang Linearizability with Ownership Transfer. Search on Bibsonomy CONCUR 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
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
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 Liveness-Preserving Atomicity Abstraction. Search on Bibsonomy ICALP (2) 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
1Alexey Gotsman, Hongseok Yang Modular verification of preemptive OS kernels. Search on Bibsonomy ICFP The full citation details ... 2011 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
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
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
1Aziem Chawdhary, Hongseok Yang Metric Spaces and Termination Analyses. Search on Bibsonomy APLAS 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
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
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
1Hongseok Yang Automatic Verification of Heap-Manipulating Programs Using Separation Logic. Search on Bibsonomy CSR The full citation details ... 2009 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 CSL The full citation details ... 2009 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, Hongseok Yang Relational Parametricity and Separation Logic. Search on Bibsonomy Logical Methods in Computer Science 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
1Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang A Simple Model of Separation Logic for Higher-Order Store. Search on Bibsonomy ICALP (2) 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
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
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
1Lars Birkedal, Hongseok Yang Relational Parametricity and Separation Logic. Search on Bibsonomy FoSSaCS 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
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
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
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
1Hongseok Yang Shape Analysis for Low-Level Code. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  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
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
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
Displaying result #1 - #100 of 115 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license