Matthew Might

	2011
25		Matthew Might, David Darais, Daniel Spiewak: Parsing with derivatives: a functional pearl. ICFP 2011: 189-195
24		Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig: Flow-sensitive type recovery in linear-log time. OOPSLA 2011: 483-498
23		Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary W. Hall: EigenCFA: accelerating flow analysis with GPUs. POPL 2011: 511-522
22		Matthew Might, David Van Horn: A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. SAS 2011: 180-197
21		Matthew Might, David Van Horn: A family of abstract interpretations for static analysis of concurrent higher-order programs CoRR abs/1103.5167: (2011)
20		David Van Horn, Matthew Might: Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis CoRR abs/1105.1743: (2011)
19		David Van Horn, Matthew Might: Systematic Abstraction of Abstract Machines CoRR abs/1107.3539: (2011)
18		David Van Horn, Matthew Might: An Analytic Framework for JavaScript CoRR abs/1109.4467: (2011)
17		David Van Horn, Matthew Might: Abstracting abstract machines: a systematic approach to higher-order program analysis. Commun. ACM 54(9): 101-109 (2011)
	2010
16		David Van Horn, Matthew Might: Abstracting abstract machines. ICFP 2010: 51-62
15		Matthew Might, Yannis Smaragdakis, David Van Horn: Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. PLDI 2010: 305-315
14		Matthew Might: Abstract Interpreters for Free. SAS 2010: 407-421
13		Matthew Might: Shape Analysis in the Absence of Pointers and Structure. VMCAI 2010: 263-278
12		Christopher Earl, Matthew Might, David Van Horn: Pushdown Control-Flow Analysis of Higher-Order Programs CoRR abs/1007.4268: (2010)
11		David Van Horn, Matthew Might: Abstracting Abstract Machines CoRR abs/1007.4446: (2010)
10		Christopher Earl, Matthew Might, David Van Horn: Stack-Summarizing Control-Flow Analysis of Higher-Order Programs CoRR abs/1009.1560: (2010)
9		Matthew Might, David Darais: Yacc is dead CoRR abs/1010.5023: (2010)
	2009
8		Matthew Might, Panagiotis Manolios: A PosterioriSoundness for Non-deterministic Abstract Interpretations. VMCAI 2009: 260-274
	2008
7		Matthew Might, Olin Shivers: Exploiting reachability and cardinality in higher-order flow analysis. J. Funct. Program. 18(5-6): 821-864 (2008)
	2007
6		Matthew Might: Logic-flow analysis of higher-order programs. POPL 2007: 185-198
5		Matthew Might, Benjamin Chambers, Olin Shivers: Model Checking Via GammaCFA. VMCAI 2007: 59-73
4		Matthew Might, Olin Shivers: Analyzing the environment structure of higher-order languages using frame strings. Theor. Comput. Sci. 375(1-3): 137-168 (2007)
	2006
3		Matthew Might, Olin Shivers: Improving flow analyses via GammaCFA: abstract garbage collection and counting. ICFP 2006: 13-25
2		Olin Shivers, Matthew Might: Continuations and transducer composition. PLDI 2006: 295-307
1		Matthew Might, Olin Shivers: Environment analysis via Delta CFA. POPL 2006: 127-140

Coauthor Index

1	Michael D. Adams	[24]
2	Benjamin Chambers	[5]
3	Arun Chauhan	[24]
4	David Darais	[9] [25]
5	R. Kent Dybvig	[24]
6	Christopher Earl	[10] [12]
7	Mary W. Hall	[23]
8	David Van Horn	[10] [11] [12] [15] [16] [17] [18] [19] [20] [21] [22]
9	Andrew W. Keep	[24]
10	Panagiotis Manolios (Pete Manolios)	[8]
11	Jan Midtgaard	[24]
12	Tarun Prabhu	[23]
13	Shreyas Ramalingam	[23]
14	Olin Shivers	[1] [2] [3] [4] [5] [7]
15	Yannis Smaragdakis	[15]
16	Daniel Spiewak	[25]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page