mattmight's Shivers:O [8 articles] Export

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

	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
	Control-Flow Analysis of Higher-Order Languages [My Copy] (1991) by Olin G. Shivers posted to abstract-interpretation cfa control-flow-analysis cps dissertation static-analysis by mattmight on 2009-06-20 04:16:00 as along with 3 people and 1 group dimvar samth tov NU-PRL
	Control flow analysis in Scheme [My Copy] In Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174. by Olin Shivers posted to cfa continuation-passing-style control-flow-analysis cps static-analysis by mattmight on 2009-06-20 04:08:28 as along with 7 people and 1 group robertjohnsimmons dimvar higepon samth jacob tov pedagand NU-PRL
	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

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

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	42
abstract-interpretation	25
cfa	21
parsing	15
control-flow-analysis	14
type-theory	13
security	7
verification	7
compiler	6
alias-analysis	6
shape-analysis	6
compilers	6
model-checking	5
dissertation	4
lambda-calculus	4
environment-analysis	4
ml	4
macros	4
parallelization	4
dependent-types	3
abstract-garbage-collection	3
theorem-proving	3
specification	3
escape-analysis	3
scheme	3
sml	3
constraint-solving	3
abstract-counting	3
gamma-cfa	3
cps	3
pointer-analysis	3
software-engineering	2
haskell	2
lexing	2
frame-strings	2
type-based-analysis	2
predicate-abstraction	2
cek	2
operating-systems	2
delta-cfa	2
pushdown-automata	2
continuation	2
non-nullability	2
data-flow-analysis	2
hoare-logic	2
type-inference	1
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
context-sensitivity	1
symbolic-execution	1
coroutine	1
dod	1
dependence	1
coroutine-fusion	1
linear-type	1
graph-reachability	1
sensor-nets	1
stack	1

mattmight's Shivers:O [8 articles] Export

mattmight's tags