BibTeX records: Oukseh Lee

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Oukseh Lee

download as .bib file

@article{DBLP:journals/fmsd/LeeYP12,
  author       = {Oukseh Lee and
                  Hongseok Yang and
                  Rasmus Petersen},
  title        = {A divide-and-conquer approach for analysing overlaid data structures},
  journal      = {Formal Methods Syst. Des.},
  volume       = {41},
  number       = {1},
  pages        = {4--24},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10703-012-0151-7},
  doi          = {10.1007/S10703-012-0151-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/LeeYP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LeeYP11,
  author       = {Oukseh Lee and
                  Hongseok Yang and
                  Rasmus Petersen},
  editor       = {Ganesh Gopalakrishnan and
                  Shaz Qadeer},
  title        = {Program Analysis for Overlaid Data Structures},
  booktitle    = {Computer Aided Verification - 23rd International Conference, {CAV}
                  2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6806},
  pages        = {592--608},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22110-1\_48},
  doi          = {10.1007/978-3-642-22110-1\_48},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LeeYP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/YangLBCCDO08,
  author       = {Hongseok Yang and
                  Oukseh Lee and
                  Josh Berdine and
                  Cristiano Calcagno and
                  Byron Cook and
                  Dino Distefano and
                  Peter W. O'Hearn},
  editor       = {Aarti Gupta and
                  Sharad Malik},
  title        = {Scalable Shape Analysis for Systems Code},
  booktitle    = {Computer Aided Verification, 20th International Conference, {CAV}
                  2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5123},
  pages        = {385--398},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70545-1\_36},
  doi          = {10.1007/978-3-540-70545-1\_36},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/YangLBCCDO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mcam/JeongPLL07,
  author       = {Jin{-}Woo Jeong and
                  Kyung{-}Wook Park and
                  Oukseh Lee and
                  Dong{-}Ho Lee},
  editor       = {Nicu Sebe and
                  Yuncai Liu and
                  Yueting Zhuang and
                  Thomas S. Huang},
  title        = {Automatic Extraction of Semantic Relationships from Images Using Ontologies
                  and {SVM} Classifiers},
  booktitle    = {Multimedia Content Analysis and Mining, International Workshop, {MCAM}
                  2007, Weihai, China, June 30 - July 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4577},
  pages        = {184--194},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73417-8\_25},
  doi          = {10.1007/978-3-540-73417-8\_25},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/mcam/JeongPLL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChoiLKD06,
  author       = {Tae{-}Hyoung Choi and
                  Oukseh Lee and
                  Hyunha Kim and
                  Kyung{-}Goo Doh},
  editor       = {Naoki Kobayashi},
  title        = {A Practical String Analyzer by the Widening Approach},
  booktitle    = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
                  Sydney, Australia, November 8-10, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4279},
  pages        = {374--388},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11924661\_23},
  doi          = {10.1007/11924661\_23},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ChoiLKD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LeeYY05,
  author       = {Oukseh Lee and
                  Hongseok Yang and
                  Kwangkeun Yi},
  title        = {Static insertion of safe and effective memory reuse commands into
                  ML-like programs},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {141--178},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.007},
  doi          = {10.1016/J.SCICO.2005.02.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LeeYY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/LeeYY05,
  author       = {Oukseh Lee and
                  Hongseok Yang and
                  Kwangkeun Yi},
  editor       = {Shmuel Sagiv},
  title        = {Automatic Verification of Pointer Programs Using Grammar-Based Shape
                  Analysis},
  booktitle    = {Programming Languages and Systems, 14th European Symposium on Programming,
                  {ESOP} 2005, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3444},
  pages        = {124--140},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31987-0\_10},
  doi          = {10.1007/978-3-540-31987-0\_10},
  timestamp    = {Fri, 27 Jan 2023 15:04:25 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/LeeYY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwmm/LeeY04,
  author       = {Oukseh Lee and
                  Kwangkeun Yi},
  editor       = {David F. Bacon and
                  Amer Diwan},
  title        = {Experiments on the effectiveness of an automatic insertion of memory
                  reuses into ML-like programs},
  booktitle    = {Proceedings of the 4th International Symposium on Memory Management,
                  {ISMM} 2004, Vancouver, BC, Canada, October 24-25, 2004},
  pages        = {97--107},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029873.1029885},
  doi          = {10.1145/1029873.1029885},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/LeeY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ngc/EoY03,
  author       = {Hyunjun Eo and
                  Oukseh Lee and
                  Kwangkeun Yi},
  title        = {Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms},
  journal      = {New Gener. Comput.},
  volume       = {22},
  number       = {1},
  pages        = {1--36},
  year         = {2003},
  url          = {https://doi.org/10.1007/BF03037279},
  doi          = {10.1007/BF03037279},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/EoY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LeeYY03,
  author       = {Oukseh Lee and
                  Hongseok Yang and
                  Kwangkeun Yi},
  editor       = {Radhia Cousot},
  title        = {Inserting Safe Memory Reuse Commands into ML-Like Programs},
  booktitle    = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
                  CA, USA, June 11-13, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2694},
  pages        = {171--188},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44898-5\_10},
  doi          = {10.1007/3-540-44898-5\_10},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LeeYY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/LeeYP02,
  author       = {Oukseh Lee and
                  Kwangkeun Yi and
                  Yunheung Paek},
  title        = {A proof method for the correctness of modularized 0CFA},
  journal      = {Inf. Process. Lett.},
  volume       = {81},
  number       = {4},
  pages        = {179--185},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0020-0190(01)00223-X},
  doi          = {10.1016/S0020-0190(01)00223-X},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/LeeYP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/LeeYY02,
  author       = {Oukseh Lee and
                  Hongseok Yang and
                  Kwangkeun Yi},
  title        = {Inserting Safe Memory Re-use Commands into ML-like Programs},
  booktitle    = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
                  Shanghai Jiao Tong University, Shanghai, China, November 29 - December
                  1, 2002, Proceedings},
  pages        = {317--333},
  year         = {2002},
  timestamp    = {Tue, 01 Jun 2004 13:16:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/LeeYY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Lee01,
  author       = {Oukseh Lee},
  title        = {An Effect System Combining Alias and Liveness for Explicit Memory
                  Reuse},
  booktitle    = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
                  Korea Advanced Institute of Science and Technology, Daejeon, Korea,
                  December 17-18, 2001, Proceedings},
  pages        = {133--145},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 13:15:57 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Lee01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/LeeY00,
  author       = {Oukseh Lee and
                  Kwangkeun Yi},
  title        = {A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {79--88},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 14:41:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/LeeY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LeeY98,
  author       = {Oukseh Lee and
                  Kwangkeun Yi},
  title        = {Proofs about a Folklore Let-Polymorphic Type Inference Algorithm},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {20},
  number       = {4},
  pages        = {707--723},
  year         = {1998},
  url          = {https://doi.org/10.1145/291891.291892},
  doi          = {10.1145/291891.291892},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LeeY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.