Hongseok Yang

University Lecturer

+44 (0)1865 610783

+44 (0)1865 273839 (fax)

Wolfson Building, Parks Road, Oxford OX1 3QD

Links

My personal homepage

Selected Publications

View all

Manage 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 | BibTeX | Download (pdf)

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 | BibTeX | Download (pdf)

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 | BibTeX | Download (pdf)