default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephen N. Freund
@inproceedings{DBLP:conf/ecoop/FlanaganF24,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Jonathan Aldrich and
Guido Salvaneschi},
title = {Mover Logic: {A} Concurrent Program Logic for Reduction and Rely-Guarantee
Reasoning},
booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024,
September 16-20, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {313},
pages = {16:1--16:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.16},
doi = {10.4230/LIPICS.ECOOP.2024.16},
timestamp = {Thu, 12 Sep 2024 13:29:32 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FlanaganF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-16354,
author = {Kyla Levin and
Nicolas van Kempen and
Emery D. Berger and
Stephen N. Freund},
title = {ChatDBG: An AI-Powered Debugging Assistant},
journal = {CoRR},
volume = {abs/2403.16354},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.16354},
doi = {10.48550/ARXIV.2403.16354},
eprinttype = {arXiv},
eprint = {2403.16354},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-16354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-08070,
author = {Cormac Flanagan and
Stephen N. Freund},
title = {Mover Logic: {A} Concurrent Program Logic for Reduction and Rely-Guarantee
Reasoning (Extended Version)},
journal = {CoRR},
volume = {abs/2407.08070},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.08070},
doi = {10.48550/ARXIV.2407.08070},
eprinttype = {arXiv},
eprint = {2407.08070},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-08070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2021,
editor = {Stephen N. Freund and
Eran Yahav},
title = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483},
doi = {10.1145/3453483},
isbn = {978-1-4503-8391-2},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FlanaganF20,
author = {Cormac Flanagan and
Stephen N. Freund},
title = {The anchor verifier for blocking and non-blocking concurrent software},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {156:1--156:29},
year = {2020},
url = {https://doi.org/10.1145/3428224},
doi = {10.1145/3428224},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FlanaganF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/WilcoxFF18,
author = {James R. Wilcox and
Cormac Flanagan and
Stephen N. Freund},
editor = {Andreas Krall and
Thomas R. Gross},
title = {VerifiedFT: a verified, high-performance precise dynamic race detector},
booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February
24-28, 2018},
pages = {354--367},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178487.3178514},
doi = {10.1145/3178487.3178514},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/WilcoxFF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RhodesFF17,
author = {Dustin Rhodes and
Cormac Flanagan and
Stephen N. Freund},
title = {Correctness of Partial Escape Analysis for Multithreading Optimization},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {9:1--9:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104039},
doi = {10.1145/3103111.3104039},
timestamp = {Mon, 18 Jan 2021 18:25:06 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RhodesFF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RhodesFF17,
author = {Dustin Rhodes and
Cormac Flanagan and
Stephen N. Freund},
editor = {Albert Cohen and
Martin T. Vechev},
title = {BigFoot: static check placement for dynamic race detection},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {141--156},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062350},
doi = {10.1145/3062341.3062350},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RhodesFF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/YiDFF15,
author = {Jaeheon Yi and
Tim Disney and
Stephen N. Freund and
Cormac Flanagan},
title = {Cooperative types for controlling thread interference in Java},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {227--260},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.08.004},
doi = {10.1016/J.SCICO.2015.08.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/YiDFF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WilcoxFFF15,
author = {James R. Wilcox and
Parker Finch and
Cormac Flanagan and
Stephen N. Freund},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Array Shadow State Compression for Precise Dynamic Race Detection
{(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {155--165},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.19},
doi = {10.1109/ASE.2015.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WilcoxFFF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FlanaganF13,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Giuseppe Castagna},
title = {RedCard: Redundant Check Elimination for Dynamic Race Detectors},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {255--280},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_11},
doi = {10.1007/978-3-642-39038-8\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FlanaganF13.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/issta/YiDFF12,
author = {Jaeheon Yi and
Tim Disney and
Stephen N. Freund and
Cormac Flanagan},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {Cooperative types for controlling thread interference in Java},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {232--242},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336781},
doi = {10.1145/2338965.2336781},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/issta/YiDFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/EricksonFM12,
author = {John Erickson and
Stephen N. Freund and
Madanlal Musuvathi},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Dynamic Analyses for Data-Race Detection},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_1},
doi = {10.1007/978-3-642-35632-2\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/EricksonFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/YiSFF11,
author = {Jaeheon Yi and
Caitlin Sadowski and
Stephen N. Freund and
Cormac Flanagan},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Cooperative Concurrency for a Multicore World - (Extended Abstract)},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {342--344},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_25},
doi = {10.1007/978-3-642-29860-8\_25},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/YiSFF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2011ftfjp,
editor = {Stephen N. Freund},
title = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674},
doi = {10.1145/2076674},
isbn = {978-1-4503-0893-9},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2011ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FlanaganF10,
author = {Cormac Flanagan and
Stephen N. Freund},
title = {FastTrack: efficient and precise dynamic race detection},
journal = {Commun. {ACM}},
volume = {53},
number = {11},
pages = {93--101},
year = {2010},
url = {https://doi.org/10.1145/1839676.1839699},
doi = {10.1145/1839676.1839699},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/FlanaganF10.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/pldi/FlanaganF10,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Benjamin G. Zorn and
Alex Aiken},
title = {Adversarial memory for detecting destructive races},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {244--254},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806625},
doi = {10.1145/1806596.1806625},
timestamp = {Mon, 22 Jul 2024 10:17:08 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlanaganF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SadowskiFF09,
author = {Caitlin Sadowski and
Stephen N. Freund and
Cormac Flanagan},
editor = {Giuseppe Castagna},
title = {SingleTrack: {A} Dynamic Determinism Checker for Multithreaded Programs},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {394--409},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_28},
doi = {10.1007/978-3-642-00590-9\_28},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SadowskiFF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlanaganF09,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Michael Hind and
Amer Diwan},
title = {FastTrack: efficient and precise dynamic race detection},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {121--133},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542490},
doi = {10.1145/1542476.1542490},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlanaganF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FlanaganF08,
author = {Cormac Flanagan and
Stephen N. Freund},
title = {Atomizer: {A} dynamic atomicity checker for multithreaded programs},
journal = {Sci. Comput. Program.},
volume = {71},
number = {2},
pages = {89--109},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2007.12.001},
doi = {10.1016/J.SCICO.2007.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FlanaganF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/AllenBBBFFHKKLLLPRRSTW08,
author = {Eric Allen and
Mark W. Bailey and
Rastislav Bod{\'{\i}}k and
Kim B. Bruce and
Kathleen Fisher and
Stephen N. Freund and
Robert Harper and
Chandra Krintz and
Shriram Krishnamurthi and
James R. Larus and
Doug Lea and
Gary T. Leavens and
Lori L. Pollock and
Stuart Reges and
Martin C. Rinard and
Mark A. Sheldon and
Franklyn A. Turbak and
Mitchell Wand},
title = {{SIGPLAN} programming language curriculum workshop: Discussion Summaries
and recommendations},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {6--29},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480831},
doi = {10.1145/1480828.1480831},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/AllenBBBFFHKKLLLPRRSTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BruceF08,
author = {Kim B. Bruce and
Stephen N. Freund},
title = {Programming languages in a liberal arts education},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {45--49},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480837},
doi = {10.1145/1480828.1480837},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BruceF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BruceF08a,
author = {Kim B. Bruce and
Stephen N. Freund},
title = {Programming languages as part of core computer science},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {50--54},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480838},
doi = {10.1145/1480828.1480838},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BruceF08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FlanaganFLQ08,
author = {Cormac Flanagan and
Stephen N. Freund and
Marina Lifshin and
Shaz Qadeer},
title = {Types for atomicity: Static checking and inference for Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {4},
pages = {20:1--20:53},
year = {2008},
url = {https://doi.org/10.1145/1377492.1377495},
doi = {10.1145/1377492.1377495},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FlanaganFLQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlanaganFY08,
author = {Cormac Flanagan and
Stephen N. Freund and
Jaeheon Yi},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Velodrome: a sound and complete dynamic atomicity checker for multithreaded
programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {293--303},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375618},
doi = {10.1145/1375581.1375618},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlanaganFY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FlanaganF07,
author = {Cormac Flanagan and
Stephen N. Freund},
title = {Type inference against races},
journal = {Sci. Comput. Program.},
volume = {64},
number = {1},
pages = {140--165},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.03.006},
doi = {10.1016/J.SCICO.2006.03.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FlanaganF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AbadiFF06,
author = {Mart{\'{\i}}n Abadi and
Cormac Flanagan and
Stephen N. Freund},
title = {Types for safe locking: Static race detection for Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {28},
number = {2},
pages = {207--255},
year = {2006},
url = {https://doi.org/10.1145/1119479.1119480},
doi = {10.1145/1119479.1119480},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AbadiFF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/FlanaganF06,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {Dynamic Architecture Extraction},
booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
WA, USA, August 15-16, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {209--224},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_14},
doi = {10.1007/11940197\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/FlanaganF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FlanaganFQS05,
author = {Cormac Flanagan and
Stephen N. Freund and
Shaz Qadeer and
Sanjit A. Seshia},
title = {Modular verification of multithreaded programs},
journal = {Theor. Comput. Sci.},
volume = {338},
number = {1-3},
pages = {153--183},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.12.006},
doi = {10.1016/J.TCS.2004.12.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FlanaganFQS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FlanaganFQ05,
author = {Cormac Flanagan and
Stephen N. Freund and
Shaz Qadeer},
title = {Exploiting Purity for Atomicity},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {4},
pages = {275--291},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.47},
doi = {10.1109/TSE.2005.47},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FlanaganFQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/FlanaganFL05,
author = {Cormac Flanagan and
Stephen N. Freund and
Marina Lifshin},
editor = {J. Gregory Morrisett and
Manuel F{\"{a}}hndrich},
title = {Type inference for atomicity},
booktitle = {Proceedings of TLDI'05: 2005 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Long Beach, CA, USA,
January 10, 2005},
pages = {47--58},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040294.1040299},
doi = {10.1145/1040294.1040299},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tldi/FlanaganFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FreundQ04,
author = {Stephen N. Freund and
Shaz Qadeer},
title = {Checking Concise Specifications for Multithreaded Software},
journal = {J. Object Technol.},
volume = {3},
number = {6},
pages = {81--101},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.6.a4},
doi = {10.5381/JOT.2004.3.6.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/FreundQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/FlanaganF04,
author = {Cormac Flanagan and
Stephen N. Freund},
title = {Atomizer: {A} Dynamic Atomicity Checker for Multithreaded Programs
(Summary)},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303345},
doi = {10.1109/IPDPS.2004.1303345},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/FlanaganF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FlanaganFQ04,
author = {Cormac Flanagan and
Stephen N. Freund and
Shaz Qadeer},
editor = {George S. Avrunin and
Gregg Rothermel},
title = {Exploiting purity for atomicity},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
pages = {221--231},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512.1007543},
doi = {10.1145/1007512.1007543},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/FlanaganFQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlanaganF04,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Atomizer: a dynamic atomicity checker for multithreaded programs},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {256--267},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964023},
doi = {10.1145/964001.964023},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/FlanaganF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FlanaganF04,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Roberto Giacobazzi},
title = {Type Inference Against Races},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {116--132},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_11},
doi = {10.1007/978-3-540-27864-1\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FlanaganF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FreundM03,
author = {Stephen N. Freund and
John C. Mitchell},
title = {A Type System for the Java Bytecode Language and Verifier},
journal = {J. Autom. Reason.},
volume = {30},
number = {3-4},
pages = {271--321},
year = {2003},
url = {https://doi.org/10.1023/A:1025011624925},
doi = {10.1023/A:1025011624925},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FreundM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BurrowsFW03,
author = {Michael Burrows and
Stephen N. Freund and
Janet L. Wiener},
editor = {G{\"{o}}rel Hedin},
title = {Run-Time Type Checking for Binary Programs},
booktitle = {Compiler Construction, 12th International Conference, {CC} 2003, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2622},
pages = {90--105},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36579-6\_7},
doi = {10.1007/3-540-36579-6\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/BurrowsFW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FlanaganFQ02,
author = {Cormac Flanagan and
Stephen N. Freund and
Shaz Qadeer},
editor = {Daniel Le M{\'{e}}tayer},
title = {Thread-Modular Verification for Shared-Memory Programs},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {262--277},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_19},
doi = {10.1007/3-540-45927-8\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/FlanaganFQ02.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}
}
@phdthesis{DBLP:phd/us/Freund00,
author = {Stephen N. Freund},
title = {Type systems for object-oriented intermediate languages},
school = {Stanford University, {USA}},
year = {2000},
url = {https://searchworks.stanford.edu/view/4701299},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Freund00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlanaganF00,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Monica S. Lam},
title = {Type-based race detection for Java},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Vancouver, Britith Columbia,
Canada, June 18-21, 2000},
pages = {219--232},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/349299.349328},
doi = {10.1145/349299.349328},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlanaganF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FreundM99,
author = {Stephen N. Freund and
John C. Mitchell},
title = {The type system for object initializatiion in the Jave bytecode language},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {6},
pages = {1196--1250},
year = {1999},
url = {https://doi.org/10.1145/330643.330646},
doi = {10.1145/330643.330646},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FreundM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FreundM99,
author = {Stephen N. Freund and
John C. Mitchell},
editor = {Brent Hailpern and
Linda M. Northrop and
A. Michael Berman},
title = {A Formal Framework for the Java Bytecode Language and Verifier},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
Denver, Colorado, USA, November 1-5, 1999},
pages = {147--166},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/320384.320397},
doi = {10.1145/320384.320397},
timestamp = {Wed, 30 Mar 2022 13:58:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FreundM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FreundM98,
author = {Stephen N. Freund and
John C. Mitchell},
editor = {Bj{\o}rn N. Freeman{-}Benson and
Craig Chambers},
title = {A Type System for Object Initialization in the Java Bytecode Language},
booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1998,
Vancouver, British Columbia, Canada, October 18-22, 1998},
pages = {310--327},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286936.286972},
doi = {10.1145/286936.286972},
timestamp = {Wed, 30 Mar 2022 13:58:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FreundM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AgesenFM97,
author = {Ole Agesen and
Stephen N. Freund and
John C. Mitchell},
editor = {Mary E. S. Loomis and
Toby Bloom and
A. Michael Berman},
title = {Adding Type Parameterization to the Java Language},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1997,
Atlanta, Georgia, October 5-9, 1997},
pages = {49--65},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/263698.263720},
doi = {10.1145/263698.263720},
timestamp = {Wed, 30 Mar 2022 13:58:18 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AgesenFM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FreundM97,
author = {Stephen N. Freund and
John C. Mitchell},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {A Type System For Object Initialization In the Java Bytecode Language},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {242--245},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80703-0},
doi = {10.1016/S1571-0661(05)80703-0},
timestamp = {Fri, 11 Nov 2022 13:29:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FreundM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/FreundR96,
author = {Stephen N. Freund and
Eric S. Roberts},
editor = {John Impagliazzo and
Elizabeth S. Adams and
Karl J. Klee},
title = {Thetis: an {ANSI} {C} programming environment designed for introductory
use},
booktitle = {Proceedings of the 27th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1996, Philadelphia, Pennsylvania, USA, February
15-17, 1996},
pages = {300--304},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/236452.236560},
doi = {10.1145/236452.236560},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/FreundR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-14 02:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
