Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bor-Yuh Evan Chang
@article{DBLP:journals/toplas/SteinCS24,
author = {Benno Stein and
Bor{-}Yuh Evan Chang and
Manu Sridharan},
title = {Interactive Abstract Interpretation with Demanded Summarization},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {46},
number = {1},
pages = {4:1--4:40},
year = {2024},
url = {https://doi.org/10.1145/3648441},
doi = {10.1145/3648441},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/SteinCS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MeierMKC23,
author = {Shawn Meier and
Sergio Mover and
Gowtham Kaki and
Bor{-}Yuh Evan Chang},
title = {Historia: Refuting Callback Reachability with Message-History Logics},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1905--1934},
year = {2023},
url = {https://doi.org/10.1145/3622865},
doi = {10.1145/3622865},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MeierMKC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SchoepeSSSTBRC23,
author = {Daniel Schoepe and
David Seekatz and
Ilina Stoilkovska and
Sandro Stucki and
Daniel Tattersall and
Pauline Bolignano and
Franco Raimondi and
Bor{-}Yuh Evan Chang},
editor = {Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {Lifting On-Demand Analysis to Higher-Order Languages},
booktitle = {Static Analysis - 30th International Symposium, {SAS} 2023, Cascais,
Portugal, October 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14284},
pages = {460--484},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44245-2\_20},
doi = {10.1007/978-3-031-44245-2\_20},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/SchoepeSSSTBRC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-04464,
author = {Shawn Meier and
Sergio Mover and
Gowtham Kaki and
Bor{-}Yuh Evan Chang},
title = {Historia: Refuting Callback Reachability with Message-History Logics
(Extended Version)},
journal = {CoRR},
volume = {abs/2309.04464},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.04464},
doi = {10.48550/ARXIV.2309.04464},
eprinttype = {arXiv},
eprint = {2309.04464},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-04464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZikelicCBR22,
author = {Dorde Zikelic and
Bor{-}Yuh Evan Chang and
Pauline Bolignano and
Franco Raimondi},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Differential cost analysis with simultaneous potentials and anti-potentials},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {442--457},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523435},
doi = {10.1145/3519939.3523435},
timestamp = {Fri, 03 Jun 2022 08:25:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZikelicCBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-00870,
author = {Dorde Zikelic and
Bor{-}Yuh Evan Chang and
Pauline Bolignano and
Franco Raimondi},
title = {Differential Cost Analysis with Simultaneous Potentials and Anti-potentials},
journal = {CoRR},
volume = {abs/2204.00870},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.00870},
doi = {10.48550/ARXIV.2204.00870},
eprinttype = {arXiv},
eprint = {2204.00870},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-00870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0002CS21,
author = {Benno Stein and
Bor{-}Yuh Evan Chang and
Manu Sridharan},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Demanded abstract interpretation},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {282--295},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454044},
doi = {10.1145/3453483.3454044},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0002CS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LuCT21,
author = {Tianhan Lu and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Selectively-Amortized Resource Bounding},
booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
IL, USA, October 17-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {286--307},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_14},
doi = {10.1007/978-3-030-88806-0\_14},
timestamp = {Mon, 18 Oct 2021 08:49:55 +0200},
biburl = {https://dblp.org/rec/conf/sas/LuCT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-01270,
author = {Benno Stein and
Bor{-}Yuh Evan Chang and
Manu Sridharan},
title = {Demanded Abstract Interpretation (Extended Version)},
journal = {CoRR},
volume = {abs/2104.01270},
year = {2021},
url = {https://arxiv.org/abs/2104.01270},
eprinttype = {arXiv},
eprint = {2104.01270},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-01270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-08263,
author = {Tianhan Lu and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
title = {Selectively-Amortized Resource Bounding},
journal = {CoRR},
volume = {abs/2108.08263},
year = {2021},
url = {https://arxiv.org/abs/2108.08263},
eprinttype = {arXiv},
eprint = {2108.08263},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-08263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/ChangDMRR20,
author = {Bor{-}Yuh Evan Chang and
Cezara Dragoi and
Roman Manevich and
Noam Rinetzky and
Xavier Rival},
title = {Shape Analysis},
journal = {Found. Trends Program. Lang.},
volume = {6},
number = {1-2},
pages = {1--158},
year = {2020},
url = {https://doi.org/10.1561/2500000037},
doi = {10.1561/2500000037},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/ChangDMRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MeierMC19,
author = {Shawn Meier and
Sergio Mover and
Bor{-}Yuh Evan Chang},
title = {Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {13:1--13:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.13},
doi = {10.4230/DARTS.5.2.13},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MeierMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SteinNCM19,
author = {Benno Stein and
Benjamin Barslev Nielsen and
Bor{-}Yuh Evan Chang and
Anders M{\o}ller},
title = {Static analysis with demand-driven value refinement},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {140:1--140:29},
year = {2019},
url = {https://doi.org/10.1145/3360566},
doi = {10.1145/3360566},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SteinNCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MeierMC19,
author = {Shawn Meier and
Sergio Mover and
Bor{-}Yuh Evan Chang},
editor = {Alastair F. Donaldson},
title = {Lifestate: Event-Driven Protocols and Callback Control Flow},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {1:1--1:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.1},
doi = {10.4230/LIPICS.ECOOP.2019.1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MeierMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LuCC019,
author = {Tianhan Lu and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Type-Directed Bounding of Collections in Reactive Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {275--296},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_13},
doi = {10.1007/978-3-030-11245-5\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LuCC019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2019,
editor = {Bor{-}Yuh Evan Chang},
title = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11822},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32304-2},
doi = {10.1007/978-3-030-32304-2},
isbn = {978-3-030-32303-5},
timestamp = {Mon, 07 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-04924,
author = {Shawn Meier and
Sergio Mover and
Bor{-}Yuh Evan Chang},
title = {Lifestate: Event-Driven Protocols and Callback Control Flow (Extended
Version)},
journal = {CoRR},
volume = {abs/1906.04924},
year = {2019},
url = {http://arxiv.org/abs/1906.04924},
eprinttype = {arXiv},
eprint = {1906.04924},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-04924.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Tizpaz-NiariCCT18,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Differential Performance Debugging With Discriminant Regression Trees},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {2468--2475},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11875},
doi = {10.1609/AAAI.V32I1.11875},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Tizpaz-NiariCCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RadhakrishnaLMM18,
author = {Arjun Radhakrishna and
Nicholas V. Lewchenko and
Shawn Meier and
Sergio Mover and
Krishna Chaitanya Sripada and
Damien Zufferey and
Bor{-}Yuh Evan Chang and
Pavol Cern{\'{y}}},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {DroidStar: callback typestates for Android classes},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {1160--1170},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180232},
doi = {10.1145/3180155.3180232},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RadhakrishnaLMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SteinCSC18,
author = {Benno Stein and
Lazaro Clapp and
Manu Sridharan and
Bor{-}Yuh Evan Chang},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Safe stream-based programming with refinement types},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {565--576},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238174},
doi = {10.1145/3238147.3238174},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SteinCSC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/MoverSOC18,
author = {Sergio Mover and
Sriram Sankaranarayanan and
Rhys Braginton Pettee Olsen and
Bor{-}Yuh Evan Chang},
editor = {Rocco Oliveto and
Massimiliano Di Penta and
David C. Shepherd},
title = {Mining framework usage graphs from app corpora},
booktitle = {25th International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2018, Campobasso, Italy, March 20-23, 2018},
pages = {277--289},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SANER.2018.8330216},
doi = {10.1109/SANER.2018.8330216},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/MoverSOC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-02998,
author = {Benno Stein and
Lazaro Clapp and
Manu Sridharan and
Bor{-}Yuh Evan Chang},
title = {Safe Stream-Based Programming with Refinement Types},
journal = {CoRR},
volume = {abs/1808.02998},
year = {2018},
url = {http://arxiv.org/abs/1808.02998},
eprinttype = {arXiv},
eprint = {1808.02998},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-02998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-10443,
author = {Tianhan Lu and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
title = {Type-directed Bounding of Collections in Reactive Programs},
journal = {CoRR},
volume = {abs/1810.10443},
year = {2018},
url = {http://arxiv.org/abs/1810.10443},
eprinttype = {arXiv},
eprint = {1810.10443},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-10443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LamZC17,
author = {Edmund S. L. Lam and
Peilun Zhang and
Bor{-}Yuh Evan Chang},
editor = {Emina Torlak and
Tijs van der Storm and
Robert Biddle},
title = {ChimpCheck: property-based randomized test generation for interactive
apps},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
pages = {58--77},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133850.3133853},
doi = {10.1145/3133850.3133853},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LamZC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LiBCR17,
author = {Huisong Li and
Francois Berenger and
Bor{-}Yuh Evan Chang and
Xavier Rival},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Semantic-directed clumping of disjunctive abstract states},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {32--45},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009881},
doi = {10.1145/3009837.3009881},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/LiBCR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Tizpaz-NiariCCS17,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Sriram Sankaranarayanan and
Ashutosh Trivedi},
editor = {Axel Legay and
Tiziana Margaria},
title = {Discriminating Traces with Time},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {21--37},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_2},
doi = {10.1007/978-3-662-54580-5\_2},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Tizpaz-NiariCCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2017,
editor = {Bor{-}Yuh Evan Chang},
title = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6},
doi = {10.1007/978-3-319-71237-6},
isbn = {978-3-319-71236-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MeierCRMC17,
author = {Shawn Meier and
Aleksandar Chakarov and
Maxwell Russek and
Sergio Mover and
Bor{-}Yuh Evan Chang},
title = {Abstracting Event-Driven Systems with Lifestate Rules},
journal = {CoRR},
volume = {abs/1701.00161},
year = {2017},
url = {http://arxiv.org/abs/1701.00161},
eprinttype = {arXiv},
eprint = {1701.00161},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MeierCRMC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RadhakrishnaLMM17,
author = {Arjun Radhakrishna and
Nicholas V. Lewchenko and
Shawn Meier and
Sergio Mover and
Krishna Chaitanya Sripada and
Damien Zufferey and
Bor{-}Yuh Evan Chang and
Pavol Cern{\'{y}}},
title = {Learning Asynchronous Typestates for Android Classes},
journal = {CoRR},
volume = {abs/1701.07842},
year = {2017},
url = {http://arxiv.org/abs/1701.07842},
eprinttype = {arXiv},
eprint = {1701.07842},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RadhakrishnaLMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Tizpaz-NiariCCS17,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Sriram Sankaranarayanan and
Ashutosh Trivedi},
title = {Discriminating Traces with Time},
journal = {CoRR},
volume = {abs/1702.07103},
year = {2017},
url = {http://arxiv.org/abs/1702.07103},
eprinttype = {arXiv},
eprint = {1702.07103},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tizpaz-NiariCCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-08613,
author = {Edmund S. L. Lam and
Peilun Zhang and
Bor{-}Yuh Evan Chang},
title = {ChimpCheck: Property-Based Randomized Test Generation for Interactive
Apps},
journal = {CoRR},
volume = {abs/1708.08613},
year = {2017},
url = {http://arxiv.org/abs/1708.08613},
eprinttype = {arXiv},
eprint = {1708.08613},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-08613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04076,
author = {Saeid Tizpaz{-}Niari and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
title = {Differential Performance Debugging with Discriminant Regression Trees},
journal = {CoRR},
volume = {abs/1711.04076},
year = {2017},
url = {http://arxiv.org/abs/1711.04076},
eprinttype = {arXiv},
eprint = {1711.04076},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-04076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ChangRR17,
author = {Bor{-}Yuh Evan Chang and
Xavier Rival and
Sukyoung Ryu},
title = {Memory Abstraction, Emerging Techniques and Applications {(NII} Shonan
Meeting 2017-12)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/108/},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ChangRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/HammerCH16,
author = {Matthew A. Hammer and
Bor{-}Yuh Evan Chang and
David Van Horn},
editor = {Bernd Fischer and
Ina Schaefer},
title = {A vision for online verification-validation},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2016, Amsterdam,
The Netherlands, October 31 - November 1, 2016},
pages = {190--201},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993236.2993255},
doi = {10.1145/2993236.2993255},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/HammerCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HammerCH16,
author = {Matthew A. Hammer and
Bor{-}Yuh Evan Chang and
David Van Horn},
title = {A Vision for Online Verification-Validation},
journal = {CoRR},
volume = {abs/1608.06012},
year = {2016},
url = {http://arxiv.org/abs/1608.06012},
eprinttype = {arXiv},
eprint = {1608.06012},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HammerCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/LivshitsSSLACGKMV15,
author = {Benjamin Livshits and
Manu Sridharan and
Yannis Smaragdakis and
Ondrej Lhot{\'{a}}k and
Jos{\'{e}} Nelson Amaral and
Bor{-}Yuh Evan Chang and
Samuel Z. Guyer and
Uday P. Khedker and
Anders M{\o}ller and
Dimitrios Vardoulakis},
title = {In defense of soundiness: a manifesto},
journal = {Commun. {ACM}},
volume = {58},
number = {2},
pages = {44--46},
year = {2015},
url = {https://doi.org/10.1145/2644805},
doi = {10.1145/2644805},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/LivshitsSSLACGKMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CoxCR15,
author = {Arlen Cox and
Bor{-}Yuh Evan Chang and
Xavier Rival},
editor = {Jan Vitek},
title = {Desynchronized Multi-State Abstractions for Open Programs in Dynamic
Languages},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {483--509},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_20},
doi = {10.1007/978-3-662-46669-8\_20},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/CoxCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CoxCLR15,
author = {Arlen Cox and
Bor{-}Yuh Evan Chang and
Huisong Li and
Xavier Rival},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Abstract Domains and Solvers for Sets Reasoning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {356--371},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_25},
doi = {10.1007/978-3-662-48899-7\_25},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/CoxCLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BlackshearCS15,
author = {Sam Blackshear and
Bor{-}Yuh Evan Chang and
Manu Sridharan},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Selective control-flow abstraction via jumping},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {163--182},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814293},
doi = {10.1145/2814270.2814293},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BlackshearCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BlackshearGC15,
author = {Sam Blackshear and
Alexandra Gendreau and
Bor{-}Yuh Evan Chang},
editor = {Anders M{\o}ller and
Mayur Naik},
title = {Droidel: a general approach to Android framework modeling},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
June 15 - 17, 2015},
pages = {19--25},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771284.2771288},
doi = {10.1145/2771284.2771288},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BlackshearGC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LiRC15,
author = {Huisong Li and
Xavier Rival and
Bor{-}Yuh Evan Chang},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {Shape Analysis for Unstructured Sharing},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {90--108},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_6},
doi = {10.1007/978-3-662-48288-9\_6},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/LiRC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapas2/2013,
editor = {Bor{-}Yuh Evan Chang},
title = {Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS
2013, Seattle, Washington, USA, June 19, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {311},
publisher = {Elsevier},
year = {2015},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/311/suppl/C},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapas2/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TsaiCCR15,
author = {Yi{-}Fan Tsai and
Devin Coughlin and
Bor{-}Yuh Evan Chang and
Xavier Rival},
title = {Synthesizing Short-Circuiting Validation of Data Structure Invariants},
journal = {CoRR},
volume = {abs/1511.04846},
year = {2015},
url = {http://arxiv.org/abs/1511.04846},
eprinttype = {arXiv},
eprint = {1511.04846},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TsaiCCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CoxSC14,
author = {Arlen Cox and
Sriram Sankaranarayanan and
Bor{-}Yuh Evan Chang},
title = {A bit too precise? Verification of quantized digital filters},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {2},
pages = {175--190},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0279-9},
doi = {10.1007/S10009-013-0279-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CoxSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CoxCS14,
author = {Arlen Cox and
Bor{-}Yuh Evan Chang and
Sriram Sankaranarayanan},
editor = {Armin Biere and
Roderick Bloem},
title = {QUICr: {A} Reusable Library for Parametric Abstraction of Sets and
Numbers},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {866--873},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_57},
doi = {10.1007/978-3-319-08867-9\_57},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/CoxCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/AlharbiBKMCY14,
author = {Khalid Alharbi and
Sam Blackshear and
Emily Kowalczyk and
Atif M. Memon and
Bor{-}Yuh Evan Chang and
Tom Yeh},
editor = {Matt Jones and
Philippe A. Palanque and
Albrecht Schmidt and
Tovi Grossman},
title = {Android apps consistency scrutinized},
booktitle = {{CHI} Conference on Human Factors in Computing Systems, CHI'14, Toronto,
ON, Canada - April 26 - May 01, 2014, Extended Abstracts},
pages = {2347--2352},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2559206.2581352},
doi = {10.1145/2559206.2581352},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/AlharbiBKMCY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RivalTC14,
author = {Xavier Rival and
Antoine Toubhans and
Bor{-}Yuh Evan Chang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Construction of Abstract Domains for Heterogeneous Properties (Position
Paper)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {489--492},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_40},
doi = {10.1007/978-3-662-45231-8\_40},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/RivalTC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CoughlinC14,
author = {Devin Coughlin and
Bor{-}Yuh Evan Chang},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Fissile type analysis: modular checking of almost everywhere invariants},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {73--86},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535855},
doi = {10.1145/2535838.2535855},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CoughlinC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CoxCR14,
author = {Arlen Cox and
Bor{-}Yuh Evan Chang and
Xavier Rival},
editor = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {Automatic Analysis of Open Objects in Dynamic Language Programs},
booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
Germany, September 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8723},
pages = {134--150},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10936-7\_9},
doi = {10.1007/978-3-319-10936-7\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CoxCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ToubhansCR14,
author = {Antoine Toubhans and
Bor{-}Yuh Evan Chang and
Xavier Rival},
editor = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {An Abstract Domain Combinator for Separately Conjoining Memory Abstractions},
booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
Germany, September 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8723},
pages = {285--301},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10936-7\_18},
doi = {10.1007/978-3-319-10936-7\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ToubhansCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Chang14,
author = {Bor{-}Yuh Evan Chang},
editor = {Kenneth L. McMillan and
Xavier Rival},
title = {Refuting Heap Reachability},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8318},
pages = {137--141},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54013-4\_8},
doi = {10.1007/978-3-642-54013-4\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Chang14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CoxCS13,
author = {Arlen Cox and
Bor{-}Yuh Evan Chang and
Sriram Sankaranarayanan},
editor = {Giuseppe Castagna},
title = {{QUIC} Graphs: Relational Invariant Generation for Containers},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {401--425},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_17},
doi = {10.1007/978-3-642-39038-8\_17},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/CoxCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BlackshearCS13,
author = {Sam Blackshear and
Bor{-}Yuh Evan Chang and
Manu Sridharan},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Thresher: precise refutations for heap reachability},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {275--286},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462186},
doi = {10.1145/2491956.2462186},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BlackshearCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ToubhansCR13,
author = {Antoine Toubhans and
Bor{-}Yuh Evan Chang and
Xavier Rival},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Reduced Product Combination of Abstract Domains for Shapes},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {375--395},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_23},
doi = {10.1007/978-3-642-35873-9\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ToubhansCR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ChangR13,
author = {Bor{-}Yuh Evan Chang and
Xavier Rival},
editor = {Anindya Banerjee and
Olivier Danvy and
Kyung{-}Goo Doh and
John Hatcliff},
title = {Modular Construction of Shape-Numeric Analyzers},
booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs:
Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
series = {{EPTCS}},
volume = {129},
pages = {161--185},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.129.11},
doi = {10.4204/EPTCS.129.11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChangR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Chang15,
author = {Bor{-}Yuh Evan Chang},
editor = {Bor{-}Yuh Evan Chang},
title = {Preface},
booktitle = {Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS
2013, Seattle, Washington, USA, June 19, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {311},
pages = {1--2},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2015.02.001},
doi = {10.1016/J.ENTCS.2015.02.001},
timestamp = {Thu, 10 Nov 2022 14:28:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Chang15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CoughlinCDS12,
author = {Devin Coughlin and
Bor{-}Yuh Evan Chang and
Amer Diwan and
Jeremy G. Siek},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {Measuring enforcement windows with symbolic trace interpretation:
what well-behaved programs say},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {276--286},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336786},
doi = {10.1145/2338965.2336786},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/CoughlinCDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SanchezSSC12,
author = {Alejandro S{\'{a}}nchez and
Sriram Sankaranarayanan and
C{\'{e}}sar S{\'{a}}nchez and
Bor{-}Yuh Evan Chang},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Invariant Generation for Parametrized Systems Using Self-reflection
- (Extended Version)},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {146--163},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_12},
doi = {10.1007/978-3-642-33125-1\_12},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/SanchezSSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CoxSC12,
author = {Arlen Cox and
Sriram Sankaranarayanan and
Bor{-}Yuh Evan Chang},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {A Bit Too Precise? Bounded Verification of Quantized Digital Filters},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {33--47},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_4},
doi = {10.1007/978-3-642-28756-5\_4},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CoxSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RivalC11,
author = {Xavier Rival and
Bor{-}Yuh Evan Chang},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Calling context abstraction with shapes},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {173--186},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926406},
doi = {10.1145/1926385.1926406},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RivalC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BlackshearCSS11,
author = {Sam Blackshear and
Bor{-}Yuh Evan Chang and
Sriram Sankaranarayanan and
Manu Sridharan},
editor = {Eran Yahav},
title = {The Flow-Insensitive Precision of Andersen's Analysis in Practice},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {60--76},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_9},
doi = {10.1007/978-3-642-23702-7\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BlackshearCSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FrohardtCS11,
author = {Robert Frohardt and
Bor{-}Yuh Evan Chang and
Sriram Sankaranarayanan},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Access Nets: Modeling Access to Physical Spaces},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {184--198},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_14},
doi = {10.1007/978-3-642-18275-4\_14},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FrohardtCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LavironCR10,
author = {Vincent Laviron and
Bor{-}Yuh Evan Chang and
Xavier Rival},
editor = {Andrew D. Gordon},
title = {Separating Shape Graphs},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {387--406},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_21},
doi = {10.1007/978-3-642-11957-6\_21},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/LavironCR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KhooCF10,
author = {Yit Phang Khoo and
Bor{-}Yuh Evan Chang and
Jeffrey S. Foster},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {Mixing type checking and symbolic execution},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {436--447},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806645},
doi = {10.1145/1806596.1806645},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KhooCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChangR08,
author = {Bor{-}Yuh Evan Chang and
Xavier Rival},
editor = {George C. Necula and
Philip Wadler},
title = {Relational inductive shape analysis},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {247--260},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328469},
doi = {10.1145/1328438.1328469},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ChangR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChangRN07,
author = {Bor{-}Yuh Evan Chang and
Xavier Rival and
George C. Necula},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Shape Analysis with Structural Invariant Checkers},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {384--401},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_24},
doi = {10.1007/978-3-540-74061-2\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChangRN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChangHN06,
author = {Bor{-}Yuh Evan Chang and
Matthew Harren and
George C. Necula},
editor = {Kwangkeun Yi},
title = {Analysis of Low-Level Code Using Cooperating Decompilers},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {318--335},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_21},
doi = {10.1007/11823230\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChangHN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChangCN06,
author = {Bor{-}Yuh Evan Chang and
Adam Chlipala and
George C. Necula},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {A Framework for Certified Program Analysis and Its Applications to
Mobile-Code Safety},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {174--189},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_12},
doi = {10.1007/11609773\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ChangCN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BarnettCDJL05,
author = {Michael Barnett and
Bor{-}Yuh Evan Chang and
Robert DeLine and
Bart Jacobs and
K. Rustan M. Leino},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Boogie: {A} Modular Reusable Verifier for Object-Oriented Programs},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {364--387},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_17},
doi = {10.1007/11804192\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BarnettCDJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/ChangCNS05,
author = {Bor{-}Yuh Evan Chang and
Adam Chlipala and
George C. Necula and
Robert R. Schneck},
editor = {J. Gregory Morrisett and
Manuel F{\"{a}}hndrich},
title = {The open verifier framework for foundational verifiers},
booktitle = {Proceedings of TLDI'05: 2005 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Long Beach, CA, USA,
January 10, 2005},
pages = {1--12},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040294.1040295},
doi = {10.1145/1040294.1040295},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/ChangCNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/ChangCNS05a,
author = {Bor{-}Yuh Evan Chang and
Adam Chlipala and
George C. Necula and
Robert R. Schneck},
editor = {J. Gregory Morrisett and
Manuel F{\"{a}}hndrich},
title = {Type-based verification of assembly language for compiler debugging},
booktitle = {Proceedings of TLDI'05: 2005 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Long Beach, CA, USA,
January 10, 2005},
pages = {91--102},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040294.1040303},
doi = {10.1145/1040294.1040303},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/ChangCNS05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChangL05,
author = {Bor{-}Yuh Evan Chang and
K. Rustan M. Leino},
editor = {Radhia Cousot},
title = {Abstract Interpretation with Alien Expressions and Heap Structures},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {147--163},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_11},
doi = {10.1007/978-3-540-30579-8\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ChangL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChangRL05,
author = {Bor{-}Yuh Evan Chang and
K. Rustan M. Leino},
editor = {Agostino Cortesi and
Francesco Logozzo},
title = {Inferring Object Invariants: Extended Abstract},
booktitle = {Proceedings of the First International Workshop on Abstract Interpretation
of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
21, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {131},
pages = {63--74},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.01.023},
doi = {10.1016/J.ENTCS.2005.01.023},
timestamp = {Tue, 13 Dec 2022 15:04:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChangRL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChangS07,
author = {Bor{-}Yuh Evan Chang and
Manu Sridharan},
editor = {Vincent Danos and
Cosimo Laneve},
title = {{PML:} Toward a High-Level Formal Language for Biological Systems},
booktitle = {Proceedings of the First Workshop on Concurrent Models in Molecular
Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {3},
pages = {15--30},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.01.039},
doi = {10.1016/J.ENTCS.2004.01.039},
timestamp = {Tue, 31 Jan 2023 14:03:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChangS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grid/ChangCDHLVP02,
author = {Bor{-}Yuh Evan Chang and
Karl Crary and
Margaret DeLap and
Robert Harper and
Jason Liszka and
Tom Murphy VII and
Frank Pfenning},
editor = {Manish Parashar},
title = {Trustless Grid Computing in ConCert},
booktitle = {Grid Computing - {GRID} 2002, Third International Workshop, Baltimore,
MD, USA, November 18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2536},
pages = {112--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36133-2\_11},
doi = {10.1007/3-540-36133-2\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/grid/ChangCDHLVP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-02 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
