mattmight's Might:M [12 articles] Export

Recent papers posted to mattmight's library by the author Might:M. You can also see everyone's Might:M.

	Shape Analysis in the Absence of Pointers and Structure [My Copy] In VMCAI 2010: International Conference on Verification, Model-Checking and Abstract Interpretation (January 2010), pp. 263-278. by Matthew Might posted to static-analysis shape-analysis cfa by mattmight on 2009-11-23 21:57:08 as
	Interprocedural dependence analysis of higher-order programs via stack reachability [My Copy] In Proceedings of the 2009 Workshop on Scheme and Functional Programming (2009) by Matthew Might, Tarun Prabhu posted to parallelization dependence cfa by mattmight on 2009-10-07 17:29:07 as
	A Research Group for Static Analysis of Higher-Order Languages [My Copy] by Matthew Might posted to ucombinator by mattmight on 2009-08-17 02:04:02 as along with 1 group U Combinator
	Model Checking via Gamma-CFA [My Copy] In Verification, Model Checking, and Abstract Interpretation (January 2007), pp. 59-73. by Matthew Might, Benjamin Chambers, Olin Shivers posted to abstract-garbage-collection abstract-interpretation gamma-cfa model-checking by mattmight on 2009-06-20 06:43:41 as
	Environment Analysis of Higher-Order Languages [My Copy] (7 June 2007) by Matthew Might posted to abstract-interpretation cfa dissertation environment-analysis static-analysis by mattmight on 2009-06-14 20:10:41 as along with 1 group U Combinator
	A Posteriori Soundness for Non-deterministic Abstract Interpretations [My Copy] In VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2009), pp. 260-274. by Matthew Might, Panagiotis Manolios posted to abstract-interpretation existential-cfa static-analysis by mattmight on 2009-06-13 20:52:21 as
	Analyzing the environment structure of higher-order languages using frame strings [My Copy] Theoretical Computer Science, Vol. 375, No. 1-3. (01 May 2007), pp. 137-168. by Matthew Might, Olin Shivers posted to cfa control-flow-analysis delta-cfa environment-analysis frame-strings by mattmight on 2009-06-13 20:44:50 as
	Exploiting reachability and cardinality in higher-order flow analysis [My Copy] Journal of Functional Programming, Vol. 18, No. Special Double Issue 5-6. (2008), pp. 821-864. by Matthew Might, Olin Shivers posted to abstract-counting abstract-garbage-collection abstract-interpretation gamma-cfa by mattmight on 2009-06-13 20:40:21 as
	Continuations and transducer composition [My Copy] In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (2006), pp. 295-307. by Olin Shivers, Matthew Might posted to continuation coroutine coroutine-fusion super-beta transducer-fusion by mattmight on 2009-06-13 19:04:28 as along with 1 person tov
	Improving flow analyses via Gamma-CFA: Abstract garbage collection and counting [My Copy] In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (2006), pp. 13-25. by Matthew Might, Olin Shivers posted to abstract-counting abstract-garbage-collection abstract-interpretation gamma-cfa by mattmight on 2009-06-13 18:52:37 as
	Environment analysis via Delta-CFA [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 127-140. by Matthew Might, Olin Shivers posted to abstract-interpretation delta-cfa environment-analysis frame-strings static-analysis by mattmight on 2009-06-13 18:40:49 as along with 1 person dvanhorn
	Logic-flow analysis of higher-order programs [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 185-198. by Matthew Might posted to abstract-interpretation lfa logic-flow-analysis predicate-abstraction by mattmight on 2009-06-13 17:39:21 as along with 1 person srccheck

Note: You may cite this page as: http://www.citeulike.org/user/mattmight/author/Might:M

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

static-analysis	41
abstract-interpretation	25
cfa	20
parsing	15
control-flow-analysis	14
type-theory	13
security	7
verification	7
alias-analysis	6
compiler	6
shape-analysis	6
model-checking	5
parallelization	4
lambda-calculus	4
ml	4
macros	4
environment-analysis	4
gamma-cfa	3
cps	3
scheme	3
abstract-garbage-collection	3
sml	3
constraint-solving	3
specification	3
theorem-proving	3
dependent-types	3
abstract-counting	3
escape-analysis	3
dissertation	3
software-engineering	2
compilers	2
cek	2
predicate-abstraction	2
type-based-analysis	2
data-flow-analysis	2
haskell	2
pointer-analysis	2
frame-strings	2
lexing	2
hoare-logic	2
delta-cfa	2
pushdown-automata	2
operating-systems	2
non-nullability	2
continuation	2
cfl	1
tvla	1
continuation-passing-style	1
flattening	1
damas-milner	1
logic-flow-analysis	1
malware	1
termination	1
partial-evaluation	1
galois-connection	1
ghc	1
existential-cfa	1
mlton	1
benchmarking	1
peg	1
lfa	1
tree-automata	1
super-beta	1
functional-programming	1
information-theory	1
ucombinator	1
transducer-fusion	1
context-free-grammars	1
c	1
derivative	1
register-allocation	1
llvm	1
coq	1
exceptions	1
peer-review	1
anf	1
ssa	1
wcet	1
pda	1
regular-expressions	1
reachability-analysis	1
pushdown-analysis	1
r5rs	1
java	1
scala	1
grammars	1
error-correcting-codes	1
symbolic-execution	1
coroutine	1
dod	1
dependence	1
coroutine-fusion	1
linear-type	1
graph-reachability	1
sensor-nets	1
stack	1
type-inference	1

mattmight's Might:M [12 articles] Export

mattmight's tags