Matthew Might
Matt Might
http://matt.might.net/
https://dl.acm.org/profile/81309498719
University of Utah
Aleksandra Foksinska
Camerron M. Crowder
Andrew B. Crouse
Jeff Henrikson
William E. Byrd
Gregory Rosenblatt
Michael J. Patton
Kaiwen He
Thi K. Tran-Nguyen
Marissa Zheng
Stephen A. Ramsey
Nada Amin
John D. Osborne
Matthew Might
The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren.
2022
5
Frontiers Artif. Intell.
https://doi.org/10.3389/frai.2022.910216
db/journals/frai/frai5.html#FoksinskaCCHBRPHTZRAOM22
Bohdan B. Khomtchouk
Diem-Trang T. Tran
Kasra A. Vand
Matthew Might
Or Gozani
Themistocles L. Assimes
Cardioinformatics: the nexus of bioinformatics and precision cardiology.
2031-2051
2020
21
Briefings Bioinform.
6
https://doi.org/10.1093/bib/bbz119
https://www.wikidata.org/entity/Q91698870
db/journals/bib/bib21.html#KhomtchoukTVMGA20
Núria Queralt-Rosinach
Gregory S. Stupp
Tong Shu Li
Michael Mayers
Maureen E. Hoatlin
Matthew Might
Benjamin M. Good
Andrew I. Su
Structured reviews for data and knowledge-driven research.
2020
2020
Database J. Biol. Databases Curation
https://doi.org/10.1093/database/baaa015
https://www.wikidata.org/entity/Q91866899
https://orkg.org/resource/R190487
db/journals/biodb/biodb2020.html#Queralt-Rosinach20
Matthew Might
The algorithm for precision medicine (invited talk).
2
2019
SPLASH (Companion Volume)
https://doi.org/10.1145/3359061.3365208
conf/oopsla/2019c
db/conf/oopsla/splash2019c.html#Might19
Kimball Germane
Matthew Might
Relatively Complete Pushdown Analysis of Escape Continuations.
205-225
2019
VMCAI
https://doi.org/10.1007/978-3-030-11245-5_10
conf/vmcai/2019
db/conf/vmcai/vmcai2019.html#GermaneM19
Kimball Germane
Jay McCarthy
Michael D. Adams 0001
Matthew Might
Demand Control-Flow Analysis.
226-246
2019
VMCAI
https://doi.org/10.1007/978-3-030-11245-5_11
conf/vmcai/2019
db/conf/vmcai/vmcai2019.html#GermaneM0M19
Diem-Trang T. Tran
Tian Zhang 0005
Ryan Stutsman
Matthew Might
Umesh R. Desai
Balagurunathan Kuberan
anexVis: visual analytics framework for analysis of RNA expression.
2510-2512
2018
34
Bioinform.
14
https://doi.org/10.1093/bioinformatics/bty122
https://www.wikidata.org/entity/Q87967117
db/journals/bioinformatics/bioinformatics34.html#TranZSMDK18
Thomas Gilray
Michael D. Adams 0001
Matthew Might
Abstract allocation as a unified approach to polyvariance in control-flow analyses.
e18
2018
28
J. Funct. Program.
https://doi.org/10.1017/S0956796818000138
db/journals/jfp/jfp28.html#GilrayAM18
Lisa Zhang
Gregory Rosenblatt
Ethan Fetaya
Renjie Liao
William E. Byrd
Matthew Might
Raquel Urtasun
Richard S. Zemel
Neural Guided Constraint Logic Programming for Program Synthesis.
1744-1753
2018
NeurIPS
https://proceedings.neurips.cc/paper/2018/hash/67d16d00201083a2b118dd5128dd6f59-Abstract.html
http://papers.nips.cc/paper/7445-neural-guided-constraint-logic-programming-for-program-synthesis
conf/nips/2018
db/conf/nips/nips2018.html#ZhangRFLBMUZ18
Lisa Zhang
Gregory Rosenblatt
Ethan Fetaya
Renjie Liao
William E. Byrd
Matthew Might
Raquel Urtasun
Richard S. Zemel
Neural Guided Constraint Logic Programming for Program Synthesis.
2018
abs/1809.02840
CoRR
http://arxiv.org/abs/1809.02840
db/journals/corr/corr1809.html#abs-1809-02840
Christopher Earl
Matthew Might
Abhishek Bagusetty
James C. Sutherland
Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations.
389-400
2017
125
J. Syst. Softw.
https://doi.org/10.1016/j.jss.2016.01.023
db/journals/jss/jss125.html#EarlMBS17
William E. Byrd
A. Ballantyne
Gregory Rosenblatt
Matthew Might
A unified approach to solving seven programming problems (functional pearl).
8:1-8:26
2017
1
Proc. ACM Program. Lang.
ICFP
https://doi.org/10.1145/3110252
db/journals/pacmpl/pacmpl1.html#ByrdBRM17
Michael D. Adams 0001
Matthew Might
Restricting grammars with tree automata.
82:1-82:25
2017
1
Proc. ACM Program. Lang.
OOPSLA
https://doi.org/10.1145/3133906
db/journals/pacmpl/pacmpl1.html#0001M17
Jason Hemann
Daniel P. Friedman
William E. Byrd
Matthew Might
A Simple Complete Search for Logic Programming.
14:1-14:8
2017
ICLP (Technical Communications)
https://doi.org/10.4230/OASIcs.ICLP.2017.14
conf/iclp/2017
db/conf/iclp/iclp2017.html#HemannFBM17
Kimball Germane
Matthew Might
A posteriori environment analysis with Pushdown Delta CFA.
19-31
2017
POPL
https://doi.org/10.1145/3009837.3009899
https://doi.org/10.1145/3093333.3009899
conf/popl/2017
db/conf/popl/popl2017.html#GermaneM17
Jason Hemann
Daniel P. Friedman
William E. Byrd
Matthew Might
A small embedding of logic programming with a simple complete search.
96-107
2016
DLS
https://doi.org/10.1145/2989225.2989230
https://doi.org/10.1145/3093334.2989230
conf/dls/2016
db/conf/dls/dls2016.html#HemannFBM16
Thomas Gilray
Michael D. Adams 0001
Matthew Might
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis.
407-420
2016
ICFP
https://doi.org/10.1145/2951913.2951936
https://doi.org/10.1145/3022670.2951936
conf/icfp/2016
db/conf/icfp/icfp2016.html#Gilray0M16
Michael D. Adams 0001
Celeste Hollenbeck
Matthew Might
On the complexity and performance of parsing with derivatives.
224-236
2016
PLDI
https://doi.org/10.1145/2908080.2908128
https://doi.org/10.1145/2980983.2908128
conf/pldi/2016
db/conf/pldi/pldi2016.html#0001HM16
Thomas Gilray
Steven Lyde
Michael D. Adams 0001
Matthew Might
David Van Horn
Pushdown control-flow analysis for free.
691-704
2016
POPL
https://doi.org/10.1145/2837614.2837631
https://doi.org/10.1145/2914770.2837631
conf/popl/2016
db/conf/popl/popl2016.html#GilrayL0MH16
Peter Aldous
Matthew Might
A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages.
179-184
2016
IEEE Symposium on Security and Privacy Workshops
https://doi.org/10.1109/SPW.2016.58
https://doi.ieeecomputersociety.org/10.1109/SPW.2016.58
conf/sp/2016w
db/conf/sp/spw2016.html#AldousM16
James King 0007
Thomas Gilray
Robert M. Kirby
Matthew Might
Dynamic Sparse-Matrix Allocation on GPUs.
61-80
2016
ISC
https://doi.org/10.1007/978-3-319-41321-1_4
conf/supercomputer/2016
db/conf/supercomputer/isc2016.html#KingGKM16
Michael D. Adams 0001
Celeste Hollenbeck
Matthew Might
On the Complexity and Performance of Parsing with Derivatives.
2016
abs/1604.04695
CoRR
http://arxiv.org/abs/1604.04695
db/journals/corr/corr1604.html#0001HM16
Dakota Fisher
Matthew A. Hammer
William E. Byrd
Matthew Might
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme.
2016
abs/1609.05337
CoRR
http://arxiv.org/abs/1609.05337
db/journals/corr/corr1609.html#FisherHBM16
Steven Lyde
William E. Byrd
Matthew Might
Control-flow analysis of dynamic languages via pointer analysis.
54-62
2015
DLS
https://doi.org/10.1145/2816707.2816712
https://doi.org/10.1145/2936313.2816712
conf/dls/2015
db/conf/dls/dls2015.html#LydeBM15
David Darais
Matthew Might
David Van Horn
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis.
552-571
2015
OOPSLA
https://doi.org/10.1145/2814270.2814308
https://doi.org/10.1145/2858965.2814308
conf/oopsla/2015
db/conf/oopsla/oopsla2015.html#DaraisMH15
Peter Aldous
Matthew Might
Static Analysis of Non-interference in Expressive Low-Level Languages.
1-17
2015
SAS
https://doi.org/10.1007/978-3-662-48288-9_1
conf/sas/2015
db/conf/sas/sas2015.html#AldousM15
Thomas Gilray
Steven Lyde
Michael D. Adams 0001
Matthew Might
David Van Horn
Pushdown Control-Flow Analysis for Free.
2015
abs/1507.03137
CoRR
http://arxiv.org/abs/1507.03137
db/journals/corr/corr1507.html#GilrayL0MH15
J. Ian Johnson
Ilya Sergey
Christopher Earl
Matthew Might
David Van Horn
Pushdown flow analysis with abstract garbage collection.
218-283
2014
24
J. Funct. Program.
2-3
https://doi.org/10.1017/S0956796814000100
db/journals/jfp/jfp24.html#JohnsonSEMH14
Kimball Germane
Matthew Might
Deletion: The curse of the red-black tree.
423-433
2014
24
J. Funct. Program.
4
https://doi.org/10.1017/S0956796814000227
db/journals/jfp/jfp24.html#GermaneM14
Shuying Liang
Weibin Sun
Matthew Might
Fast Flow Analysis with Godel Hashes.
225-234
2014
SCAM
https://doi.org/10.1109/SCAM.2014.40
https://doi.ieeecomputersociety.org/10.1109/SCAM.2014.40
conf/scam/2014
db/conf/scam/scam2014.html#LiangSM14
Shuying Liang
Weibin Sun
Matthew Might
Andrew W. Keep
David Van Horn
Pruning, Pushdown Exception-Flow Analysis.
265-274
2014
SCAM
https://doi.org/10.1109/SCAM.2014.44
https://doi.ieeecomputersociety.org/10.1109/SCAM.2014.44
conf/scam/2014
db/conf/scam/scam2014.html#LiangSMKH14
J. Ian Johnson
Ilya Sergey
Christopher Earl
Matthew Might
David Van Horn
Pushdown flow analysis with abstract garbage collection.
2014
abs/1406.5106
CoRR
http://arxiv.org/abs/1406.5106
db/journals/corr/corr1406.html#JohnsonSEMH14
Shuying Liang
Weibin Sun
Matthew Might
Andrew W. Keep
David Van Horn
Pruning, Pushdown Exception-Flow Analysis.
2014
abs/1409.3108
CoRR
http://arxiv.org/abs/1409.3108
db/journals/corr/corr1409.html#LiangSMKH14
David Darais
Matthew Might
David Van Horn
Galois Transformers and Modular Abstract Interpreters.
2014
abs/1411.3962
CoRR
http://arxiv.org/abs/1411.3962
db/journals/corr/corr1411.html#DaraisMH14
Shuying Liang
Andrew W. Keep
Matthew Might
Steven Lyde
Thomas Gilray
Petey Aldous
David Van Horn
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation.
21-32
2013
SPSM@CCS
https://doi.org/10.1145/2516760.2516769
conf/ccs/2013spsm
db/conf/ccs/spsm2013.html#LiangKMLGAH13
J. Ian Johnson
Nicholas Labich
Matthew Might
David Van Horn
Optimizing abstract abstract machines.
443-454
2013
ICFP
https://doi.org/10.1145/2500365.2500604
https://doi.org/10.1145/2544174.2500604
conf/icfp/2013
db/conf/icfp/icfp2013.html#JohnsonLMH13
Steven Lyde
Matthew Might
Extracting Hybrid Automata from Control Code.
447-452
2013
NASA Formal Methods
https://doi.org/10.1007/978-3-642-38088-4_32
conf/nfm/2013
db/conf/nfm/nfm2013.html#LydeM13
Ilya Sergey
Dominique Devriese
Matthew Might
Jan Midtgaard
David Darais
Dave Clarke 0001
Frank Piessens
Monadic abstract interpreters.
399-410
2013
PLDI
https://doi.org/10.1145/2491956.2491979
https://doi.org/10.1145/2499370.2491979
conf/pldi/2013
db/conf/pldi/pldi2013.html#SergeyDMMDCP13
Steven Lyde
Matthew Might
Control-Flow Analysis with SAT Solvers.
125-133
2013
Trends in Functional Programming
https://doi.org/10.1007/978-3-642-45340-3_8
conf/sfp/2013
db/conf/sfp/tfp2013.html#LydeM13
Thomas Gilray
Matthew Might
A Survey of Polyvariance in Abstract Interpretations.
134-148
2013
Trends in Functional Programming
https://doi.org/10.1007/978-3-642-45340-3_9
conf/sfp/2013
db/conf/sfp/tfp2013.html#GilrayM13
Shuying Liang
Matthew Might
David Van Horn
AnaDroid: Malware Analysis of Android with User-supplied Predicates.
3-14
2013
conf/tapas2/2013
TAPAS@SAS
https://doi.org/10.1016/j.entcs.2015.02.002
https://www.wikidata.org/entity/Q113317815
db/journals/entcs/entcs311.html#LiangMH15
Matthew Might
David Van Horn
Andreas Abel 0001
Tim Sheard
Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013
ACM
PLPV
2013
978-1-4503-1860-0
http://dl.acm.org/citation.cfm?id=2428116
db/conf/plpv/plpv2013.html
Shuying Liang
Matthew Might
Thomas Gilray
David Van Horn
Pushdown Exception-Flow Analysis of Object-Oriented Programs
http://arxiv.org/abs/1302.2692
2013
CoRR
abs/1302.2692
db/journals/corr/corr1302.html#abs-1302-2692
Shuying Liang
Matthew Might
David Van Horn
AnaDroid: Malware Analysis of Android with User-supplied Predicates.
2013
CoRR
http://arxiv.org/abs/1311.4198
abs/1311.4198
db/journals/corr/corr1311.html#LiangMH13
Shuying Liang
Andrew W. Keep
Matthew Might
Steven Lyde
Thomas Gilray
Petey Aldous
David Van Horn
Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation.
2013
CoRR
http://arxiv.org/abs/1311.4201
abs/1311.4201
db/journals/corr/corr1311.html#LiangKMLGAH13
Matthew Might
Yannis Smaragdakis
David Van Horn
Resolving and Exploiting the $k$-CFA Paradox.
2013
CoRR
http://arxiv.org/abs/1311.4231
abs/1311.4231
db/journals/corr/corr1311.html#MightSH13
David Van Horn
Matthew Might
Systematic abstraction of abstract machines.
705-746
2012
22
J. Funct. Program.
4-5
https://doi.org/10.1017/S0956796812000238
db/journals/jfp/jfp22.html#HornM12
Christopher Earl
Ilya Sergey
Matthew Might
David Van Horn
Introspective pushdown analysis of higher-order programs.
177-188
2012
ICFP
https://doi.org/10.1145/2364527.2364576
https://doi.org/10.1145/2398856.2364576
conf/icfp/2012
db/conf/icfp/icfp2012.html#EarlSMH12
Shuying Liang
Matthew Might
Hash-flow taint analysis of higher-order programs.
8
2012
PLAS
https://doi.org/10.1145/2336717.2336725
conf/pldi/2012plas
db/conf/pldi/plas2012.html#LiangM12
Jan Midtgaard
Michael D. Adams 0001
Matthew Might
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections.
352-369
2012
SAS
https://doi.org/10.1007/978-3-642-33125-1_24
conf/sas/2012
db/conf/sas/sas2012.html#Midtgaard0M12
Jan Midtgaard
Matthew Might
Preface.
1
2012
conf/nsad/2012
NSAD@SAS
https://doi.org/10.1016/j.entcs.2012.09.001
https://www.wikidata.org/entity/Q113318064
db/journals/entcs/entcs287.html#MidtgaardM12
Jan Midtgaard
Matthew Might
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012
NSAD@SAS
Electronic Notes in Theoretical Computer Science
287
Elsevier
2012
https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/287/suppl/C
db/journals/entcs/entcs287.html
Christopher Earl
Ilya Sergey
Matthew Might
David Van Horn
Introspective Pushdown Analysis of Higher-Order Programs
http://arxiv.org/abs/1207.1813
2012
CoRR
abs/1207.1813
db/journals/corr/corr1207.html#abs-1207-1813
J. Ian Johnson
Matthew Might
David Van Horn
Optimizing Abstract Abstract Machines
http://arxiv.org/abs/1211.3722
2012
CoRR
abs/1211.3722
db/journals/corr/corr1211.html#abs-1211-3722
David Van Horn
Matthew Might
Abstracting abstract machines: a systematic approach to higher-order program analysis.
101-109
2011
54
Commun. ACM
9
https://doi.org/10.1145/1995376.1995400
db/journals/cacm/cacm54.html#HornM11
Matthew Might
David Darais
Daniel Spiewak
Parsing with derivatives: a functional pearl.
189-195
2011
ICFP
https://doi.org/10.1145/2034773.2034801
https://doi.org/10.1145/2034574.2034801
conf/icfp/2011
db/conf/icfp/icfp2011.html#MightDS11
Michael D. Adams 0001
Andrew W. Keep
Jan Midtgaard
Matthew Might
Arun Chauhan 0001
R. Kent Dybvig
Flow-sensitive type recovery in linear-log time.
483-498
2011
OOPSLA
https://doi.org/10.1145/2048066.2048105
https://doi.org/10.1145/2076021.2048105
conf/oopsla/2011
db/conf/oopsla/oopsla2011.html#AdamsKMMCD11
Tarun Prabhu
Shreyas Ramalingam
Matthew Might
Mary W. Hall
EigenCFA: accelerating flow analysis with GPUs.
511-522
2011
POPL
https://doi.org/10.1145/1926385.1926445
https://doi.org/10.1145/1925844.1926445
conf/popl/2011
db/conf/popl/popl2011.html#PrabhuRMH11
Matthew Might
David Van Horn
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs.
180-197
2011
SAS
https://doi.org/10.1007/978-3-642-23702-7_16
conf/sas/2011
db/conf/sas/sas2011.html#MightH11
Matthew Might
David Van Horn
A family of abstract interpretations for static analysis of concurrent higher-order programs
http://arxiv.org/abs/1103.5167
2011
CoRR
abs/1103.5167
db/journals/corr/corr1103.html#abs-1103-5167
David Van Horn
Matthew Might
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
http://arxiv.org/abs/1105.1743
2011
CoRR
abs/1105.1743
db/journals/corr/corr1105.html#abs-1105-1743
David Van Horn
Matthew Might
Systematic Abstraction of Abstract Machines
http://arxiv.org/abs/1107.3539
2011
CoRR
abs/1107.3539
db/journals/corr/corr1107.html#abs-1107-3539
David Van Horn
Matthew Might
An Analytic Framework for JavaScript
http://arxiv.org/abs/1109.4467
2011
CoRR
abs/1109.4467
db/journals/corr/corr1109.html#abs-1109-4467
Matt Might
The academic job search: How to prepare key documents.
7
2010
17
XRDS
2
https://doi.org/10.1145/1869086.1869091
db/journals/crossroads/crossroads17.html#Might10
David Van Horn
Matthew Might
Abstracting abstract machines.
51-62
2010
ICFP
https://doi.org/10.1145/1863543.1863553
https://doi.org/10.1145/1932681.1863553
conf/icfp/2010
db/conf/icfp/icfp2010.html#HornM10
Matthew Might
Yannis Smaragdakis
David Van Horn
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis.
305-315
2010
PLDI
https://doi.org/10.1145/1806596.1806631
https://doi.org/10.1145/1809028.1806631
conf/pldi/2010
db/conf/pldi/pldi2010.html#MightSH10
Matthew Might
Abstract Interpreters for Free.
407-421
2010
SAS
https://doi.org/10.1007/978-3-642-15769-1_25
conf/sas/2010
db/conf/sas/sas2010.html#Might10
Matthew Might
Shape Analysis in the Absence of Pointers and Structure.
263-278
2010
VMCAI
https://doi.org/10.1007/978-3-642-11319-2_20
conf/vmcai/2010
db/conf/vmcai/vmcai2010.html#Might10
Christopher Earl
Matthew Might
David Van Horn
Pushdown Control-Flow Analysis of Higher-Order Programs
http://arxiv.org/abs/1007.4268
2010
CoRR
abs/1007.4268
db/journals/corr/corr1007.html#abs-1007-4268
David Van Horn
Matthew Might
Abstracting Abstract Machines
http://arxiv.org/abs/1007.4446
2010
CoRR
abs/1007.4446
db/journals/corr/corr1007.html#abs-1007-4446
Christopher Earl
Matthew Might
David Van Horn
Stack-Summarizing Control-Flow Analysis of Higher-Order Programs
http://arxiv.org/abs/1009.1560
2010
CoRR
abs/1009.1560
db/journals/corr/corr1009.html#abs-1009-1560
Matthew Might
David Darais
Yacc is dead
http://arxiv.org/abs/1010.5023
2010
CoRR
abs/1010.5023
db/journals/corr/corr1010.html#abs-1010-5023
Matthew Might
Panagiotis Manolios
A PosterioriSoundness for Non-deterministic Abstract Interpretations.
260-274
2009
VMCAI
https://doi.org/10.1007/978-3-540-93900-9_22
conf/vmcai/2009
db/conf/vmcai/vmcai2009.html#MightM09
Matthew Might
Olin Shivers
Exploiting reachability and cardinality in higher-order flow analysis.
821-864
2008
18
J. Funct. Program.
5-6
https://doi.org/10.1017/S0956796808006941
db/journals/jfp/jfp18.html#MightS08
Matthew Might
Environment Analysis of Higher-Order Languages.
2007
Georgia Institute of Technology, Atlanta, GA, USA
https://hdl.handle.net/1853/16289
https://www.base-search.net/Record/4418e41d127bea330a5167e32cf8324ad8a22a925e9ef606b090cc4045d66f9e
base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/16289)
Matthew Might
Olin Shivers
Analyzing the environment structure of higher-order languages using frame strings.
137-168
2007
375
Theor. Comput. Sci.
1-3
https://doi.org/10.1016/j.tcs.2006.12.031
db/journals/tcs/tcs375.html#MightS07
Matthew Might
Logic-flow analysis of higher-order programs.
185-198
2007
conf/popl/2007
POPL
https://doi.org/10.1145/1190216.1190247
https://doi.org/10.1145/1190215.1190247
db/conf/popl/popl2007.html#Might07
Matthew Might
Benjamin Chambers
Olin Shivers
Model Checking Via GammaCFA.
59-73
2007
conf/vmcai/2007
VMCAI
https://doi.org/10.1007/978-3-540-69738-1_4
db/conf/vmcai/vmcai2007.html#MightCS07
Matthew Might
Olin Shivers
Improving flow analyses via GammaCFA: abstract garbage collection and counting.
13-25
2006
conf/icfp/2006
ICFP
https://doi.org/10.1145/1159803.1159807
https://doi.org/10.1145/1160074.1159807
db/conf/icfp/icfp2006.html#MightS06
Olin Shivers
Matthew Might
Continuations and transducer composition.
295-307
2006
conf/pldi/2006
PLDI
https://doi.org/10.1145/1133981.1134016
https://doi.org/10.1145/1133255.1134016
db/conf/pldi/pldi2006.html#ShiversM06
Matthew Might
Olin Shivers
Environment analysis via Delta CFA.
127-140
2006
conf/popl/2006
POPL
https://doi.org/10.1145/1111037.1111049
https://doi.org/10.1145/1111320.1111049
db/conf/popl/popl2006.html#MightS06
Andreas Abel 0001
Michael D. Adams 0001
Peter AldousPetey Aldous
Nada Amin
Themistocles L. Assimes
Abhishek Bagusetty
A. Ballantyne
William E. Byrd
Benjamin Chambers
Arun Chauhan 0001
Dave Clarke 0001
Andrew B. Crouse
Camerron M. Crowder
David Darais
Umesh R. Desai
Dominique Devriese
R. Kent Dybvig
Christopher Earl
Ethan Fetaya
Dakota Fisher
Aleksandra Foksinska
Daniel P. Friedman
Kimball Germane
Thomas Gilray
Dionna Amalie GlazeJ. Ian Johnson
Benjamin M. Good
Or Gozani
Mary W. Hall
Matthew A. Hammer
Kaiwen He
Jason Hemann
Jeff Henrikson
Maureen E. Hoatlin
Celeste Hollenbeck
David Van Horn
Andrew W. Keep
Bohdan B. Khomtchouk
James King 0007
Robert M. Kirby
Balagurunathan Kuberan
Nicholas Labich
Tong Shu Li
Shuying Liang
Renjie Liao
Steven Lyde
Panagiotis Manolios
Michael Mayers
Jay McCarthy
Jan Midtgaard
John D. Osborne
Michael J. Patton
Frank Piessens
Tarun Prabhu
Núria Queralt-Rosinach
Shreyas Ramalingam
Stephen A. Ramsey
Gregory Rosenblatt
Ilya Sergey
Tim Sheard
Olin Shivers
Yannis Smaragdakis
Daniel Spiewak
Gregory S. Stupp
Ryan Stutsman
Andrew I. Su
Weibin Sun
James C. Sutherland
Diem-Trang T. Tran
Thi K. Tran-Nguyen
Raquel Urtasun
Kasra A. Vand
Richard S. Zemel
Lisa Zhang
Tian Zhang 0005
Marissa Zheng