Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Matthew Might
@article{DBLP:journals/frai/FoksinskaCCHBRPHTZRAOM22,
author = {Aleksandra Foksinska and
Camerron M. Crowder and
Andrew B. Crouse and
Jeff Henrikson and
William E. Byrd and
Gregory Rosenblatt and
Michael J. Patton and
Kaiwen He and
Thi K. Tran{-}Nguyen and
Marissa Zheng and
Stephen A. Ramsey and
Nada Amin and
John D. Osborne and
Matthew Might},
title = {The precision medicine process for treating rare disease using the
artificial intelligence tool mediKanren},
journal = {Frontiers Artif. Intell.},
volume = {5},
year = {2022},
url = {https://doi.org/10.3389/frai.2022.910216},
doi = {10.3389/FRAI.2022.910216},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/frai/FoksinskaCCHBRPHTZRAOM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/KhomtchoukTVMGA20,
author = {Bohdan B. Khomtchouk and
Diem{-}Trang T. Tran and
Kasra A. Vand and
Matthew Might and
Or Gozani and
Themistocles L. Assimes},
title = {Cardioinformatics: the nexus of bioinformatics and precision cardiology},
journal = {Briefings Bioinform.},
volume = {21},
number = {6},
pages = {2031--2051},
year = {2020},
url = {https://doi.org/10.1093/bib/bbz119},
doi = {10.1093/BIB/BBZ119},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bib/KhomtchoukTVMGA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biodb/Queralt-Rosinach20,
author = {N{\'{u}}ria Queralt{-}Rosinach and
Gregory S. Stupp and
Tong Shu Li and
Michael Mayers and
Maureen E. Hoatlin and
Matthew Might and
Benjamin M. Good and
Andrew I. Su},
title = {Structured reviews for data and knowledge-driven research},
journal = {Database J. Biol. Databases Curation},
volume = {2020},
year = {2020},
url = {https://doi.org/10.1093/database/baaa015},
doi = {10.1093/DATABASE/BAAA015},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biodb/Queralt-Rosinach20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Might19,
author = {Matthew Might},
editor = {Yannis Smaragdakis},
title = {The algorithm for precision medicine (invited talk)},
booktitle = {Proceedings Companion of the 2019 {ACM} {SIGPLAN} International Conference
on Systems, Programming, Languages, and Applications: Software for
Humanity, {SPLASH} 2019, Athens, Greece, October 20-25, 2019},
pages = {2},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359061.3365208},
doi = {10.1145/3359061.3365208},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Might19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GermaneM19,
author = {Kimball Germane and
Matthew Might},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Relatively Complete Pushdown Analysis of Escape Continuations},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {205--225},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_10},
doi = {10.1007/978-3-030-11245-5\_10},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GermaneM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GermaneM0M19,
author = {Kimball Germane and
Jay McCarthy and
Michael D. Adams and
Matthew Might},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Demand Control-Flow Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {226--246},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_11},
doi = {10.1007/978-3-030-11245-5\_11},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GermaneM0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/TranZSMDK18,
author = {Diem{-}Trang T. Tran and
Tian Zhang and
Ryan Stutsman and
Matthew Might and
Umesh R. Desai and
Balagurunathan Kuberan},
title = {anexVis: visual analytics framework for analysis of {RNA} expression},
journal = {Bioinform.},
volume = {34},
number = {14},
pages = {2510--2512},
year = {2018},
url = {https://doi.org/10.1093/bioinformatics/bty122},
doi = {10.1093/BIOINFORMATICS/BTY122},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/TranZSMDK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GilrayAM18,
author = {Thomas Gilray and
Michael D. Adams and
Matthew Might},
title = {Abstract allocation as a unified approach to polyvariance in control-flow
analyses},
journal = {J. Funct. Program.},
volume = {28},
pages = {e18},
year = {2018},
url = {https://doi.org/10.1017/S0956796818000138},
doi = {10.1017/S0956796818000138},
timestamp = {Sat, 04 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GilrayAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ZhangRFLBMUZ18,
author = {Lisa Zhang and
Gregory Rosenblatt and
Ethan Fetaya and
Renjie Liao and
William E. Byrd and
Matthew Might and
Raquel Urtasun and
Richard S. Zemel},
editor = {Samy Bengio and
Hanna M. Wallach and
Hugo Larochelle and
Kristen Grauman and
Nicol{\`{o}} Cesa{-}Bianchi and
Roman Garnett},
title = {Neural Guided Constraint Logic Programming for Program Synthesis},
booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
on Neural Information Processing Systems 2018, NeurIPS 2018, December
3-8, 2018, Montr{\'{e}}al, Canada},
pages = {1744--1753},
year = {2018},
url = {https://proceedings.neurips.cc/paper/2018/hash/67d16d00201083a2b118dd5128dd6f59-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/ZhangRFLBMUZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-02840,
author = {Lisa Zhang and
Gregory Rosenblatt and
Ethan Fetaya and
Renjie Liao and
William E. Byrd and
Matthew Might and
Raquel Urtasun and
Richard S. Zemel},
title = {Neural Guided Constraint Logic Programming for Program Synthesis},
journal = {CoRR},
volume = {abs/1809.02840},
year = {2018},
url = {http://arxiv.org/abs/1809.02840},
eprinttype = {arXiv},
eprint = {1809.02840},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-02840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/EarlMBS17,
author = {Christopher Earl and
Matthew Might and
Abhishek Bagusetty and
James C. Sutherland},
title = {Nebo: An efficient, parallel, and portable domain-specific language
for numerically solving partial differential equations},
journal = {J. Syst. Softw.},
volume = {125},
pages = {389--400},
year = {2017},
url = {https://doi.org/10.1016/j.jss.2016.01.023},
doi = {10.1016/J.JSS.2016.01.023},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/EarlMBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ByrdBRM17,
author = {William E. Byrd and
A. Ballantyne and
Gregory Rosenblatt and
Matthew Might},
title = {A unified approach to solving seven programming problems (functional
pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {8:1--8:26},
year = {2017},
url = {https://doi.org/10.1145/3110252},
doi = {10.1145/3110252},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ByrdBRM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0001M17,
author = {Michael D. Adams and
Matthew Might},
title = {Restricting grammars with tree automata},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {82:1--82:25},
year = {2017},
url = {https://doi.org/10.1145/3133906},
doi = {10.1145/3133906},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/0001M17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HemannFBM17,
author = {Jason Hemann and
Daniel P. Friedman and
William E. Byrd and
Matthew Might},
editor = {Ricardo Rocha and
Tran Cao Son and
Christopher Mears and
Neda Saeedloei},
title = {A Simple Complete Search for Logic Programming},
booktitle = {Technical Communications of the 33rd International Conference on Logic
Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
Australia},
series = {OASIcs},
volume = {58},
pages = {14:1--14:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.ICLP.2017.14},
doi = {10.4230/OASICS.ICLP.2017.14},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HemannFBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GermaneM17,
author = {Kimball Germane and
Matthew Might},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {A posteriori environment analysis with Pushdown Delta {CFA}},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {19--31},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009899},
doi = {10.1145/3009837.3009899},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/GermaneM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/HemannFBM16,
author = {Jason Hemann and
Daniel P. Friedman and
William E. Byrd and
Matthew Might},
editor = {Roberto Ierusalimschy},
title = {A small embedding of logic programming with a simple complete search},
booktitle = {Proceedings of the 12th Symposium on Dynamic Languages, {DLS} 2016,
Amsterdam, The Netherlands, November 1, 2016},
pages = {96--107},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2989225.2989230},
doi = {10.1145/2989225.2989230},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/dls/HemannFBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Gilray0M16,
author = {Thomas Gilray and
Michael D. Adams and
Matthew Might},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Allocation characterizes polyvariance: a unified methodology for polyvariant
control-flow analysis},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {407--420},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951936},
doi = {10.1145/2951913.2951936},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Gilray0M16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0001HM16,
author = {Michael D. Adams and
Celeste Hollenbeck and
Matthew Might},
editor = {Chandra Krintz and
Emery D. Berger},
title = {On the complexity and performance of parsing with derivatives},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {224--236},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908128},
doi = {10.1145/2908080.2908128},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0001HM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GilrayL0MH16,
author = {Thomas Gilray and
Steven Lyde and
Michael D. Adams and
Matthew Might and
David Van Horn},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Pushdown control-flow analysis for free},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {691--704},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837631},
doi = {10.1145/2837614.2837631},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GilrayL0MH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/AldousM16,
author = {Peter Aldous and
Matthew Might},
title = {A Posteriori Taint-Tracking for Demonstrating Non-interference in
Expressive Low-Level Languages},
booktitle = {2016 {IEEE} Security and Privacy Workshops, {SP} Workshops 2016, San
Jose, CA, USA, May 22-26, 2016},
pages = {179--184},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SPW.2016.58},
doi = {10.1109/SPW.2016.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/AldousM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/supercomputer/KingGKM16,
author = {James King and
Thomas Gilray and
Robert M. Kirby and
Matthew Might},
editor = {Julian M. Kunkel and
Pavan Balaji and
Jack J. Dongarra},
title = {Dynamic Sparse-Matrix Allocation on GPUs},
booktitle = {High Performance Computing - 31st International Conference, {ISC}
High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9697},
pages = {61--80},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41321-1\_4},
doi = {10.1007/978-3-319-41321-1\_4},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/supercomputer/KingGKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001HM16,
author = {Michael D. Adams and
Celeste Hollenbeck and
Matthew Might},
title = {On the Complexity and Performance of Parsing with Derivatives},
journal = {CoRR},
volume = {abs/1604.04695},
year = {2016},
url = {http://arxiv.org/abs/1604.04695},
eprinttype = {arXiv},
eprint = {1604.04695},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001HM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FisherHBM16,
author = {Dakota Fisher and
Matthew A. Hammer and
William E. Byrd and
Matthew Might},
title = {miniAdapton: {A} Minimal Implementation of Incremental Computation
in Scheme},
journal = {CoRR},
volume = {abs/1609.05337},
year = {2016},
url = {http://arxiv.org/abs/1609.05337},
eprinttype = {arXiv},
eprint = {1609.05337},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FisherHBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/LydeBM15,
author = {Steven Lyde and
William E. Byrd and
Matthew Might},
editor = {Manuel Serrano},
title = {Control-flow analysis of dynamic languages via pointer analysis},
booktitle = {Proceedings of the 11th Symposium on Dynamic Languages, {DLS} 2015,
part of {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
pages = {54--62},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2816707.2816712},
doi = {10.1145/2816707.2816712},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/dls/LydeBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DaraisMH15,
author = {David Darais and
Matthew Might and
David Van Horn},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Galois transformers and modular abstract interpreters: reusable metatheory
for program analysis},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {552--571},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814308},
doi = {10.1145/2814270.2814308},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/DaraisMH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AldousM15,
author = {Peter Aldous and
Matthew Might},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {Static Analysis of Non-interference in Expressive Low-Level Languages},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {1--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_1},
doi = {10.1007/978-3-662-48288-9\_1},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/AldousM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GilrayL0MH15,
author = {Thomas Gilray and
Steven Lyde and
Michael D. Adams and
Matthew Might and
David Van Horn},
title = {Pushdown Control-Flow Analysis for Free},
journal = {CoRR},
volume = {abs/1507.03137},
year = {2015},
url = {http://arxiv.org/abs/1507.03137},
eprinttype = {arXiv},
eprint = {1507.03137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GilrayL0MH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JohnsonSEMH14,
author = {J. Ian Johnson and
Ilya Sergey and
Christopher Earl and
Matthew Might and
David Van Horn},
title = {Pushdown flow analysis with abstract garbage collection},
journal = {J. Funct. Program.},
volume = {24},
number = {2-3},
pages = {218--283},
year = {2014},
url = {https://doi.org/10.1017/S0956796814000100},
doi = {10.1017/S0956796814000100},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/JohnsonSEMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GermaneM14,
author = {Kimball Germane and
Matthew Might},
title = {Deletion: The curse of the red-black tree},
journal = {J. Funct. Program.},
volume = {24},
number = {4},
pages = {423--433},
year = {2014},
url = {https://doi.org/10.1017/S0956796814000227},
doi = {10.1017/S0956796814000227},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/GermaneM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/LiangSM14,
author = {Shuying Liang and
Weibin Sun and
Matthew Might},
title = {Fast Flow Analysis with Godel Hashes},
booktitle = {14th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2014, Victoria, BC, Canada, September 28-29,
2014},
pages = {225--234},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SCAM.2014.40},
doi = {10.1109/SCAM.2014.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/LiangSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/LiangSMKH14,
author = {Shuying Liang and
Weibin Sun and
Matthew Might and
Andrew W. Keep and
David Van Horn},
title = {Pruning, Pushdown Exception-Flow Analysis},
booktitle = {14th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2014, Victoria, BC, Canada, September 28-29,
2014},
pages = {265--274},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SCAM.2014.44},
doi = {10.1109/SCAM.2014.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/LiangSMKH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JohnsonSEMH14,
author = {J. Ian Johnson and
Ilya Sergey and
Christopher Earl and
Matthew Might and
David Van Horn},
title = {Pushdown flow analysis with abstract garbage collection},
journal = {CoRR},
volume = {abs/1406.5106},
year = {2014},
url = {http://arxiv.org/abs/1406.5106},
eprinttype = {arXiv},
eprint = {1406.5106},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JohnsonSEMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiangSMKH14,
author = {Shuying Liang and
Weibin Sun and
Matthew Might and
Andrew W. Keep and
David Van Horn},
title = {Pruning, Pushdown Exception-Flow Analysis},
journal = {CoRR},
volume = {abs/1409.3108},
year = {2014},
url = {http://arxiv.org/abs/1409.3108},
eprinttype = {arXiv},
eprint = {1409.3108},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiangSMKH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DaraisMH14,
author = {David Darais and
Matthew Might and
David Van Horn},
title = {Galois Transformers and Modular Abstract Interpreters},
journal = {CoRR},
volume = {abs/1411.3962},
year = {2014},
url = {http://arxiv.org/abs/1411.3962},
eprinttype = {arXiv},
eprint = {1411.3962},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DaraisMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/LiangKMLGAH13,
author = {Shuying Liang and
Andrew W. Keep and
Matthew Might and
Steven Lyde and
Thomas Gilray and
Petey Aldous and
David Van Horn},
editor = {William Enck and
Adrienne Porter Felt and
N. Asokan},
title = {Sound and precise malware analysis for android via pushdown reachability
and entry-point saturation},
booktitle = {SPSM'13, Proceedings of the 2013 {ACM} Workshop on Security and Privacy
in Smartphones and Mobile Devices, Co-located with {CCS} 2013, November
8, 2013, Berlin, Germany},
pages = {21--32},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2516760.2516769},
doi = {10.1145/2516760.2516769},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/LiangKMLGAH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JohnsonLMH13,
author = {J. Ian Johnson and
Nicholas Labich and
Matthew Might and
David Van Horn},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Optimizing abstract abstract machines},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {443--454},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500604},
doi = {10.1145/2500365.2500604},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/JohnsonLMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LydeM13,
author = {Steven Lyde and
Matthew Might},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Extracting Hybrid Automata from Control Code},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {447--452},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_32},
doi = {10.1007/978-3-642-38088-4\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LydeM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SergeyDMMDCP13,
author = {Ilya Sergey and
Dominique Devriese and
Matthew Might and
Jan Midtgaard and
David Darais and
Dave Clarke and
Frank Piessens},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Monadic abstract interpreters},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {399--410},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2491979},
doi = {10.1145/2491956.2491979},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SergeyDMMDCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LydeM13,
author = {Steven Lyde and
Matthew Might},
editor = {Jay McCarthy},
title = {Control-Flow Analysis with {SAT} Solvers},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {125--133},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_8},
doi = {10.1007/978-3-642-45340-3\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/LydeM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GilrayM13,
author = {Thomas Gilray and
Matthew Might},
editor = {Jay McCarthy},
title = {A Survey of Polyvariance in Abstract Interpretations},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {134--148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_9},
doi = {10.1007/978-3-642-45340-3\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GilrayM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiangMH15,
author = {Shuying Liang and
Matthew Might and
David Van Horn},
editor = {Bor{-}Yuh Evan Chang},
title = {AnaDroid: Malware Analysis of Android with User-supplied Predicates},
booktitle = {Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS
2013, Seattle, Washington, USA, June 19, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {311},
pages = {3--14},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2015.02.002},
doi = {10.1016/J.ENTCS.2015.02.002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiangMH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2013,
editor = {Matthew Might and
David Van Horn and
Andreas Abel and
Tim Sheard},
title = {Proceedings of the 7th Workshop on Programming languages meets program
verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2428116},
isbn = {978-1-4503-1860-0},
timestamp = {Fri, 27 Sep 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-2692,
author = {Shuying Liang and
Matthew Might and
Thomas Gilray and
David Van Horn},
title = {Pushdown Exception-Flow Analysis of Object-Oriented Programs},
journal = {CoRR},
volume = {abs/1302.2692},
year = {2013},
url = {http://arxiv.org/abs/1302.2692},
eprinttype = {arXiv},
eprint = {1302.2692},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-2692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiangMH13,
author = {Shuying Liang and
Matthew Might and
David Van Horn},
title = {AnaDroid: Malware Analysis of Android with User-supplied Predicates},
journal = {CoRR},
volume = {abs/1311.4198},
year = {2013},
url = {http://arxiv.org/abs/1311.4198},
eprinttype = {arXiv},
eprint = {1311.4198},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiangMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiangKMLGAH13,
author = {Shuying Liang and
Andrew W. Keep and
Matthew Might and
Steven Lyde and
Thomas Gilray and
Petey Aldous and
David Van Horn},
title = {Sound and Precise Malware Analysis for Android via Pushdown Reachability
and Entry-Point Saturation},
journal = {CoRR},
volume = {abs/1311.4201},
year = {2013},
url = {http://arxiv.org/abs/1311.4201},
eprinttype = {arXiv},
eprint = {1311.4201},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiangKMLGAH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MightSH13,
author = {Matthew Might and
Yannis Smaragdakis and
David Van Horn},
title = {Resolving and Exploiting the {\textdollar}k{\textdollar}-CFA Paradox},
journal = {CoRR},
volume = {abs/1311.4231},
year = {2013},
url = {http://arxiv.org/abs/1311.4231},
eprinttype = {arXiv},
eprint = {1311.4231},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MightSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HornM12,
author = {David Van Horn and
Matthew Might},
title = {Systematic abstraction of abstract machines},
journal = {J. Funct. Program.},
volume = {22},
number = {4-5},
pages = {705--746},
year = {2012},
url = {https://doi.org/10.1017/S0956796812000238},
doi = {10.1017/S0956796812000238},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/HornM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/EarlSMH12,
author = {Christopher Earl and
Ilya Sergey and
Matthew Might and
David Van Horn},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Introspective pushdown analysis of higher-order programs},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {177--188},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364576},
doi = {10.1145/2364527.2364576},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/EarlSMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiangM12,
author = {Shuying Liang and
Matthew Might},
editor = {Sergio Maffeis and
Tamara Rezk},
title = {Hash-flow taint analysis of higher-order programs},
booktitle = {Proceedings of the 2012 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2012, Beijing, China, 15 June, 2012},
pages = {8},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2336717.2336725},
doi = {10.1145/2336717.2336725},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LiangM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Midtgaard0M12,
author = {Jan Midtgaard and
Michael D. Adams and
Matthew Might},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {A Structural Soundness Proof for Shivers's Escape Technique - {A}
Case for Galois Connections},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {352--369},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_24},
doi = {10.1007/978-3-642-33125-1\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Midtgaard0M12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MidtgaardM12,
author = {Jan Midtgaard and
Matthew Might},
editor = {Jan Midtgaard and
Matthew Might},
title = {Preface},
booktitle = {Proceedings of the Fourth International Workshop on Numerical and
Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
10, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {287},
pages = {1},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.09.001},
doi = {10.1016/J.ENTCS.2012.09.001},
timestamp = {Fri, 25 Nov 2022 14:31:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MidtgaardM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsad/2012,
editor = {Jan Midtgaard and
Matthew Might},
title = {Proceedings of the Fourth International Workshop on Numerical and
Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
10, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {287},
publisher = {Elsevier},
year = {2012},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/287/suppl/C},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsad/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1813,
author = {Christopher Earl and
Ilya Sergey and
Matthew Might and
David Van Horn},
title = {Introspective Pushdown Analysis of Higher-Order Programs},
journal = {CoRR},
volume = {abs/1207.1813},
year = {2012},
url = {http://arxiv.org/abs/1207.1813},
eprinttype = {arXiv},
eprint = {1207.1813},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3722,
author = {J. Ian Johnson and
Matthew Might and
David Van Horn},
title = {Optimizing Abstract Abstract Machines},
journal = {CoRR},
volume = {abs/1211.3722},
year = {2012},
url = {http://arxiv.org/abs/1211.3722},
eprinttype = {arXiv},
eprint = {1211.3722},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-3722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HornM11,
author = {David Van Horn and
Matthew Might},
title = {Abstracting abstract machines: a systematic approach to higher-order
program analysis},
journal = {Commun. {ACM}},
volume = {54},
number = {9},
pages = {101--109},
year = {2011},
url = {https://doi.org/10.1145/1995376.1995400},
doi = {10.1145/1995376.1995400},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/HornM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MightDS11,
author = {Matthew Might and
David Darais and
Daniel Spiewak},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Parsing with derivatives: a functional pearl},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {189--195},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034801},
doi = {10.1145/2034773.2034801},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MightDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AdamsKMMCD11,
author = {Michael D. Adams and
Andrew W. Keep and
Jan Midtgaard and
Matthew Might and
Arun Chauhan and
R. Kent Dybvig},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Flow-sensitive type recovery in linear-log time},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {483--498},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048105},
doi = {10.1145/2048066.2048105},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AdamsKMMCD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PrabhuRMH11,
author = {Tarun Prabhu and
Shreyas Ramalingam and
Matthew Might and
Mary W. Hall},
editor = {Thomas Ball and
Mooly Sagiv},
title = {EigenCFA: accelerating flow analysis with GPUs},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {511--522},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926445},
doi = {10.1145/1926385.1926445},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PrabhuRMH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MightH11,
author = {Matthew Might and
David Van Horn},
editor = {Eran Yahav},
title = {A Family of Abstract Interpretations for Static Analysis of Concurrent
Higher-Order Programs},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {180--197},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_16},
doi = {10.1007/978-3-642-23702-7\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/MightH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-5167,
author = {Matthew Might and
David Van Horn},
title = {A family of abstract interpretations for static analysis of concurrent
higher-order programs},
journal = {CoRR},
volume = {abs/1103.5167},
year = {2011},
url = {http://arxiv.org/abs/1103.5167},
eprinttype = {arXiv},
eprint = {1103.5167},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-5167.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-1743,
author = {David Van Horn and
Matthew Might},
title = {Abstracting Abstract Machines: {A} Systematic Approach to Higher-Order
Program Analysis},
journal = {CoRR},
volume = {abs/1105.1743},
year = {2011},
url = {http://arxiv.org/abs/1105.1743},
eprinttype = {arXiv},
eprint = {1105.1743},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-1743.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-3539,
author = {David Van Horn and
Matthew Might},
title = {Systematic Abstraction of Abstract Machines},
journal = {CoRR},
volume = {abs/1107.3539},
year = {2011},
url = {http://arxiv.org/abs/1107.3539},
eprinttype = {arXiv},
eprint = {1107.3539},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-3539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4467,
author = {David Van Horn and
Matthew Might},
title = {An Analytic Framework for JavaScript},
journal = {CoRR},
volume = {abs/1109.4467},
year = {2011},
url = {http://arxiv.org/abs/1109.4467},
eprinttype = {arXiv},
eprint = {1109.4467},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crossroads/Might10,
author = {Matt Might},
title = {The academic job search: How to prepare key documents},
journal = {{XRDS}},
volume = {17},
number = {2},
pages = {7},
year = {2010},
url = {https://doi.org/10.1145/1869086.1869091},
doi = {10.1145/1869086.1869091},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/crossroads/Might10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HornM10,
author = {David Van Horn and
Matthew Might},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Abstracting abstract machines},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {51--62},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863553},
doi = {10.1145/1863543.1863553},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HornM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MightSH10,
author = {Matthew Might and
Yannis Smaragdakis and
David Van Horn},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {Resolving and exploiting the \emph{k}-CFA paradox: illuminating functional
vs. object-oriented program analysis},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {305--315},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806631},
doi = {10.1145/1806596.1806631},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/MightSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Might10,
author = {Matthew Might},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Abstract Interpreters for Free},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {407--421},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_25},
doi = {10.1007/978-3-642-15769-1\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Might10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Might10,
author = {Matthew Might},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Shape Analysis in the Absence of Pointers and Structure},
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 = {263--278},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_20},
doi = {10.1007/978-3-642-11319-2\_20},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Might10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4268,
author = {Christopher Earl and
Matthew Might and
David Van Horn},
title = {Pushdown Control-Flow Analysis of Higher-Order Programs},
journal = {CoRR},
volume = {abs/1007.4268},
year = {2010},
url = {http://arxiv.org/abs/1007.4268},
eprinttype = {arXiv},
eprint = {1007.4268},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4446,
author = {David Van Horn and
Matthew Might},
title = {Abstracting Abstract Machines},
journal = {CoRR},
volume = {abs/1007.4446},
year = {2010},
url = {http://arxiv.org/abs/1007.4446},
eprinttype = {arXiv},
eprint = {1007.4446},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-1560,
author = {Christopher Earl and
Matthew Might and
David Van Horn},
title = {Stack-Summarizing Control-Flow Analysis of Higher-Order Programs},
journal = {CoRR},
volume = {abs/1009.1560},
year = {2010},
url = {http://arxiv.org/abs/1009.1560},
eprinttype = {arXiv},
eprint = {1009.1560},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-1560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-5023,
author = {Matthew Might and
David Darais},
title = {Yacc is dead},
journal = {CoRR},
volume = {abs/1010.5023},
year = {2010},
url = {http://arxiv.org/abs/1010.5023},
eprinttype = {arXiv},
eprint = {1010.5023},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-5023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MightM09,
author = {Matthew Might and
Panagiotis Manolios},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {A PosterioriSoundness for Non-deterministic Abstract Interpretations},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {260--274},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_22},
doi = {10.1007/978-3-540-93900-9\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/MightM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MightS08,
author = {Matthew Might and
Olin Shivers},
title = {Exploiting reachability and cardinality in higher-order flow analysis},
journal = {J. Funct. Program.},
volume = {18},
number = {5-6},
pages = {821--864},
year = {2008},
url = {https://doi.org/10.1017/S0956796808006941},
doi = {10.1017/S0956796808006941},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MightS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Might07,
author = {Matthew Might},
title = {Environment Analysis of Higher-Order Languages},
school = {Georgia Institute of Technology, Atlanta, GA, {USA}},
year = {2007},
url = {https://hdl.handle.net/1853/16289},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Might07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MightS07,
author = {Matthew Might and
Olin Shivers},
title = {Analyzing the environment structure of higher-order languages using
frame strings},
journal = {Theor. Comput. Sci.},
volume = {375},
number = {1-3},
pages = {137--168},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.031},
doi = {10.1016/J.TCS.2006.12.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MightS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Might07,
author = {Matthew Might},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Logic-flow analysis of higher-order programs},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {185--198},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190247},
doi = {10.1145/1190216.1190247},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/Might07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MightCS07,
author = {Matthew Might and
Benjamin Chambers and
Olin Shivers},
editor = {Byron Cook and
Andreas Podelski},
title = {Model Checking Via GammaCFA},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {59--73},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_4},
doi = {10.1007/978-3-540-69738-1\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MightCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MightS06,
author = {Matthew Might and
Olin Shivers},
editor = {John H. Reppy and
Julia Lawall},
title = {Improving flow analyses via GammaCFA: abstract garbage collection
and counting},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
16-21, 2006},
pages = {13--25},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159803.1159807},
doi = {10.1145/1159803.1159807},
timestamp = {Mon, 17 Jan 2022 15:20:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MightS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShiversM06,
author = {Olin Shivers and
Matthew Might},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Continuations and transducer composition},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {295--307},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1134016},
doi = {10.1145/1133981.1134016},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ShiversM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MightS06,
author = {Matthew Might and
Olin Shivers},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {Environment analysis via Delta {CFA}},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {127--140},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111049},
doi = {10.1145/1111037.1111049},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/MightS06.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.
last updated on 2023-11-13 23:29 CET 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:
