Hongseok Yang

Professor Hongseok Yang

Professor of Computer Science

Leaving date: 14th July 2017

Themes:

• Programming Languages
• Automated Verification

See Also:

• My personal homepage

Selected Publications

View AllManage publications

• Liveness−preserving Atomicity Abstraction

  Alexey Gotsman and Hongseok Yang

  In Proceedings of the 38th International Colloquium on Automata‚ Languages and Programming. Vol. 6461 of Lecture Notes in Computer Science. Pages 453–465. Zurich‚ Switzerland. July, 2011. Springer−Verlag.

  Details about Liveness−preserving Atomicity Abstraction | BibTeX data for Liveness−preserving Atomicity Abstraction | Download  (pdf) of Liveness−preserving Atomicity Abstraction

• Program Analysis for Overlaid Data Structures

  Oukseh Lee‚ Hongseok Yang and Rasmus Petersen

  In Proceedings of the 23rd International Conference on Computer Aided Verification. Vol. 6806 of Lecture Notes in Computer Science. Pages 592–608. Utah‚ USA. July, 2011. Springer−Verlag.

  Details about Program Analysis for Overlaid Data Structures | BibTeX data for Program Analysis for Overlaid Data Structures | Download  (pdf) of Program Analysis for Overlaid Data Structures

• Step−Indexed Kripke Models over Recursive Worlds

  Lars Birkedal‚ Bernhard Reus‚ Jan Schwinghammer‚ Kristian Stovring‚ Jacob Thamsborg and Hongseok Yang

  In Proceedings of the 38th ACM Symposium on Principles of Programming Languages. Pages 119–132. Austin‚ USA. January, 2011. ACM.

  Details about Step−Indexed Kripke Models over Recursive Worlds | BibTeX data for Step−Indexed Kripke Models over Recursive Worlds | Download  (pdf) of Step−Indexed Kripke Models over Recursive Worlds

Past Students