default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mark Marron
@article{DBLP:journals/corr/abs-2406-09577,
author = {Mark Marron},
title = {A New Generation of Intelligent Development Environments},
journal = {CoRR},
volume = {abs/2406.09577},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.09577},
doi = {10.48550/ARXIV.2406.09577},
eprinttype = {arXiv},
eprint = {2406.09577},
timestamp = {Wed, 10 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-09577.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-04868,
author = {Muhammad Umair Haider and
Umar Farooq and
A. B. Siddique and
Mark Marron},
title = {Looking into Black Box Code Language Models},
journal = {CoRR},
volume = {abs/2407.04868},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.04868},
doi = {10.48550/ARXIV.2407.04868},
eprinttype = {arXiv},
eprint = {2407.04868},
timestamp = {Mon, 12 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-04868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-06356,
author = {Mark Marron},
title = {Toward Programming Languages for Reasoning: Humans, Symbolic Systems,
and {AI} Agents},
journal = {CoRR},
volume = {abs/2407.06356},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.06356},
doi = {10.48550/ARXIV.2407.06356},
eprinttype = {arXiv},
eprint = {2407.06356},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-06356.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/Marron23,
author = {Mark Marron},
editor = {Stefan Marr},
title = {Programming Languages for {AI} Programing Agents (Invited Talk)},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} International Symposium on
Dynamic Languages, {DLS} 2023, Cascais, Portugal, 24 October 2023},
pages = {7},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3622759.3628225},
doi = {10.1145/3622759.3628225},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dls/Marron23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/onward/Marron23,
author = {Mark Marron},
editor = {Tijs van der Storm and
Robert Hirschfeld},
title = {Toward Programming Languages for Reasoning: Humans, Symbolic Systems,
and {AI} Agents},
booktitle = {Proceedings of the 2023 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2023, Cascais, Portugal, October 25-27, 2023},
pages = {136--152},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3622758.3622895},
doi = {10.1145/3622758.3622895},
timestamp = {Tue, 24 Oct 2023 16:38:10 +0200},
biburl = {https://dblp.org/rec/conf/onward/Marron23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GoldbaumMEBM22,
author = {Stephen Goldbaum and
Attila Mih{\'{a}}ly and
Tosha Ellison and
Earl T. Barr and
Mark Marron},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {High Assurance Software for Financial Regulation and Business Platforms},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {108--126},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_6},
doi = {10.1007/978-3-030-94583-1\_6},
timestamp = {Wed, 19 Jan 2022 09:36:10 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GoldbaumMEBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-06089,
author = {Vincent J. Hellendoorn and
Premkumar T. Devanbu and
Oleksandr Polozov and
Mark Marron},
title = {Are My Invariants Valid? {A} Learning Approach},
journal = {CoRR},
volume = {abs/1903.06089},
year = {2019},
url = {http://arxiv.org/abs/1903.06089},
eprinttype = {arXiv},
eprint = {1903.06089},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-06089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-11254,
author = {David Kelly and
Mark Marron and
David Clark and
Earl T. Barr},
title = {SafeStrings: Representing Strings as Structured Data},
journal = {CoRR},
volume = {abs/1904.11254},
year = {2019},
url = {http://arxiv.org/abs/1904.11254},
eprinttype = {arXiv},
eprint = {1904.11254},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-11254.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AllamanisBBDMS18,
author = {Miltiadis Allamanis and
Earl T. Barr and
Christian Bird and
Premkumar T. Devanbu and
Mark Marron and
Charles Sutton},
title = {Mining Semantic Loop Idioms},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {7},
pages = {651--668},
year = {2018},
url = {https://doi.org/10.1109/TSE.2018.2832048},
doi = {10.1109/TSE.2018.2832048},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AllamanisBBDMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/Marron18,
author = {Mark Marron},
editor = {Tim Felgentreff},
title = {Log++ logging for a cloud-native world},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} International Symposium on
Dynamic Languages, {DLS} 2018, Boston, MA, USA, November 6, 2018},
pages = {25--36},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3276945.3276952},
doi = {10.1145/3276945.3276952},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/dls/Marron18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-11865,
author = {John Vilk and
Emery D. Berger and
James Mickens and
Mark Marron},
title = {McFly: Time-Travel Debugging for the Web},
journal = {CoRR},
volume = {abs/1810.11865},
year = {2018},
url = {http://arxiv.org/abs/1810.11865},
eprinttype = {arXiv},
eprint = {1810.11865},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-11865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/LoringML17,
author = {Matthew C. Loring and
Mark Marron and
Daan Leijen},
editor = {Davide Ancona},
title = {Semantics of asynchronous JavaScript},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Symposium on
on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017},
pages = {51--62},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133841.3133846},
doi = {10.1145/3133841.3133846},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/dls/LoringML17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DesaiGHJKMRR16,
author = {Aditya Desai and
Sumit Gulwani and
Vineet Hingorani and
Nidhi Jain and
Amey Karkare and
Mark Marron and
Sailesh R and
Subhajit Roy},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Program synthesis using natural language},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {345--356},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884786},
doi = {10.1145/2884781.2884786},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DesaiGHJKMRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BarrMMMS16,
author = {Earl T. Barr and
Mark Marron and
Ed Maurer and
Dan Moseley and
Gaurav Seth},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Time-travel debugging for JavaScript/Node.js},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {1003--1007},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2983933},
doi = {10.1145/2950290.2983933},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BarrMMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/MayerSGLMPSZG15,
author = {Mika{\"{e}}l Mayer and
Gustavo Soares and
Maxim Grechkin and
Vu Le and
Mark Marron and
Oleksandr Polozov and
Rishabh Singh and
Benjamin G. Zorn and
Sumit Gulwani},
editor = {Celine Latulipe and
Bjoern Hartmann and
Tovi Grossman},
title = {User Interaction Models for Disambiguation in Programming by Example},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on User Interface Software
{\&} Technology, {UIST} 2015, Charlotte, NC, USA, November 8-11,
2015},
pages = {291--301},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2807442.2807459},
doi = {10.1145/2807442.2807459},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uist/MayerSGLMPSZG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DesaiGHJKMRR15,
author = {Aditya Desai and
Sumit Gulwani and
Vineet Hingorani and
Nidhi Jain and
Amey Karkare and
Mark Marron and
Sailesh R and
Subhajit Roy},
title = {Program Synthesis using Natural Language},
journal = {CoRR},
volume = {abs/1509.00413},
year = {2015},
url = {http://arxiv.org/abs/1509.00413},
eprinttype = {arXiv},
eprint = {1509.00413},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DesaiGHJKMRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BarrM14,
author = {Earl T. Barr and
Mark Marron},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Tardis: affordable time-travel debugging in managed runtimes},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {67--82},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660209},
doi = {10.1145/2660193.2660209},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BarrM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/GulwaniM14,
author = {Sumit Gulwani and
Mark Marron},
editor = {Curtis E. Dyreson and
Feifei Li and
M. Tamer {\"{O}}zsu},
title = {NLyze: interactive programming by natural language for spreadsheet
data analysis and manipulation},
booktitle = {International Conference on Management of Data, {SIGMOD} 2014, Snowbird,
UT, USA, June 22-27, 2014},
pages = {803--814},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2588555.2612177},
doi = {10.1145/2588555.2612177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/GulwaniM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MarronSSF13,
author = {Mark Marron and
C{\'{e}}sar S{\'{a}}nchez and
Zhendong Su and
Manuel F{\"{a}}hndrich},
title = {Abstracting Runtime Heaps for Program Understanding},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {6},
pages = {774--786},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.69},
doi = {10.1109/TSE.2012.69},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MarronSSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BarrBM13,
author = {Earl T. Barr and
Christian Bird and
Mark Marron},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Collecting a heap of shapes},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {123--133},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483761},
doi = {10.1145/2483760.2483761},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/BarrBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BartheCKGM13,
author = {Gilles Barthe and
Juan Manuel Crespo and
Sumit Gulwani and
C{\'{e}}sar Kunz and
Mark Marron},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {From relational verification to {SIMD} loop synthesis},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {123--134},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442529},
doi = {10.1145/2442516.2442529},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/BartheCKGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MarronLB12,
author = {Mark Marron and
Ondrej Lhot{\'{a}}k and
Anindya Banerjee},
editor = {Michael F. P. O'Boyle},
title = {Programming Paradigm Driven Heap Analysis},
booktitle = {Compiler Construction - 21st International Conference, {CC} 2012,
Held as Part of the European Joint Conferences on Theory and Practice
of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7210},
pages = {41--60},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28652-0\_3},
doi = {10.1007/978-3-642-28652-0\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/MarronLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CaballeroGMN12,
author = {Juan Caballero and
Gustavo Grieco and
Mark Marron and
Antonio Nappa},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {Undangle: early detection of dangling pointers in use-after-free and
double-free vulnerabilities},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {133--143},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336769},
doi = {10.1145/2338965.2336769},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/issta/CaballeroGMN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-1277,
author = {Mark Marron},
title = {Structural Analysis: Shape Information via Points-To Computation},
journal = {CoRR},
volume = {abs/1201.1277},
year = {2012},
url = {http://arxiv.org/abs/1201.1277},
eprinttype = {arXiv},
eprint = {1201.1277},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-1277.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-1327,
author = {Mark Marron and
C{\'{e}}sar S{\'{a}}nchez and
Zhendong Su and
Manuel F{\"{a}}hndrich},
title = {Abstracting Runtime Heaps for Program Understanding},
journal = {CoRR},
volume = {abs/1201.1327},
year = {2012},
url = {http://arxiv.org/abs/1201.1327},
eprinttype = {arXiv},
eprint = {1201.1327},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-1327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GantyM11,
author = {Pierre Ganty and
Mark Marron},
editor = {Pierre Ganty and
Mark Marron},
title = {Preface},
booktitle = {Proceedings of the Sixth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2011, Saarbr{\"{u}}cken,
Germany, March 27, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {279},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.001},
doi = {10.1016/J.ENTCS.2011.11.001},
timestamp = {Fri, 10 Mar 2023 13:47:13 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GantyM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bytecode/2011,
editor = {Pierre Ganty and
Mark Marron},
title = {Proceedings of the Sixth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2011, Saarbr{\"{u}}cken,
Germany, March 27, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {279},
number = {1},
publisher = {Elsevier},
year = {2011},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/279/issue/1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bytecode/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MarronMSK10,
author = {Mark Marron and
Rupak Majumdar and
Darko Stefanovic and
Deepak Kapur},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Shape Analysis with Reference Set Relations},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {247--262},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_19},
doi = {10.1007/978-3-642-11319-2\_19},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MarronMSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/MarronKH09,
author = {Mark Marron and
Deepak Kapur and
Manuel V. Hermenegildo},
editor = {Hillel Kolodner and
Guy L. Steele Jr.},
title = {Identification of logically related heap regions},
booktitle = {Proceedings of the 8th International Symposium on Memory Management,
{ISMM} 2009, Dublin, Ireland, June 19-20, 2009},
pages = {89--98},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542431.1542445},
doi = {10.1145/1542431.1542445},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/MarronKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jea/SwensonMEM08,
author = {Krister M. Swenson and
Mark Marron and
Joel V. Earnest{-}DeYoung and
Bernard M. E. Moret},
title = {Approximating the true evolutionary distance between two genomes},
journal = {{ACM} J. Exp. Algorithmics},
volume = {12},
pages = {3.5:1--3.5:17},
year = {2008},
url = {https://doi.org/10.1145/1227161.1402297},
doi = {10.1145/1227161.1402297},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jea/SwensonMEM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MarronHKS08,
author = {Mark Marron and
Manuel V. Hermenegildo and
Deepak Kapur and
Darko Stefanovic},
editor = {Laurie J. Hendren},
title = {Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models},
booktitle = {Compiler Construction, 17th International Conference, {CC} 2008, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4959},
pages = {245--259},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78791-4\_17},
doi = {10.1007/978-3-540-78791-4\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/MarronHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/MarronSKH08,
author = {Mark Marron and
Darko Stefanovic and
Deepak Kapur and
Manuel V. Hermenegildo},
editor = {Jos{\'{e}} Nelson Amaral},
title = {Identification of Heap-Carried Data Dependence Via Explicit Store
Heap Models},
booktitle = {Languages and Compilers for Parallel Computing, 21th International
Workshop, {LCPC} 2008, Edmonton, Canada, July 31 - August 2, 2008,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5335},
pages = {94--108},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89740-8\_7},
doi = {10.1007/978-3-540-89740-8\_7},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/MarronSKH08.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/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/lcpc/MarronKSH06,
author = {Mark Marron and
Deepak Kapur and
Darko Stefanovic and
Manuel V. Hermenegildo},
editor = {George Alm{\'{a}}si and
Calin Cascaval and
Peng Wu},
title = {A Static Heap Analysis for Shape and Connectivity: Unified Memory
Analysis: The Base Framework},
booktitle = {Languages and Compilers for Parallel Computing, 19th International
Workshop, {LCPC} 2006, New Orleans, LA, USA, November 2-4, 2006. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {4382},
pages = {345--363},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-72521-3\_25},
doi = {10.1007/978-3-540-72521-3\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/MarronKSH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alenex/SwensonMEM05,
author = {Krister M. Swenson and
Mark Marron and
Joel V. Earnest{-}DeYoung and
Bernard M. E. Moret},
editor = {Camil Demetrescu and
Robert Sedgewick and
Roberto Tamassia},
title = {Approximating the True Evolutionary Distance between Two Genomes},
booktitle = {Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments
and the Second Workshop on Analytic Algorithmics and Combinatorics,
{ALENEX} /ANALCO 2005, Vancouver, BC, Canada, 22 January 2005},
pages = {121--129},
publisher = {{SIAM}},
year = {2005},
url = {http://www.siam.org/meetings/alenex05/papers/11submission.pdf},
timestamp = {Tue, 30 Jan 2007 13:47:28 +0100},
biburl = {https://dblp.org/rec/conf/alenex/SwensonMEM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarronSM04,
author = {Mark Marron and
Krister M. Swenson and
Bernard M. E. Moret},
title = {Genomic Distances under Deletions and Insertions},
journal = {Theor. Comput. Sci.},
volume = {325},
number = {3},
pages = {347--360},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.02.039},
doi = {10.1016/J.TCS.2004.02.039},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarronSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/MarronSM03,
author = {Mark Marron and
Krister M. Swenson and
Bernard M. E. Moret},
editor = {Tandy J. Warnow and
Binhai Zhu},
title = {Genomic Distances under Deletions and Insertions},
booktitle = {Computing and Combinatorics, 9th Annual International Conference,
{COCOON} 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2697},
pages = {537--547},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45071-8\_54},
doi = {10.1007/3-540-45071-8\_54},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/MarronSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-18 00:35 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:
