Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Shawn Meier
@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} }
@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} }
@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} }
@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} }
@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/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} }
@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} }
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.