BibTeX records: Suan Hsi Yong

• > Home > Persons > Suan Hsi Yong

@article{DBLP:journals/fmsd/YongH05,
  author       = {Suan Hsi Yong and
                  Susan Horwitz},
  title        = {Using Static Analysis to Reduce Dynamic Analysis Overhead},
  journal      = {Formal Methods Syst. Des.},
  volume       = {27},
  number       = {3},
  pages        = {313--334},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-3401-0},
  doi          = {10.1007/S10703-005-3401-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/YongH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BalakrishnanRKLLMGYCT05,
  author       = {Gogul Balakrishnan and
                  Thomas W. Reps and
                  Nicholas Kidd and
                  Akash Lal and
                  Junghee Lim and
                  David Melski and
                  Radu Gruian and
                  Suan Hsi Yong and
                  Chi{-}Hua Chen and
                  Tim Teitelbaum},
  editor       = {Kousha Etessami and
                  Sriram K. Rajamani},
  title        = {Model Checking x86 Executables with CodeSurfer/x86 and {WPDS++}},
  booktitle    = {Computer Aided Verification, 17th International Conference, {CAV}
                  2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3576},
  pages        = {158--163},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11513988\_17},
  doi          = {10.1007/11513988\_17},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BalakrishnanRKLLMGYCT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/YongH04,
  author       = {Suan Hsi Yong and
                  Susan Horwitz},
  editor       = {Roberto Giacobazzi},
  title        = {Pointer-Range Analysis},
  booktitle    = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
                  Italy, August 26-28, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3148},
  pages        = {133--148},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27864-1\_12},
  doi          = {10.1007/978-3-540-27864-1\_12},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/YongH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/YongH03,
  author       = {Suan Hsi Yong and
                  Susan Horwitz},
  editor       = {Jukka Paakki and
                  Paola Inverardi},
  title        = {Protecting {C} programs from attacks via invalid pointer dereferences},
  booktitle    = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
                  Software Engineering 2003 held jointly with 9th European Software
                  Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
                  1-5, 2003},
  pages        = {307--316},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/940071.940113},
  doi          = {10.1145/940071.940113},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/YongH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/YongH02,
  author       = {Suan Hsi Yong and
                  Susan Horwitz},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Reducing the Overhead of Dynamic Analysis},
  booktitle    = {Runtime Verification 2002, {RV} 2002, FLoC Satellite Event, Copenhagen,
                  Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {4},
  pages        = {158--178},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80583-8},
  doi          = {10.1016/S1571-0661(04)80583-8},
  timestamp    = {Fri, 16 Dec 2022 10:59:39 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/YongH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/LoginovYHR01,
  author       = {Alexey Loginov and
                  Suan Hsi Yong and
                  Susan Horwitz and
                  Thomas W. Reps},
  editor       = {Heinrich Hu{\ss}mann},
  title        = {Debugging via Run-Time Type Checking},
  booktitle    = {Fundamental Approaches to Software Engineering, 4th International
                  Conference, {FASE} 2001 Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
                  2-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2029},
  pages        = {217--232},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45314-8\_16},
  doi          = {10.1007/3-540-45314-8\_16},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/LoginovYHR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/YongHR99,
  author       = {Suan Hsi Yong and
                  Susan Horwitz and
                  Thomas W. Reps},
  editor       = {Barbara G. Ryder and
                  Benjamin G. Zorn},
  title        = {Pointer Analysis for Programs with Structures and Casting},
  booktitle    = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation (PLDI), Atlanta, Georgia, USA,
                  May 1-4, 1999},
  pages        = {91--103},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/301618.301647},
  doi          = {10.1145/301618.301647},
  timestamp    = {Thu, 08 Jul 2021 16:04:02 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/YongHR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}