Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/paste:"
download as .bib file
@inproceedings{DBLP:conf/paste/BallHSL13,
author = {Thomas Ball and
Peli de Halleux and
Nikhil Swamy and
Daan Leijen},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {Increasing human-tool interaction via the web},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {49--52},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462031},
doi = {10.1145/2462029.2462031},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BallHSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/DingesCA13,
author = {Peter Dinges and
Minas Charalambides and
Gul Agha},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {Automated inference of atomic sets for safe concurrent execution},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {1--8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462030},
doi = {10.1145/2462029.2462030},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/DingesCA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Lu13,
author = {Charng{-}Da Lu},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {Automatically mining program build information via signature matching},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {25--32},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462036},
doi = {10.1145/2462029.2462036},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Lu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ModiRA13,
author = {Varun Modi and
Subhajit Roy and
Sanjeev K. Aggarwal},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {Exploring program phases for statistical bug localization},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {33--40},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462034},
doi = {10.1145/2462029.2462034},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ModiRA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/SarimbekovSKZBBA13,
author = {Aibek Sarimbekov and
Andreas Sewe and
Stephen Kell and
Yudi Zheng and
Walter Binder and
Lubom{\'{\i}}r Bulej and
Danilo Ansaloni},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {A comprehensive toolchain for workload characterization across {JVM}
languages},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {9--16},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462033},
doi = {10.1145/2462029.2462033},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/SarimbekovSKZBBA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/VitasekBH13,
author = {Matej Vit{\'{a}}sek and
Walter Binder and
Matthias Hauswirth},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {ShadowData: shadowing heap objects in Java},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {17--24},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462032},
doi = {10.1145/2462029.2462032},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/VitasekBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/YasugiMU13,
author = {Masahiro Yasugi and
Yuki Matsuda and
Tomoharu Ugawa},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {A proper performance evaluation system that summarizes code placement
effects},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {41--48},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462035},
doi = {10.1145/2462029.2462035},
timestamp = {Thu, 23 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/YasugiMU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2013,
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2462029},
isbn = {978-1-4503-2128-0},
timestamp = {Tue, 07 Jan 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BernatM11,
author = {Andrew R. Bernat and
Barton P. Miller},
editor = {Jeff Foster and
Lori L. Pollock},
title = {Anywhere, any-time binary instrumentation},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN-SIGSOFT} workshop on Program
analysis for software tools, PASTE'11, Szeged, Hungary, September
5-9, 2011},
pages = {9--16},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024569.2024572},
doi = {10.1145/2024569.2024572},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BernatM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Detten11,
author = {Markus von Detten},
editor = {Jeff Foster and
Lori L. Pollock},
title = {Towards systematic, comprehensive trace generation for behavioral
pattern detection through symbolic execution},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN-SIGSOFT} workshop on Program
analysis for software tools, PASTE'11, Szeged, Hungary, September
5-9, 2011},
pages = {17--20},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024569.2024573},
doi = {10.1145/2024569.2024573},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Detten11.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/paste/JacobsonRM11,
author = {Emily R. Jacobson and
Nathan E. Rosenblum and
Barton P. Miller},
editor = {Jeff Foster and
Lori L. Pollock},
title = {Labeling library functions in stripped binaries},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN-SIGSOFT} workshop on Program
analysis for software tools, PASTE'11, Szeged, Hungary, September
5-9, 2011},
pages = {1--8},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024569.2024571},
doi = {10.1145/2024569.2024571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/JacobsonRM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MilevaZ11,
author = {Yana Momchilova Mileva and
Andreas Zeller},
editor = {Jeff Foster and
Lori L. Pollock},
title = {Assessing modularity via usage changes},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN-SIGSOFT} workshop on Program
analysis for software tools, PASTE'11, Szeged, Hungary, September
5-9, 2011},
pages = {37--40},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024569.2024577},
doi = {10.1145/2024569.2024577},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/MilevaZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/QiNSR11,
author = {Dawei Qi and
Minh Ngoc Ngo and
Tao Sun and
Abhik Roychoudhury},
editor = {Jeff Foster and
Lori L. Pollock},
title = {Locating failure-inducing environment changes},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN-SIGSOFT} workshop on Program
analysis for software tools, PASTE'11, Szeged, Hungary, September
5-9, 2011},
pages = {29--36},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024569.2024576},
doi = {10.1145/2024569.2024576},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/QiNSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2011,
editor = {Jeff Foster and
Lori L. Pollock},
title = {Proceedings of the 10th {ACM} {SIGPLAN-SIGSOFT} workshop on Program
analysis for software tools, PASTE'11, Szeged, Hungary, September
5-9, 2011},
publisher = {{ACM}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2024569},
isbn = {978-1-4503-0849-6},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/AyewahP10,
author = {Nathaniel Ayewah and
William W. Pugh},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Null dereference analysis in practice},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {65--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806686},
doi = {10.1145/1806672.1806686},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/AyewahP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/CalmanZ10,
author = {Silvian Calman and
Jianwen Zhu},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Interprocedural induction variable analysis based on interprocedural
{SSA} form {IR}},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {37--44},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806680},
doi = {10.1145/1806672.1806680},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/CalmanZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/FengG10,
author = {Min Feng and
Rajiv Gupta},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Learning universal probabilistic models for fault localization},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {81--88},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806688},
doi = {10.1145/1806672.1806688},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/FengG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/FlanaganF10,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Sorin Lerner and
Atanas Rountev},
title = {The RoadRunner dynamic analysis framework for concurrent programs},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {1--8},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806674},
doi = {10.1145/1806672.1806674},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/FlanaganF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/HaC10,
author = {Jungwoo Ha and
Stephen P. Crago},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Opportunities for concurrent dynamic analysis with explicit inter-core
communication},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {17--20},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806676},
doi = {10.1145/1806672.1806676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/HaC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/IslamKBH10,
author = {Syed S. Islam and
Jens Krinke and
David W. Binkley and
Mark Harman},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Coherent dependence clusters},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {53--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806683},
doi = {10.1145/1806672.1806683},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/IslamKBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MizushimaMY10,
author = {Kota Mizushima and
Atusi Maeda and
Yoshinori Yamaguchi},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Packrat parsers can handle practical grammars in mostly constant space},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {29--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806679},
doi = {10.1145/1806672.1806679},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/MizushimaMY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/NarayanappaBR10,
author = {Harish Narayanappa and
Mukul S. Bansal and
Hridesh Rajan},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Property-aware program sampling},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {45--52},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806682},
doi = {10.1145/1806672.1806682},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/NarayanappaBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ReissK10,
author = {Steven P. Reiss and
Suman Karumuri},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Visualizing threads, transactions and tasks},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {9--16},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806675},
doi = {10.1145/1806672.1806675},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ReissK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/RosenblumMZ10,
author = {Nathan E. Rosenblum and
Barton P. Miller and
Xiaojin Zhu},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Extracting compiler provenance from program binaries},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {21--28},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806678},
doi = {10.1145/1806672.1806678},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/RosenblumMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Rubio-GonzalezL10,
author = {Cindy Rubio{-}Gonz{\'{a}}lez and
Ben Liblit},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Expect the unexpected: error code mismatches between documentation
and the real world},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {73--80},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806687},
doi = {10.1145/1806672.1806687},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Rubio-GonzalezL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Schmeelk10,
author = {Suzanna Schmeelk},
editor = {Sorin Lerner and
Atanas Rountev},
title = {Towards a unified fault-detection benchmark},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
pages = {61--64},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806672.1806684},
doi = {10.1145/1806672.1806684},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Schmeelk10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2010,
editor = {Sorin Lerner and
Atanas Rountev},
title = {Proceedings of the 9th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario,
Canada, June 5-6, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1806672},
isbn = {978-1-4503-0082-7},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Abi-AntounA08,
author = {Marwan Abi{-}Antoun and
Jonathan Aldrich},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {A field study in static extraction of runtime architectures},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {22--28},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512481},
doi = {10.1145/1512475.1512481},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Abi-AntounA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/DeRD08,
author = {Arnab De and
Abhik Roychoudhury and
Deepak D'Souza},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Java memory model aware software validation},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {8--14},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512478},
doi = {10.1145/1512475.1512478},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/DeRD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Hubert08,
author = {Laurent Hubert},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {A non-null annotation inferencer for Java bytecode},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {36--42},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512484},
doi = {10.1145/1512475.1512484},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Hubert08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/JashkiZB08,
author = {Mohammad{-}Amin Jashki and
Reza Zafarani and
Ebrahim Bagheri},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Towards a more efficient static software change impact analysis method},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {84--90},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512493},
doi = {10.1145/1512475.1512493},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/JashkiZB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/KhooFHS08,
author = {Yit Phang Khoo and
Jeffrey S. Foster and
Michael Hicks and
Vibha Sazawal},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Path projection for user-centered static analysis tools},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {57--63},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512488},
doi = {10.1145/1512475.1512488},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/KhooFHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/LiuM08,
author = {Yin Liu and
Ana L. Milanova},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Static analysis for inference of explicit information flow},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {50--56},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512486},
doi = {10.1145/1512475.1512486},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/LiuM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/LoM08,
author = {David Lo and
Shahar Maoz},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Specification mining of symbolic scenario-based models},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {29--35},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512482},
doi = {10.1145/1512475.1512482},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/LoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MarronMHSK08,
author = {Mark Marron and
Mario M{\'{e}}ndez{-}Lojo and
Manuel V. Hermenegildo and
Darko Stefanovic and
Deepak Kapur},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Sharing analysis of arrays, collections, and recursive structures},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {43--49},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512485},
doi = {10.1145/1512475.1512485},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/MarronMHSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/PamnanyJ08,
author = {Kiran Pamnany and
John Jannotti},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Elyze: enabling safe parallelism in event-driven servers},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {15--21},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512479},
doi = {10.1145/1512475.1512479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/PamnanyJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ShenZZFY08,
author = {Haihao Shen and
Sai Zhang and
Jianjun Zhao and
Jianhong Fang and
Shiyuan Yao},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {XFindBugs: eXtended FindBugs for AspectJ},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {70--76},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512490},
doi = {10.1145/1512475.1512490},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/ShenZZFY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ShonleGL08,
author = {Macneil Shonle and
William G. Griswold and
Sorin Lerner},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Addressing common crosscutting problems with Arcum},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {64--69},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512489},
doi = {10.1145/1512475.1512489},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ShonleGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ZaksP08,
author = {Anna Zaks and
Amir Pnueli},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Program analysis for compiler validation},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {1--7},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512477},
doi = {10.1145/1512475.1512477},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ZaksP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ZhangLGZ08,
author = {Sai Zhang and
Yu Lin and
Zhongxian Gu and
Jianjun Zhao},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Effective identification of failure-inducing changes: a hybrid approach},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {77--83},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512492},
doi = {10.1145/1512475.1512492},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/ZhangLGZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2008,
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
publisher = {{ACM}},
year = {2008},
url = {http://dl.acm.org/citation.cfm?id=1512475},
isbn = {978-1-60558-382-2},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/AikenBDDHH07,
author = {Alex Aiken and
Suhabe Bugrara and
Isil Dillig and
Thomas Dillig and
Brian Hackett and
Peter Hawkins},
editor = {Manuvir Das and
Dan Grossman},
title = {An overview of the saturn project},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {43--48},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251543},
doi = {10.1145/1251535.1251543},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/AikenBDDHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/AyewahPMPZ07,
author = {Nathaniel Ayewah and
William W. Pugh and
J. David Morgenthaler and
John Penix and
YuQian Zhou},
editor = {Manuvir Das and
Dan Grossman},
title = {Evaluating static analysis defect warnings on production software},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {1--8},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251536},
doi = {10.1145/1251535.1251536},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/AyewahPMPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Brown07,
author = {Ruben E. Brown},
editor = {Manuvir Das and
Dan Grossman},
title = {{AWE:} improving software analysis through modular integration of
static and dynamic analyses},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {69--74},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251547},
doi = {10.1145/1251535.1251547},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Brown07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ChinMMM07,
author = {Brian Chin and
Daniel Marino and
Shane Markstrum and
Todd D. Millstein},
editor = {Manuvir Das and
Dan Grossman},
title = {Enforcing and validating user-defined programming disciplines},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {85--86},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251550},
doi = {10.1145/1251535.1251550},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ChinMMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/FosterHP07,
author = {Jeffrey S. Foster and
Michael W. Hicks and
William W. Pugh},
editor = {Manuvir Das and
Dan Grossman},
title = {Improving software quality with static analysis},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {83--84},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251549},
doi = {10.1145/1251535.1251549},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/FosterHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/HovemeyerP07,
author = {David Hovemeyer and
William W. Pugh},
editor = {Manuvir Das and
Dan Grossman},
title = {Finding more null pointer bugs, but not too many},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {9--14},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251537},
doi = {10.1145/1251535.1251537},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/HovemeyerP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/LeS07,
author = {Wei Le and
Mary Lou Soffa},
editor = {Manuvir Das and
Dan Grossman},
title = {Refining buffer overflow detection via demand-driven path-sensitive
analysis},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {63--68},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251546},
doi = {10.1145/1251535.1251546},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/LeS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Lhotak07,
author = {Ondrej Lhot{\'{a}}k},
editor = {Manuvir Das and
Dan Grossman},
title = {Comparing call graphs},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {37--42},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251542},
doi = {10.1145/1251535.1251542},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Lhotak07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MarronSHK07,
author = {Mark Marron and
Darko Stefanovic and
Manuel V. Hermenegildo and
Deepak Kapur},
editor = {Manuvir Das and
Dan Grossman},
title = {Heap analysis in the presence of collection libraries},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {31--36},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251541},
doi = {10.1145/1251535.1251541},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/MarronSHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Milanova07,
author = {Ana L. Milanova},
editor = {Manuvir Das and
Dan Grossman},
title = {Light context-sensitive points-to analysis for java},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {25--30},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251540},
doi = {10.1145/1251535.1251540},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Milanova07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/PollockVSHFM07,
author = {Lori L. Pollock and
K. Vijay{-}Shanker and
David C. Shepherd and
Emily Hill and
Zachary P. Fry and
Kishen Maloor},
editor = {Manuvir Das and
Dan Grossman},
title = {Introducing natural language program analysis},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {15--16},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251538},
doi = {10.1145/1251535.1251538},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/PollockVSHFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/QianXM07,
author = {Ju Qian and
Baowen Xu and
Hongbo Min},
editor = {Manuvir Das and
Dan Grossman},
title = {Interstatement must aliases for data dependence analysis of heap locations},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {17--24},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251539},
doi = {10.1145/1251535.1251539},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/QianXM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ShepherdPV07,
author = {David C. Shepherd and
Lori L. Pollock and
K. Vijay{-}Shanker},
editor = {Manuvir Das and
Dan Grossman},
title = {Case study: supplementing program analysis with natural language analysis
to improve a reverse engineering task},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {49--54},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251544},
doi = {10.1145/1251535.1251544},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/ShepherdPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/XuPV07,
author = {Haiying Xu and
Christopher J. F. Pickett and
Clark Verbrugge},
editor = {Manuvir Das and
Dan Grossman},
title = {Dynamic purity analysis for java programs},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {75--82},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251548},
doi = {10.1145/1251535.1251548},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/XuPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ZhangR07,
author = {Weilei Zhang and
Barbara G. Ryder},
editor = {Manuvir Das and
Dan Grossman},
title = {Discovering accurate interclass test dependences},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {55--62},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251545},
doi = {10.1145/1251535.1251545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ZhangR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2007,
editor = {Manuvir Das and
Dan Grossman},
title = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
publisher = {{ACM}},
year = {2007},
url = {http://dl.acm.org/citation.cfm?id=1251535},
isbn = {978-1-59593-595-3},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BarnettL05,
author = {Michael Barnett and
K. Rustan M. Leino},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Weakest-precondition of unstructured programs},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {82--87},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108813},
doi = {10.1145/1108792.1108813},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BarnettL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BradburyCD05,
author = {Jeremy S. Bradbury and
James R. Cordy and
J{\"{u}}rgen Dingel},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {An empirical framework for comparing effectiveness of testing and
property-based formal analysis},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {2--5},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108795},
doi = {10.1145/1108792.1108795},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/BradburyCD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ChristodorescuKG05,
author = {Mihai Christodorescu and
Nicholas Kidd and
Wen{-}Han Goh},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {String analysis for x86 binaries},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {88--95},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108814},
doi = {10.1145/1108792.1108814},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ChristodorescuKG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/CookO05,
author = {Jonathan E. Cook and
Alessandro Orso},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {MonDe: safe updating through monitored deployment of new component
versions},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {43--46},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108803},
doi = {10.1145/1108792.1108803},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/CookO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Das05,
author = {Manuvir Das},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {{PASTE} at Microsoft},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {1},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108794},
doi = {10.1145/1108792.1108794},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Das05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Hamlet05,
author = {Dick Hamlet},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Invariants and state in testing and formal methods},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {48--51},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108806},
doi = {10.1145/1108792.1108806},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Hamlet05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/HampapuramYD05,
author = {Hari Hampapuram and
Yue Yang and
Manuvir Das},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Symbolic path simulation in path-sensitive dataflow analysis},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {52--58},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108808},
doi = {10.1145/1108792.1108808},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/HampapuramYD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/HovemeyerSP05,
author = {David Hovemeyer and
Jaime Spacco and
William W. Pugh},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Evaluating and tuning a static analysis to find null pointer bugs},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {13--19},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108798},
doi = {10.1145/1108792.1108798},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/HovemeyerSP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/KhurshidS05,
author = {Sarfraz Khurshid and
Yuk Lai Suen},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Generalizing symbolic execution to library classes},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {103--110},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108817},
doi = {10.1145/1108792.1108817},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/KhurshidS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/KumarCS05,
author = {Naveen Kumar and
Bruce R. Childers and
Mary Lou Soffa},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Low overhead program monitoring and profiling},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {28--34},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108801},
doi = {10.1145/1108792.1108801},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/KumarCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/LiangPH05,
author = {Donglin Liang and
Maikel Pennings and
Mary Jean Harrold},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Evaluating the impact of context-sensitivity on Andersen's algorithm
for Java programs},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {6--12},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108797},
doi = {10.1145/1108792.1108797},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/LiangPH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Myers05,
author = {Andrew C. Myers},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Making distributed systems secure with program analysis and transformation},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {47},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108805},
doi = {10.1145/1108792.1108805},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Myers05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Perkins05,
author = {Jeff H. Perkins},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Automatically generating refactorings to support {API} evolution},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {111--114},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108818},
doi = {10.1145/1108792.1108818},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Perkins05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/PickettV05,
author = {Christopher J. F. Pickett and
Clark Verbrugge},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {SableSpMT: a software framework for analysing speculative multithreading
in Java},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {59--66},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108809},
doi = {10.1145/1108792.1108809},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/PickettV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/PrivatD05,
author = {Jean Privat and
Roland Ducournau},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Link-time static analysis for efficient separate compilation of object-oriented
languages},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {20--27},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108799},
doi = {10.1145/1108792.1108799},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/PrivatD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/PutSMBCSB05,
author = {Ludo Van Put and
Bjorn De Sutter and
Matias Madou and
Bruno De Bus and
Dominique Chanet and
Kristof Smits and
Koen De Bosschere},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {{LANCET:} a nifty code editing tool},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {75--81},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108812},
doi = {10.1145/1108792.1108812},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/PutSMBCSB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/RountevVR05,
author = {Atanas Rountev and
Olga Volgin and
Miriam Reddoch},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Static control-flow analysis for reverse engineering of {UML} sequence
diagrams},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {96--102},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108816},
doi = {10.1145/1108792.1108816},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/RountevVR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/StroutMH05,
author = {Michelle Mills Strout and
John M. Mellor{-}Crummey and
Paul D. Hovland},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Representation-independent program analysis},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {67--74},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108810},
doi = {10.1145/1108792.1108810},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/StroutMH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/TallamG05,
author = {Sriraman Tallam and
Neelam Gupta},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {A concept analysis inspired greedy algorithm for test suite minimization},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {35--42},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108802},
doi = {10.1145/1108792.1108802},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/TallamG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2005,
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
publisher = {{ACM}},
year = {2005},
url = {http://dl.acm.org/citation.cfm?id=1108792},
isbn = {1-59593-239-9},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BusCSPB04,
author = {Bruno De Bus and
Dominique Chanet and
Bjorn De Sutter and
Ludo Van Put and
Koen De Bosschere},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {The design and implementation of {FIT:} a flexible instrumentation
toolkit},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {29--34},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996833},
doi = {10.1145/996821.996833},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BusCSPB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Ernst04,
author = {Michael D. Ernst},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Invited Talk Static and dynamic analysis: synergy and duality},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {35},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996823},
doi = {10.1145/996821.996823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Ernst04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Ezick04,
author = {James R. Ezick},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Resolving and applying constraint queries on context-sensitive analyses},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {2--7},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996826},
doi = {10.1145/996821.996826},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Ezick04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Godefroid04,
author = {Patrice Godefroid},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Invited Talk: "Model checking" software with VeriSoft},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {36},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996824},
doi = {10.1145/996821.996824},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Godefroid04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/HammerS04,
author = {Christian Hammer and
Gregor Snelting},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {An improved slicer for Java},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {17--22},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996830},
doi = {10.1145/996821.996830},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/HammerS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Leavens04,
author = {Gary T. Leavens},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Invited Talk: {JML} framed!},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {1},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996822},
doi = {10.1145/996821.996822},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Leavens04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Martel04,
author = {Matthieu Martel},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Validation of assembler programs for DSPs: a static analyzer},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {8--13},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996827},
doi = {10.1145/996821.996827},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Martel04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/NystromKH04,
author = {Erik M. Nystrom and
Hong{-}Seok Kim and
Wen{-}mei W. Hwu},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Importance of heap specialization in pointer analysis},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {43--48},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996836},
doi = {10.1145/996821.996836},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/NystromKH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/PearceKH04,
author = {David J. Pearce and
Paul H. J. Kelly and
Chris Hankin},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Efficient field-sensitive pointer analysis for {C}},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {37--42},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996835},
doi = {10.1145/996821.996835},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/PearceKH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/RenierisCR04,
author = {Manos Renieris and
S{\'{e}}bastien Chan{-}Tin and
Steven P. Reiss},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Elided conditionals},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {52--57},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996839},
doi = {10.1145/996821.996839},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/RenierisCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/RountevKG04,
author = {Atanas Rountev and
Scott Kagan and
Michael Gibas},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Evaluating the imprecision of static analysis},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {14--16},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996829},
doi = {10.1145/996821.996829},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/RountevKG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/SaffE04,
author = {David Saff and
Michael D. Ernst},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Mock object creation for test factoring},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {49--51},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996838},
doi = {10.1145/996821.996838},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/SaffE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/YangE04,
author = {Jinlin Yang and
David Evans},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Dynamically inferring temporal properties},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {23--28},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996832},
doi = {10.1145/996821.996832},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/YangE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2004,
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
publisher = {{ACM}},
year = {2004},
url = {http://dl.acm.org/citation.cfm?id=996821},
isbn = {1-58113-910-1},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/AkgulM02,
author = {Tankut Akgul and
Vincent John Mooney},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Instruction-level reverse execution for debugging},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {18--25},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586101},
doi = {10.1145/586094.586101},
timestamp = {Thu, 21 Jan 2021 17:36:46 +0100},
biburl = {https://dblp.org/rec/conf/paste/AkgulM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ApiwattanapongH02,
author = {Taweesup Apiwattanapong and
Mary Jean Harrold},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Selective path profiling},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {35--42},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586104},
doi = {10.1145/586094.586104},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ApiwattanapongH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BowringOH02,
author = {James F. Bowring and
Alessandro Orso and
Mary Jean Harrold},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Monitoring deployed software using software tomography},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {2--9},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586099},
doi = {10.1145/586094.586099},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BowringOH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BrownDEHJVW02,
author = {Rhodes Brown and
Karel Driesen and
David Eng and
Laurie J. Hendren and
John Jorgensen and
Clark Verbrugge and
Qin Wang},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {{STEP:} a framework for the efficient encoding of general trace data},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {27--34},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586103},
doi = {10.1145/586094.586103},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BrownDEHJVW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ChelfEH02,
author = {Benjamin Chelf and
Dawson R. Engler and
Seth Hallem},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {How to write system-specific, static checkers in metal},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {51--60},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586097},
doi = {10.1145/586094.586097},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ChelfEH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Eng02,
author = {David Eng},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Combining static and dynamic data in code visualization},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {43--50},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586105},
doi = {10.1145/586094.586105},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Eng02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Fiskio-LasseterY02,
author = {John Howard Eli Fiskio{-}Lasseter and
Michal Young},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Flow equations as a generic programming tool for manipulation of attributed
graphs},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {69--76},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586108},
doi = {10.1145/586094.586108},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Fiskio-LasseterY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Morrisett02,
author = {J. Gregory Morrisett},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Analysis issues for cyclone},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {26},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586096},
doi = {10.1145/586094.586096},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Morrisett02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Naumovich02,
author = {Gleb Naumovich},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Using the observer design pattern for implementation of data flow
analyses},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {61--68},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586107},
doi = {10.1145/586094.586107},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Naumovich02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Notkin02,
author = {David Notkin},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Longitudinal program analysis},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {1},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586095},
doi = {10.1145/586094.586095},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Notkin02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/SutherlandGS02,
author = {Dean F. Sutherland and
Aaron Greenhouse and
William L. Scherlis},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {The code of many colors: relating threads to code and shared state},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {77--83},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586109},
doi = {10.1145/586094.586109},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/SutherlandGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/TikirHL02,
author = {Mustafa M. Tikir and
Jeffrey K. Hollingsworth and
Guei{-}Yuan Lueh},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Recompilation for debugging support in a JIT-compiler},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {10--17},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586100},
doi = {10.1145/586094.586100},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/TikirHL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2002,
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
publisher = {{ACM}},
year = {2002},
url = {http://dl.acm.org/citation.cfm?id=586094},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/AgrawalG01,
author = {Gagan Agrawal and
Liang Guo},
editor = {John Field and
Gregor Snelting},
title = {Evaluating explicitly context-sensitive program slicing},
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 = {6--12},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379630},
doi = {10.1145/379605.379630},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/AgrawalG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/AncourtN01,
author = {Corinne Ancourt and
Thi Viet Nga Nguyen},
editor = {John Field and
Gregor Snelting},
title = {Array resizing for scientific code debugging, maintenance and reuse},
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 = {32--37},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379656},
doi = {10.1145/379605.379656},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/AncourtN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BallR01,
author = {Thomas Ball and
Sriram K. Rajamani},
editor = {John Field and
Gregor Snelting},
title = {Bebop: a path-sensitive interprocedural dataflow engine},
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 = {97--103},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379690},
doi = {10.1145/379605.379690},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BallR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BrabandMS01,
author = {Claus Brabrand and
Anders M{\o}ller and
Michael I. Schwartzbach},
editor = {John Field and
Gregor Snelting},
title = {Static validation of dynamically generated {HTML}},
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 = {38--45},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379657},
doi = {10.1145/379605.379657},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/BrabandMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/FlanaganF01,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {John Field and
Gregor Snelting},
title = {Detecting race conditions in large 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 = {90--96},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379687},
doi = {10.1145/379605.379687},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/FlanaganF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Griswold01,
author = {William G. Griswold},
editor = {John Field and
Gregor Snelting},
title = {Making slicing practical: the final mile (Abstract)},
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 = {1},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379625},
doi = {10.1145/379605.379625},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Griswold01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Hind01,
author = {Michael Hind},
editor = {John Field and
Gregor Snelting},
title = {Pointer analysis: haven't we solved this problem yet?},
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 = {54--61},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379665},
doi = {10.1145/379605.379665},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Hind01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Holzmann01,
author = {Gerard J. Holzmann},
editor = {John Field and
Gregor Snelting},
title = {Economics of software verification},
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 = {80--85},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379681},
doi = {10.1145/379605.379681},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Holzmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/KadayifCKVIS01,
author = {Ismail Kadayif and
T. Chinoda and
Mahmut T. Kandemir and
Narayanan Vijaykrishnan and
Mary Jane Irwin and
Anand Sivasubramaniam},
editor = {John Field and
Gregor Snelting},
title = {vEC: virtual energy counters},
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 = {28--31},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379639},
doi = {10.1145/379605.379639},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/KadayifCKVIS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/LiangPH01,
author = {Donglin Liang and
Maikel Pennings and
Mary Jean Harrold},
editor = {John Field and
Gregor Snelting},
title = {Extending and evaluating flow-insenstitive and context-insensitive
points-to analyses for Java},
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 = {73--79},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379676},
doi = {10.1145/379605.379676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/LiangPH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MaessenSG01,
author = {Jan{-}Willem Maessen and
Vivek Sarkar and
David Grove},
editor = {John Field and
Gregor Snelting},
title = {Program analysis for safety guarantees in a Java virtual machine written
in Java},
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 = {62--65},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379668},
doi = {10.1145/379605.379668},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/MaessenSG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MockDCE01,
author = {Markus Mock and
Manuvir Das and
Craig Chambers and
Susan J. Eggers},
editor = {John Field and
Gregor Snelting},
title = {Dynamic points-to sets: a comparison with static analyses and potential
applications in program understanding and optimization},
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 = {66--72},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379671},
doi = {10.1145/379605.379671},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/MockDCE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Palsberg01,
author = {Jens Palsberg},
editor = {John Field and
Gregor Snelting},
title = {Type-based analysis and applications},
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 = {20--27},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379635},
doi = {10.1145/379605.379635},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Palsberg01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Reiss01,
author = {Steven P. Reiss},
editor = {John Field and
Gregor Snelting},
title = {An overview of {BLOOM}},
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 = {2--5},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379629},
doi = {10.1145/379605.379629},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Reiss01.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}
}
@inproceedings{DBLP:conf/paste/SouterP01,
author = {Amie L. Souter and
Lori L. Pollock},
editor = {John Field and
Gregor Snelting},
title = {Contextual def-use associations for object aggregation},
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 = {13--19},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379633},
doi = {10.1145/379605.379633},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/SouterP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Webber01,
author = {Adam Brooks Webber},
editor = {John Field and
Gregor Snelting},
title = {What is a class invariant?},
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 = {86--89},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379685},
doi = {10.1145/379605.379685},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Webber01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2001,
editor = {John Field and
Gregor Snelting},
title = {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},
publisher = {{ACM}},
year = {2001},
url = {http://dl.acm.org/citation.cfm?id=379605},
isbn = {1-58113-413-4},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Agrawal99,
author = {Hira Agrawal},
editor = {William G. Griswold and
Susan Horwitz},
title = {Efficient Coverage Testing Using Global Dominator Graphs},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {11--20},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316166},
doi = {10.1145/316158.316166},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Agrawal99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Balmas99,
author = {Francoise Balmas},
editor = {William G. Griswold and
Susan Horwitz},
title = {Query by Outlines: {A} New Paradigm to Help Manage Programs},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {86--94},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316185},
doi = {10.1145/316158.316185},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Balmas99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ChandraR99,
author = {Satish Chandra and
Thomas W. Reps},
editor = {William G. Griswold and
Susan Horwitz},
title = {Physical Type Checking for {C}},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {66--75},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316183},
doi = {10.1145/316158.316183},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ChandraR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ChoiGHS99,
author = {Jong{-}Deok Choi and
David Grove and
Michael Hind and
Vivek Sarkar},
editor = {William G. Griswold and
Susan Horwitz},
title = {Efficient and Precise Modeling of Exceptions for the Analysis of Java
Programs},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {21--31},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316171},
doi = {10.1145/316158.316171},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ChoiGHS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/FieldR99,
author = {John Field and
G. Ramalingam},
editor = {William G. Griswold and
Susan Horwitz},
title = {Identifying Procedural Structure in Cobol Programs},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {1--10},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316163},
doi = {10.1145/316158.316163},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/FieldR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/KokaiNN99,
author = {Gabriella K{\'{o}}kai and
J{\"{o}}rg Nilson and
Christian Niss},
editor = {William G. Griswold and
Susan Horwitz},
title = {{GIDTS:} {A} Graphical Programming Environment for Prolog},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {95--104},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316186},
doi = {10.1145/316158.316186},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/KokaiNN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/LiangH99,
author = {Donglin Liang and
Mary Jean Harrold},
editor = {William G. Griswold and
Susan Horwitz},
title = {Equivalence Analysis: {A} General Technique to Improve the Efficiency
of Data-flow Analyses in the Presence of Pointers},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {39--46},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316175},
doi = {10.1145/316158.316175},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/LiangH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/NaumovichCC99,
author = {Gleb Naumovich and
Lori A. Clarke and
Jamieson M. Cobleigh},
editor = {William G. Griswold and
Susan Horwitz},
title = {Using Partial Order Techniques to Improve Performance of Data Flow
Analysis Based Verification},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {57--65},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316180},
doi = {10.1145/316158.316180},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/NaumovichCC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Preston99,
author = {Nicky Williams Preston},
editor = {William G. Griswold and
Susan Horwitz},
title = {New Type Signatures for Legacy Fortran Subroutines},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {76--85},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316184},
doi = {10.1145/316158.316184},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Preston99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/SouterPH99,
author = {Amie L. Souter and
Lori L. Pollock and
Dixie Hisley},
editor = {William G. Griswold and
Susan Horwitz},
title = {Inter-Class Def-Use Analysis with Partial Class Representations},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {47--56},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316178},
doi = {10.1145/316158.316178},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/SouterPH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Steindl99,
author = {Christoph Steindl},
editor = {William G. Griswold and
Susan Horwitz},
title = {Benefits of a Data Flow-Aware Programming Environment},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {105--109},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316187},
doi = {10.1145/316158.316187},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Steindl99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/WhitingH99,
author = {Liz Whiting and
Mike Hill},
editor = {William G. Griswold and
Susan Horwitz},
title = {Safety Analysis of Hawk in Flight Monitor},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {32--38},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316173},
doi = {10.1145/316158.316173},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/WhitingH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/1999,
editor = {William G. Griswold and
Susan Horwitz},
title = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
publisher = {{ACM}},
year = {1999},
url = {http://dl.acm.org/citation.cfm?id=316158},
isbn = {1-58113-137-2},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ChaseCHY98,
author = {Melissa P. Chase and
Steven M. Christey and
David R. Harris and
Alexander S. Yeh},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Recovering Software Architecture from Multiple Source Code Analyses},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {43--50},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277640},
doi = {10.1145/277631.277640},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ChaseCHY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/DorRS98,
author = {Nurit Dor and
Michael Rodeh and
Shmuel Sagiv},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience)},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {27--34},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277637},
doi = {10.1145/277631.277637},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/DorRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/HarroldRWY98,
author = {Mary Jean Harrold and
Gregg Rothermel and
Rui Wu and
Liu Yi},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {An Empirical Investigation of Program Spectra},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {83--90},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277647},
doi = {10.1145/277631.277647},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/HarroldRWY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/JefferyZTB98,
author = {Clinton L. Jeffery and
Wenyi Zhou and
Kevin Templer and
Michael Brazell},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {A Lightweight Architecture for Program Execution Monitoring},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {67--74},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277644},
doi = {10.1145/277631.277644},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/JefferyZTB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Krinke98,
author = {Jens Krinke},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Static Slicing of Threaded Programs},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {35--42},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277638},
doi = {10.1145/277631.277638},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/Krinke98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/NaumovichCO98,
author = {Gleb Naumovich and
Lori A. Clarke and
Leon J. Osterweil},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Efficient Composite Data Flow Analysis Applied to Concurrent Programs},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {51--58},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277642},
doi = {10.1145/277631.277642},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/NaumovichCO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Reiss98,
author = {Steven P. Reiss},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Software Visualization in the Desert Environment},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {59--66},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277643},
doi = {10.1145/277631.277643},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/Reiss98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Snelting98,
author = {Gregor Snelting},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Concept Analysis - {A} New Framework for Program Understanding},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {1--10},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277634},
doi = {10.1145/277631.277634},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/Snelting98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/TiceG98,
author = {Caroline Tice and
Susan L. Graham},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {{OPTVIEW:} {A} New Approach for Examining Optimized Code},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {19--26},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277636},
doi = {10.1145/277631.277636},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/TiceG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/WadellA98,
author = {Oscar Waddell and
J. Michael Ashley},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Visualizing the Performance of Higher-Order Programs},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {75--82},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277646},
doi = {10.1145/277631.277646},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/WadellA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ZhangRL98,
author = {Sean Zhang and
Barbara G. Ryder and
William Landi},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Experiments with Combined Analysis for Pointer Aliasing},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {11--18},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277635},
doi = {10.1145/277631.277635},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/ZhangRL98.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 = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/1998.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.
retrieved on 2024-04-19 08:47 CEST from data curated 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:
