default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Frank Tip
@article{DBLP:journals/tse/SchaferNET24,
author = {Max Sch{\"{a}}fer and
Sarah Nadi and
Aryaz Eghbali and
Frank Tip},
title = {An Empirical Evaluation of Using Large Language Models for Automated
Unit Test Generation},
journal = {{IEEE} Trans. Software Eng.},
volume = {50},
number = {1},
pages = {85--105},
year = {2024},
url = {https://doi.org/10.1109/TSE.2023.3334955},
doi = {10.1109/TSE.2023.3334955},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SchaferNET24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-09952,
author = {Frank Tip and
Jonathan Bell and
Max Sch{\"{a}}fer},
title = {LLMorpheus: Mutation Testing using Large Language Models},
journal = {CoRR},
volume = {abs/2404.09952},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.09952},
doi = {10.48550/ARXIV.2404.09952},
eprinttype = {arXiv},
eprint = {2404.09952},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-09952.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ArtecaST23,
author = {Ellen Arteca and
Max Sch{\"{a}}fer and
Frank Tip},
title = {Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven
JavaScript APIs},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {1},
pages = {166--184},
year = {2023},
url = {https://doi.org/10.1109/TSE.2022.3147975},
doi = {10.1109/TSE.2022.3147975},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ArtecaST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/0002TTP23,
author = {Daniel Lehmann and
Michelle Thalakottur and
Frank Tip and
Michael Pradel},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {That's a Tough Call: Studying the Challenges of Call Graph Construction
for WebAssembly},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {892--903},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598104},
doi = {10.1145/3597926.3598104},
timestamp = {Mon, 17 Jul 2023 11:49:17 +0200},
biburl = {https://dblp.org/rec/conf/issta/0002TTP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TurcotteGT23,
author = {Alexi Turcotte and
Satyajit Gokhale and
Frank Tip},
title = {Increasing the Responsiveness of Web Applications by Introducing Lazy
Loading},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {459--470},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00192},
doi = {10.1109/ASE56229.2023.00192},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/TurcotteGT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GanjiAT23,
author = {Mohammad Ganji and
Saba Alimadadi and
Frank Tip},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Code Coverage Criteria for Asynchronous Programs},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {1307--1319},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616292},
doi = {10.1145/3611643.3616292},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GanjiAT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06527,
author = {Max Sch{\"{a}}fer and
Sarah Nadi and
Aryaz Eghbali and
Frank Tip},
title = {Adaptive Test Generation Using a Large Language Model},
journal = {CoRR},
volume = {abs/2302.06527},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06527},
doi = {10.48550/ARXIV.2302.06527},
eprinttype = {arXiv},
eprint = {2302.06527},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06527.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-08741,
author = {Ellen Arteca and
Max Sch{\"{a}}fer and
Frank Tip},
title = {A statistical approach for finding property-access errors},
journal = {CoRR},
volume = {abs/2306.08741},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.08741},
doi = {10.48550/ARXIV.2306.08741},
eprinttype = {arXiv},
eprint = {2306.08741},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/TurcotteAMAT22,
author = {Alexi Turcotte and
Ellen Arteca and
Ashish Mishra and
Saba Alimadadi and
Frank Tip},
title = {Stubbifier: debloating dynamic server-side JavaScript applications},
journal = {Empir. Softw. Eng.},
volume = {27},
number = {7},
pages = {161},
year = {2022},
url = {https://doi.org/10.1007/s10664-022-10195-6},
doi = {10.1007/S10664-022-10195-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/TurcotteAMAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TurcotteSAT22,
author = {Alexi Turcotte and
Michael D. Shah and
Mark W. Aldrich and
Frank Tip},
title = {DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous
JavaScript},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {774--785},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510097},
doi = {10.1145/3510003.3510097},
timestamp = {Mon, 18 Jul 2022 16:47:42 +0200},
biburl = {https://dblp.org/rec/conf/icse/TurcotteSAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ArtecaHPT22,
author = {Ellen Arteca and
Sebastian Harner and
Michael Pradel and
Frank Tip},
title = {Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {1494--1505},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510106},
doi = {10.1145/3510003.3510106},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ArtecaHPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TurcotteAT22,
author = {Alexi Turcotte and
Mark W. Aldrich and
Frank Tip},
title = {reformulator: Automated Refactoring of the {N+1} Problem in Database-Backed
Applications},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {84:1--84:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556911},
doi = {10.1145/3551349.3556911},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/TurcotteAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AldrichTBT22,
author = {Mark W. Aldrich and
Alexi Turcotte and
Matthew Blanco and
Frank Tip},
title = {Augur: Dynamic Taint Analysis for Asynchronous JavaScript},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {153:1--153:4},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3559522},
doi = {10.1145/3551349.3559522},
timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AldrichTBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ArtecaTS21,
author = {Ellen Arteca and
Frank Tip and
Max Sch{\"{a}}fer},
title = {Enabling Additional Parallelism in Asynchronous JavaScript Applications
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {05:1--05:6},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.5},
doi = {10.4230/DARTS.7.2.5},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ArtecaTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GokhaleTT21,
author = {Satyajit Gokhale and
Alexi Turcotte and
Frank Tip},
title = {Automatic migration from synchronous to asynchronous JavaScript APIs},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--27},
year = {2021},
url = {https://doi.org/10.1145/3485537},
doi = {10.1145/3485537},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GokhaleTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AliLLLDT21,
author = {Karim Ali and
Xiaoni Lai and
Zhaoyi Luo and
Ondrej Lhot{\'{a}}k and
Julian Dolby and
Frank Tip},
title = {A Study of Call Graph Construction for JVM-Hosted Languages},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {12},
pages = {2644--2666},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2956925},
doi = {10.1109/TSE.2019.2956925},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AliLLLDT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ArtecaTS21,
author = {Ellen Arteca and
Frank Tip and
Max Sch{\"{a}}fer},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {Enabling Additional Parallelism in Asynchronous JavaScript Applications},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {7:1--7:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.7},
doi = {10.4230/LIPICS.ECOOP.2021.7},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ArtecaTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-13708,
author = {Ellen Arteca and
Max Sch{\"{a}}fer and
Frank Tip},
title = {Learning how to listen: Automatically finding bug patterns in event-driven
JavaScript APIs},
journal = {CoRR},
volume = {abs/2107.13708},
year = {2021},
url = {https://arxiv.org/abs/2107.13708},
eprinttype = {arXiv},
eprint = {2107.13708},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-13708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-14162,
author = {Alexi Turcotte and
Ellen Arteca and
Ashish Mishra and
Saba Alimadadi and
Frank Tip},
title = {Stubbifier: Debloating Dynamic Server-Side JavaScript Applications},
journal = {CoRR},
volume = {abs/2110.14162},
year = {2021},
url = {https://arxiv.org/abs/2110.14162},
eprinttype = {arXiv},
eprint = {2110.14162},
timestamp = {Fri, 29 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-14162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KarimTSS20,
author = {Rezwana Karim and
Frank Tip and
Alena Sochurkov{\'{a}} and
Koushik Sen},
title = {Platform-Independent Dynamic Taint Analysis for JavaScript},
journal = {{IEEE} Trans. Software Eng.},
volume = {46},
number = {12},
pages = {1364--1379},
year = {2020},
url = {https://doi.org/10.1109/TSE.2018.2878020},
doi = {10.1109/TSE.2018.2878020},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/KarimTSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MadsenLT19,
author = {Magnus Madsen and
Ondrej Lhot{\'{a}}k and
Frank Tip},
editor = {Robert Hirschfeld and
Tobias Pape},
title = {A Semantics for the Essence of React},
booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {166},
pages = {12:1--12:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.12},
doi = {10.4230/LIPICS.ECOOP.2020.12},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MadsenLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-12935,
author = {Ming{-}Ho Yee and
Ayaz Badouraly and
Ondrej Lhot{\'{a}}k and
Frank Tip and
Jan Vitek},
title = {Precise Dataflow Analysis of Event-Driven Applications},
journal = {CoRR},
volume = {abs/1910.12935},
year = {2019},
url = {http://arxiv.org/abs/1910.12935},
eprinttype = {arXiv},
eprint = {1910.12935},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-12935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SelakovicPKT18,
author = {Marija Selakovic and
Michael Pradel and
Rezwana Karim and
Frank Tip},
title = {Test generation for higher-order functions in dynamic languages},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {161:1--161:27},
year = {2018},
url = {https://doi.org/10.1145/3276531},
doi = {10.1145/3276531},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SelakovicPKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlimadadiZMT18,
author = {Saba Alimadadi and
Di Zhong and
Magnus Madsen and
Frank Tip},
title = {Finding broken promises in asynchronous JavaScript programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {162:1--162:26},
year = {2018},
url = {https://doi.org/10.1145/3276532},
doi = {10.1145/3276532},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AlimadadiZMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AdamsenMAT18,
author = {Christoffer Quist Adamsen and
Anders M{\o}ller and
Saba Alimadadi and
Frank Tip},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Practical {AJAX} race detection for JavaScript web applications},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {38--48},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236038},
doi = {10.1145/3236024.3236038},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AdamsenMAT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2018,
editor = {Frank Tip and
Eric Bodden},
title = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
publisher = {{ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3213846},
timestamp = {Mon, 16 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AdamsenMT17,
author = {Christoffer Quist Adamsen and
Anders M{\o}ller and
Frank Tip},
title = {Practical initialization race detection for JavaScript web applications},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {66:1--66:22},
year = {2017},
url = {https://doi.org/10.1145/3133890},
doi = {10.1145/3133890},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AdamsenMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MadsenLT17,
author = {Magnus Madsen and
Ondrej Lhot{\'{a}}k and
Frank Tip},
title = {A model for reasoning about JavaScript promises},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {86:1--86:24},
year = {2017},
url = {https://doi.org/10.1145/3133910},
doi = {10.1145/3133910},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MadsenLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AdamsenMKSTS17,
author = {Christoffer Quist Adamsen and
Anders M{\o}ller and
Rezwana Karim and
Manu Sridharan and
Frank Tip and
Koushik Sen},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Repairing event race errors by controlling nondeterminism},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {289--299},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.34},
doi = {10.1109/ICSE.2017.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AdamsenMKSTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AndreasenGCSTS16,
author = {Esben Andreasen and
Colin S. Gordon and
Satish Chandra and
Manu Sridharan and
Frank Tip and
Koushik Sen},
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
title = {Trace Typing: An Approach for Evaluating Retrofitted Type Systems},
booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
series = {LIPIcs},
volume = {56},
pages = {1:1--1:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.1},
doi = {10.4230/LIPICS.ECOOP.2016.1},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AndreasenGCSTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MadsenTASM16,
author = {Magnus Madsen and
Frank Tip and
Esben Andreasen and
Koushik Sen and
Anders M{\o}ller},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Feedback-directed instrumentation for deployed JavaScript applications},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {899--910},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884846},
doi = {10.1145/2884781.2884846},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MadsenTASM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/0001GJSSTC16,
author = {Satish Chandra and
Colin S. Gordon and
Jean{-}Baptiste Jeannin and
Cole Schlesinger and
Manu Sridharan and
Frank Tip and
Young{-}Il Choi},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Type inference for static compilation of JavaScript},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {410--429},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984017},
doi = {10.1145/2983990.2984017},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/0001GJSSTC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AndreasenGCSTS16,
author = {Esben Andreasen and
Colin S. Gordon and
Satish Chandra and
Manu Sridharan and
Frank Tip and
Koushik Sen},
title = {Trace Typing: An Approach for Evaluating Retrofitted Type Systems
(Extended Version)},
journal = {CoRR},
volume = {abs/1605.01362},
year = {2016},
url = {http://arxiv.org/abs/1605.01362},
eprinttype = {arXiv},
eprint = {1605.01362},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AndreasenGCSTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChandraGJSSTC16,
author = {Satish Chandra and
Colin S. Gordon and
Jean{-}Baptiste Jeannin and
Cole Schlesinger and
Manu Sridharan and
Frank Tip and
Young{-}Il Choi},
title = {Type Inference for Static Compilation of JavaScript (Extended Version)},
journal = {CoRR},
volume = {abs/1608.07261},
year = {2016},
url = {http://arxiv.org/abs/1608.07261},
eprinttype = {arXiv},
eprint = {1608.07261},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChandraGJSSTC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Tip15,
author = {Frank Tip},
title = {Infeasible paths in object-oriented programs},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {91--97},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.005},
doi = {10.1016/J.SCICO.2013.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Tip15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/AliRLDT15,
author = {Karim Ali and
Marianna Rapoport and
Ondrej Lhot{\'{a}}k and
Julian Dolby and
Frank Tip},
title = {Type-Based Call Graph Construction Algorithms for Scala},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {25},
number = {1},
pages = {9:1--9:43},
year = {2015},
url = {https://doi.org/10.1145/2824234},
doi = {10.1145/2824234},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/AliRLDT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MadsenTL15,
author = {Magnus Madsen and
Frank Tip and
Ondrej Lhot{\'{a}}k},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Static analysis of event-driven Node.js JavaScript applications},
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 = {505--519},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814272},
doi = {10.1145/2814270.2814272},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MadsenTL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RapoportLT15,
author = {Marianna Rapoport and
Ondrej Lhot{\'{a}}k and
Frank Tip},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {Precise Data Flow Analysis in the Presence of Correlated Method Calls},
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 = {54--71},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_4},
doi = {10.1007/978-3-662-48288-9\_4},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/RapoportLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BoehmDFFGHHPTVW14,
author = {Hans{-}Juergen Boehm and
Jack W. Davidson and
Kathleen Fisher and
Cormac Flanagan and
Jeremy Gibbons and
Mary W. Hall and
Graham Hutton and
David A. Padua and
Frank Tip and
Jan Vitek and
Philip Wadler},
title = {Practices of {PLDI}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {49},
number = {4S},
pages = {33--38},
year = {2014},
url = {https://doi.org/10.1145/2641638.2641649},
doi = {10.1145/2641638.2641649},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/BoehmDFFGHHPTVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AliRLDT14,
author = {Karim Ali and
Marianna Rapoport and
Ondrej Lhot{\'{a}}k and
Julian Dolby and
Frank Tip},
editor = {Richard E. Jones},
title = {Constructing Call Graphs of Scala Programs},
booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference,
Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8586},
pages = {54--79},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44202-9\_3},
doi = {10.1007/978-3-662-44202-9\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AliRLDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/AmaralBHST13,
author = {Jos{\'{e}} Nelson Amaral and
Bob Blainey and
Laurie J. Hendren and
Kevin Stoodley and
Frank Tip},
editor = {James R. Cordy and
Krzystof Czarnecki and
Sang{-}Ah Han},
title = {12th Compiler-Driven Performance Workshop},
booktitle = {Center for Advanced Studies on Collaborative Research, {CASCON} '13,
Toronto, ON, Canada, November 18-20, 2013},
pages = {385--387},
publisher = {{IBM} / {ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2555582},
timestamp = {Wed, 27 Jan 2016 19:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cascon/AmaralBHST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarinoHDVTV13,
author = {Daniel Marino and
Christian Hammer and
Julian Dolby and
Mandana Vaziri and
Frank Tip and
Jan Vitek},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Detecting deadlock in programs with data-centric synchronization},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {322--331},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606578},
doi = {10.1109/ICSE.2013.6606578},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MarinoHDVTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FeldthausSSDT13,
author = {Asger Feldthaus and
Max Sch{\"{a}}fer and
Manu Sridharan and
Julian Dolby and
Frank Tip},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Efficient construction of approximate call graphs for JavaScript {IDE}
services},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {752--761},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606621},
doi = {10.1109/ICSE.2013.6606621},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FeldthausSSDT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SchaferSDT13,
author = {Max Sch{\"{a}}fer and
Manu Sridharan and
Julian Dolby and
Frank Tip},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Dynamic determinacy analysis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {165--174},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462168},
doi = {10.1145/2491956.2462168},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SchaferSDT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HarroldSTZ13,
author = {Mary Jean Harrold and
Friedrich Steimann and
Frank Tip and
Andreas Zeller},
title = {Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)},
journal = {Dagstuhl Reports},
volume = {3},
number = {2},
pages = {1--21},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.2.1},
doi = {10.4230/DAGREP.3.2.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HarroldSTZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DolbyHMTVV12,
author = {Julian Dolby and
Christian Hammer and
Daniel Marino and
Frank Tip and
Mandana Vaziri and
Jan Vitek},
title = {A data-centric approach to synchronization},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {1},
pages = {4:1--4:48},
year = {2012},
url = {https://doi.org/10.1145/2160910.2160913},
doi = {10.1145/2160910.2160913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DolbyHMTVV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ArtziDTP12,
author = {Shay Artzi and
Julian Dolby and
Frank Tip and
Marco Pistoia},
title = {Fault Localization for Dynamic Web Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {2},
pages = {314--335},
year = {2012},
url = {https://doi.org/10.1109/TSE.2011.76},
doi = {10.1109/TSE.2011.76},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ArtziDTP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SchaferTST12,
author = {Max Sch{\"{a}}fer and
Andreas Thies and
Friedrich Steimann and
Frank Tip},
title = {A Comprehensive Approach to Naming and Accessibility in Refactoring
Java Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {6},
pages = {1233--1257},
year = {2012},
url = {https://doi.org/10.1109/TSE.2012.13},
doi = {10.1109/TSE.2012.13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SchaferTST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SridharanDCST12,
author = {Manu Sridharan and
Julian Dolby and
Satish Chandra and
Max Sch{\"{a}}fer and
Frank Tip},
editor = {James Noble},
title = {Correlation Tracking for Points-To Analysis of JavaScript},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {435--458},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_20},
doi = {10.1007/978-3-642-31057-7\_20},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SridharanDCST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SamirniSAMTH12,
author = {Hesam Samimi and
Max Sch{\"{a}}fer and
Shay Artzi and
Todd D. Millstein and
Frank Tip and
Laurie J. Hendren},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Automated repair of {HTML} generation errors in {PHP} applications
using string constraint solving},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {277--287},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227186},
doi = {10.1109/ICSE.2012.6227186},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SamirniSAMTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2012,
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064},
doi = {10.1145/2254064},
isbn = {978-1-4503-1205-9},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TipFKEBS11,
author = {Frank Tip and
Robert M. Fuhrer and
Adam Kiezun and
Michael D. Ernst and
Ittai Balaban and
Bjorn De Sutter},
title = {Refactoring using type constraints},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {3},
pages = {9:1--9:47},
year = {2011},
url = {https://doi.org/10.1145/1961204.1961205},
doi = {10.1145/1961204.1961205},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/TipFKEBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchaferSDT11,
author = {Max Sch{\"{a}}fer and
Manu Sridharan and
Julian Dolby and
Frank Tip},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Refactoring Java programs for flexible locking},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {71--80},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985804},
doi = {10.1145/1985793.1985804},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SchaferSDT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ArtziDJMT11,
author = {Shay Artzi and
Julian Dolby and
Simon Holm Jensen and
Anders M{\o}ller and
Frank Tip},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {A framework for automated testing of javascript web applications},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {571--580},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985871},
doi = {10.1145/1985793.1985871},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ArtziDJMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FeldthausMMST11,
author = {Asger Feldthaus and
Todd D. Millstein and
Anders M{\o}ller and
Max Sch{\"{a}}fer and
Frank Tip},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Tool-supported refactoring for JavaScript},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {119--138},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048078},
doi = {10.1145/2048066.2048078},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FeldthausMMST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FeldthausMMST11a,
author = {Asger Feldthaus and
Todd D. Millstein and
Anders M{\o}ller and
Max Sch{\"{a}}fer and
Frank Tip},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Refactoring towards the good parts of javascript},
booktitle = {Companion to the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {189--190},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048147.2048200},
doi = {10.1145/2048147.2048200},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FeldthausMMST11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/FisherWTRL11,
author = {Marc Fisher II and
Jan Wloka and
Frank Tip and
Barbara G. Ryder and
Alexander Luchansky},
editor = {Jeff Foster and
Lori L. Pollock},
title = {An evaluation of change-based coverage criteria},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN-SIGSOFT} workshop on Program
analysis for software tools, PASTE'11, Szeged, Hungary, September
5-9, 2011},
pages = {21--28},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024569.2024575},
doi = {10.1145/2024569.2024575},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/FisherWTRL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Tip11,
author = {Frank Tip},
editor = {Judith Bishop and
Antonio Vallecillo},
title = {Finding and Fixing Bugs in Web Applications (Invited Talk)},
booktitle = {Objects, Models, Components, Patterns - 49th International Conference,
{TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6705},
pages = {2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21952-8\_2},
doi = {10.1007/978-3-642-21952-8\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/tools/Tip11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2011,
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420},
doi = {10.1145/2001420},
isbn = {978-1-4503-0562-4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ArtziKDTDPE10,
author = {Shay Artzi and
Adam Kiezun and
Julian Dolby and
Frank Tip and
Danny Dig and
Amit M. Paradkar and
Michael D. Ernst},
title = {Finding Bugs in Web Applications Using Dynamic Test Generation and
Explicit-State Model Checking},
journal = {{IEEE} Trans. Software Eng.},
volume = {36},
number = {4},
pages = {474--494},
year = {2010},
url = {https://doi.org/10.1109/TSE.2010.31},
doi = {10.1109/TSE.2010.31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ArtziKDTDPE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchaferDSTT10,
author = {Max Sch{\"{a}}fer and
Julian Dolby and
Manu Sridharan and
Emina Torlak and
Frank Tip},
editor = {Theo D'Hondt},
title = {Correct Refactoring of Concurrent Java Code},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {225--249},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_11},
doi = {10.1007/978-3-642-14107-2\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SchaferDSTT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VaziriTDHV10,
author = {Mandana Vaziri and
Frank Tip and
Julian Dolby and
Christian Hammer and
Jan Vitek},
editor = {Theo D'Hondt},
title = {A Type System for Data-Centric Synchronization},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {304--328},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_15},
doi = {10.1007/978-3-642-14107-2\_15},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VaziriTDHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ArtziDTP10,
author = {Shay Artzi and
Julian Dolby and
Frank Tip and
Marco Pistoia},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Practical fault localization for dynamic web applications},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {265--274},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806840},
doi = {10.1145/1806799.1806840},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ArtziDTP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ArtziDTP10,
author = {Shay Artzi and
Julian Dolby and
Frank Tip and
Marco Pistoia},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Directed test generation for effective fault localization},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {49--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831715},
doi = {10.1145/1831708.1831715},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ArtziDTP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10152,
editor = {Guido Boella and
Erik Meijer and
David J. Pearce and
Friedrich Steimann and
Frank Tip},
title = {Relationships, Objects, Roles, and Queries in Modern Programming Languages,
11.04. - 16.04.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10152},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10152/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BoellaMPST10,
author = {Guido Boella and
Erik Meijer and
David J. Pearce and
Friedrich Steimann and
Frank Tip},
editor = {Guido Boella and
Erik Meijer and
David J. Pearce and
Friedrich Steimann and
Frank Tip},
title = {10152 Abstracts Collection - Relationships, Objects, Roles, and Queries
in Modern Languages},
booktitle = {Relationships, Objects, Roles, and Queries in Modern Programming Languages,
11.04. - 16.04.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10152},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2575/},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BoellaMPST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BoellaMPST10a,
author = {Guido Boella and
Erik Meijer and
David J. Pearce and
Friedrich Steimann and
Frank Tip},
editor = {Guido Boella and
Erik Meijer and
David J. Pearce and
Friedrich Steimann and
Frank Tip},
title = {10152 Executive Summary - Relationships, Objects, Roles, and Queries
in Modern Languages},
booktitle = {Relationships, Objects, Roles, and Queries in Modern Programming Languages,
11.04. - 16.04.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10152},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2574/},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BoellaMPST10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WlokaRTR09,
author = {Jan Wloka and
Barbara G. Ryder and
Frank Tip and
Xiaoxia Ren},
title = {Safe-commit analysis to facilitate team software development},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {507--517},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070549},
doi = {10.1109/ICSE.2009.5070549},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WlokaRTR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WlokaRT09,
author = {Jan Wloka and
Barbara G. Ryder and
Frank Tip},
title = {JUnitMX - {A} change-aware unit testing tool},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {567--570},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070557},
doi = {10.1109/ICSE.2009.5070557},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WlokaRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WlokaST09,
author = {Jan Wloka and
Manu Sridharan and
Frank Tip},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Refactoring for reentrancy},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {173--182},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595723},
doi = {10.1145/1595696.1595723},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WlokaST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HammerDVT08,
author = {Christian Hammer and
Julian Dolby and
Mandana Vaziri and
Frank Tip},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Dynamic detection of atomic-set-serializability violations},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {231--240},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368120},
doi = {10.1145/1368088.1368120},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HammerDVT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ArtziKDTDPE08,
author = {Shay Artzi and
Adam Kiezun and
Julian Dolby and
Frank Tip and
Danny Dig and
Amit M. Paradkar and
Michael D. Ernst},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Finding bugs in dynamic web applications},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {261--272},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390662},
doi = {10.1145/1390630.1390662},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ArtziKDTDPE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NelsonBBMNPST08,
author = {Stephen Nelson and
Stephanie Balzer and
Gavin M. Bierman and
Erik Meijer and
James Noble and
David J. Pearce and
Jiri Soukup and
Frank Tip},
editor = {Gail E. Harris},
title = {Relationships and associations in object-oriented languages},
booktitle = {Companion to the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-13, 2007, Nashville, TN, {USA}},
pages = {855--856},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449814.1449883},
doi = {10.1145/1449814.1449883},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/NelsonBBMNPST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VaziriTFD07,
author = {Mandana Vaziri and
Frank Tip and
Stephen Fink and
Julian Dolby},
editor = {Erik Ernst},
title = {Declarative Object Identity Using Relation Types},
booktitle = {{ECOOP} 2007 - Object-Oriented Programming, 21st European Conference,
Berlin, Germany, July 30 - August 3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4609},
pages = {54--78},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73589-2\_4},
doi = {10.1007/978-3-540-73589-2\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VaziriTFD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/DigJTMBGK07,
author = {Danny Dig and
Ralph E. Johnson and
Frank Tip and
Oege de Moor and
Jan Becicka and
William G. Griswold and
Markus Keller},
editor = {Michael Cebulla},
title = {Refactoring Tools},
booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
Germany, July 30-31, 2007, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4906},
pages = {193--202},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78195-0\_19},
doi = {10.1007/978-3-540-78195-0\_19},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/DigJTMBGK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KiezunETF07,
author = {Adam Kiezun and
Michael D. Ernst and
Frank Tip and
Robert M. Fuhrer},
title = {Refactoring for Parameterizing Java Classes},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {437--446},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.70},
doi = {10.1109/ICSE.2007.70},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KiezunETF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChesleyRRT07,
author = {Ophelia C. Chesley and
Xiaoxia Ren and
Barbara G. Ryder and
Frank Tip},
title = {Crisp-A Fault Localization Tool for Java Programs},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {775--779},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.29},
doi = {10.1109/ICSE.2007.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChesleyRRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Tip07,
author = {Frank Tip},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Refactoring Using Type Constraints},
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 = {1--17},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_1},
doi = {10.1007/978-3-540-74061-2\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Tip07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WasserrabNST07,
author = {Daniel Wasserrab and
Tobias Nipkow and
Gregor Snelting and
Frank Tip},
editor = {Wolf{-}Gideon Bleek and
J{\"{o}}rg Raasch and
Heinz Z{\"{u}}llighoven},
title = {{C++} ist typsicher? Garantiert!},
booktitle = {Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik,
27.-30.3.2007 in Hamburg},
series = {{LNI}},
volume = {{P-105}},
pages = {29--31},
publisher = {{GI}},
year = {2007},
url = {https://dl.gi.de/handle/20.500.12116/22771},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/WasserrabNST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DolbyVT07,
author = {Julian Dolby and
Mandana Vaziri and
Frank Tip},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Finding bugs efficiently with a {SAT} solver},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {195--204},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287653},
doi = {10.1145/1287624.1287653},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DolbyVT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BaileyHT06,
author = {Mark W. Bailey and
John Hatcliff and
Frank Tip},
title = {{PEPM} 2006 paper abstracts},
journal = {{ACM} {SIGPLAN} Notices},
volume = {41},
number = {3},
pages = {4--8},
year = {2006},
url = {https://doi.org/10.1145/1140543.1140545},
doi = {10.1145/1140543.1140545},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BaileyHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WasserrabNST06,
author = {Daniel Wasserrab and
Tobias Nipkow and
Gregor Snelting and
Frank Tip},
editor = {Peri L. Tarr and
William R. Cook},
title = {An operational semantics and type safety prooffor multiple inheritance
in {C++}},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {345--362},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167503},
doi = {10.1145/1167473.1167503},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WasserrabNST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VaziriTD06,
author = {Mandana Vaziri and
Frank Tip and
Julian Dolby},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {Associating synchronization constraints with data in an object-oriented
language},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {334--345},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111067},
doi = {10.1145/1111037.1111067},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/VaziriTD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/StorzerRRT06,
author = {Maximilian St{\"{o}}rzer and
Barbara G. Ryder and
Xiaoxia Ren and
Frank Tip},
editor = {Michal Young and
Premkumar T. Devanbu},
title = {Finding failure-inducing changes in java programs using change classification},
booktitle = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2006, Portland, Oregon,
USA, November 5-11, 2006},
pages = {57--68},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181775.1181783},
doi = {10.1145/1181775.1181783},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/StorzerRRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2006,
editor = {John Hatcliff and
Frank Tip},
title = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2006, Charleston, South
Carolina, USA, January 9-10, 2006},
publisher = {{ACM}},
year = {2006},
url = {http://dl.acm.org/citation.cfm?id=1111542},
isbn = {1-59593-196-1},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FuhrerTKDK05,
author = {Robert M. Fuhrer and
Frank Tip and
Adam Kiezun and
Julian Dolby and
Markus Keller},
editor = {Andrew P. Black},
title = {Efficiently Refactoring Java Applications to Use Generic Libraries},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {71--96},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_4},
doi = {10.1007/11531142\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FuhrerTKDK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RenRST05,
author = {Xiaoxia Ren and
Barbara G. Ryder and
Maximilian St{\"{o}}rzer and
Frank Tip},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Chianti: a change impact analysis tool for java programs},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {664--665},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062598},
doi = {10.1145/1062455.1062598},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RenRST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KiezunFTK05,
author = {Adam Kiezun and
Robert M. Fuhrer and
Frank Tip and
Markus Keller},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Generics-related refactorings in eclipse},
booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {170},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094918},
doi = {10.1145/1094855.1094918},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KiezunFTK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BalabanTF05,
author = {Ittai Balaban and
Frank Tip and
Robert M. Fuhrer},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Refactoring support for class library migration},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {265--279},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094832},
doi = {10.1145/1094811.1094832},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BalabanTF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SutterTD04,
author = {Bjorn De Sutter and
Frank Tip and
Julian Dolby},
editor = {Martin Odersky},
title = {Customization of Java Library Classes Using Type Constraints and Profile
Information},
booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
pages = {585--610},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24851-4\_27},
doi = {10.1007/978-3-540-24851-4\_27},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SutterTD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FuhrerTK04,
author = {Robert M. Fuhrer and
Frank Tip and
Adam Kiezun},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Advanced refactorings in eclipse},
booktitle = {Companion to the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {8},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028664.1028669},
doi = {10.1145/1028664.1028669},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FuhrerTK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RenSTRC04,
author = {Xiaoxia Ren and
Fenil Shah and
Frank Tip and
Barbara G. Ryder and
Ophelia C. Chesley},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Chianti: a tool for change impact analysis of java programs},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {432--448},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1029012},
doi = {10.1145/1028976.1029012},
timestamp = {Fri, 25 Jun 2021 14:51:50 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RenSTRC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/TipSL03,
author = {Frank Tip and
Peter F. Sweeney and
Chris Laffra},
title = {Extracting library-based Java applications},
journal = {Commun. {ACM}},
volume = {46},
number = {8},
pages = {35--40},
year = {2003},
url = {https://doi.org/10.1145/859670.859695},
doi = {10.1145/859670.859695},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/TipSL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TipKB03,
author = {Frank Tip and
Adam Kiezun and
Dirk B{\"{a}}umer},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Refactoring for generalization using type constraints},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {13--26},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305.949308},
doi = {10.1145/949305.949308},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TipKB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TipSLES02,
author = {Frank Tip and
Peter F. Sweeney and
Chris Laffra and
Aldo Eisma and
David Streeter},
title = {Practical extraction techniques for Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {24},
number = {6},
pages = {625--666},
year = {2002},
url = {https://doi.org/10.1145/586088.586090},
doi = {10.1145/586088.586090},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/TipSLES02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SneltingT02,
author = {Gregor Snelting and
Frank Tip},
editor = {Boris Magnusson},
title = {Semantics-Based Composition of Class Hierarchies},
booktitle = {{ECOOP} 2002 - Object-Oriented Programming, 16th European Conference,
Malaga, Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2374},
pages = {562--584},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47993-7\_24},
doi = {10.1007/3-540-47993-7\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SneltingT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/TipD01,
author = {Frank Tip and
T. B. Dinesh},
title = {A slicing-based approach for locating type errors},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {10},
number = {1},
pages = {5--55},
year = {2001},
url = {https://doi.org/10.1145/366378.366379},
doi = {10.1145/366378.366379},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/TipD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/RyderT01,
author = {Barbara G. Ryder and
Frank Tip},
editor = {John Field and
Gregor Snelting},
title = {Change impact analysis for object-oriented programs},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah,
USA, June 18-19, 2001},
pages = {46--53},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379661},
doi = {10.1145/379605.379661},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/RyderT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/TipS00,
author = {Frank Tip and
Peter F. Sweeney},
title = {Class Hierarchy Specialization},
journal = {Acta Informatica},
volume = {36},
number = {12},
pages = {927--982},
year = {2000},
url = {https://doi.org/10.1007/PL00013298},
doi = {10.1007/PL00013298},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/TipS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SneltingT00,
author = {Gregor Snelting and
Frank Tip},
title = {Understanding class hierarchies using concept analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {22},
number = {3},
pages = {540--582},
year = {2000},
url = {https://doi.org/10.1145/353926.353940},
doi = {10.1145/353926.353940},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SneltingT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TipP00,
author = {Frank Tip and
Jens Palsberg},
editor = {Mary Beth Rosson and
Doug Lea},
title = {Scalable propagation-based call graph construction algorithms},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 2000,
Minneapolis, Minnesota, USA, October 15-19, 2000},
pages = {281--293},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/353171.353190},
doi = {10.1145/353171.353190},
timestamp = {Wed, 30 Mar 2022 13:58:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TipP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SweeneyT00,
author = {Peter F. Sweeney and
Frank Tip},
editor = {John C. Knight and
David S. Rosenblum},
title = {Extracting library-based object-oriented applications},
booktitle = {{ACM} {SIGSOFT} Symposium on Foundations of Software Engineering,
an Diego, California, USA, November 6-10, 2000, Proceedings},
pages = {98--107},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/355045.355059},
doi = {10.1145/355045.355059},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SweeneyT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TipLSS99,
author = {Frank Tip and
Chris Laffra and
Peter F. Sweeney and
David Streeter},
editor = {Brent Hailpern and
Linda M. Northrop and
A. Michael Berman},
title = {Practical Experience with an Application Extractor for Java},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
Denver, Colorado, USA, November 1-5, 1999},
pages = {292--305},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/320384.320414},
doi = {10.1145/320384.320414},
timestamp = {Wed, 30 Mar 2022 13:58:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TipLSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RamalingamFT99,
author = {G. Ramalingam and
John Field and
Frank Tip},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Aggregate Structure Identification and Its Application to Program
Analysis},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {119--132},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292553},
doi = {10.1145/292540.292553},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RamalingamFT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/FieldT98,
author = {John Field and
Frank Tip},
title = {Dynamic dependence in term rewriting systems and its application to
program slicing},
journal = {Inf. Softw. Technol.},
volume = {40},
number = {11-12},
pages = {609--636},
year = {1998},
url = {https://doi.org/10.1016/S0950-5849(98)00087-1},
doi = {10.1016/S0950-5849(98)00087-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/FieldT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SweeneyT98,
author = {Peter F. Sweeney and
Frank Tip},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {A Study of Dead Data Members in {C++} Applications},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {324--332},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277750},
doi = {10.1145/277650.277750},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SweeneyT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SneltingT98,
author = {Gregor Snelting and
Frank Tip},
editor = {Leon J. Osterweil and
William L. Scherlis},
title = {Reengineering Class Hierarchies Using Concept Analysis},
booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
USA, November 3-5, 1998},
pages = {99--110},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288195.288273},
doi = {10.1145/288195.288273},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SneltingT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/1998,
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631},
doi = {10.1145/277631},
isbn = {1-58113-055-4},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsl/DineshT97,
author = {T. B. Dinesh and
Frank Tip},
editor = {Chris Ramming},
title = {A Slicing-Based Approach for Locating Type Errors},
booktitle = {Proceedings of the Conference on Domain-Specific Languages, DSL'97,
Santa Barbara, California, USA, October 15-17, 1997},
publisher = {{USENIX}},
year = {1997},
url = {http://www.usenix.org/publications/library/proceedings/dsl97/dinesh.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsl/DineshT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TipS97,
author = {Frank Tip and
Peter F. Sweeney},
editor = {Mary E. S. Loomis and
Toby Bloom and
A. Michael Berman},
title = {Class Hierarchy Specialization},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1997,
Atlanta, Georgia, October 5-9, 1997},
pages = {271--285},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/263698.263748},
doi = {10.1145/263698.263748},
timestamp = {Wed, 30 Mar 2022 13:58:18 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TipS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TipCFR96,
author = {Frank Tip and
Jong{-}Deok Choi and
John Field and
G. Ramalingam},
editor = {Lougie Anderson and
James Coplien},
title = {Slicing Class Hierarchies in {C++}},
booktitle = {Proceedings of the 1996 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1996,
San Jose, California, USA, October 6-10, 1996},
pages = {179--197},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/236337.236355},
doi = {10.1145/236337.236355},
timestamp = {Wed, 30 Mar 2022 13:58:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TipCFR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpl/Tip95,
author = {Frank Tip},
title = {A survey of program slicing techniques},
journal = {J. Program. Lang.},
volume = {3},
number = {3},
year = {1995},
url = {http://compscinet.dcs.kcl.ac.uk/JP/jp030301.abs.html},
timestamp = {Thu, 29 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpl/Tip95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FieldRT95,
author = {John Field and
G. Ramalingam and
Frank Tip},
editor = {Ron K. Cytron and
Peter Lee},
title = {Parametric Program Slicing},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {379--392},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199534},
doi = {10.1145/199448.199534},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FieldRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Tip95,
author = {Frank Tip},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Generic Techniques for Source-Level Debugging and Dynamic Program
Slicing},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {516--530},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_217},
doi = {10.1007/3-540-59293-8\_217},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Tip95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FieldT94,
author = {John Field and
Frank Tip},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Dynamic Dependence in Term rewriting Systems and its Application to
Program Slicing},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {415--431},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_29},
doi = {10.1007/3-540-58402-1\_29},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/FieldT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DeursenKT93,
author = {Arie van Deursen and
Paul Klint and
Frank Tip},
title = {Origin Tracking},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {523--545},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80004-0},
doi = {10.1016/S0747-7171(06)80004-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DeursenKT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Tip93,
author = {Frank Tip},
editor = {Peter Fritszon},
title = {Animators for Generated Programming Environments},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {241--254},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019412},
doi = {10.1007/BFB0019412},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Tip93.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.
last updated on 2024-08-05 21:21 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:
