mattmight's library 145 articles Export

	Syntactic abstraction in scheme [My Copy] LISP and Symbolic Computation, Vol. 5, No. 4. (1 December 1993), pp. 295-326. by Kent R. Dybvig, Robert Hieb, Carl Bruggeman posted to macros by mattmight on 2009-10-21 16:57:29 as
	Macros that work [My Copy] In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1991), pp. 155-162. by William Clinger, Jonathan Rees posted to macros by mattmight on 2009-10-21 06:24:56 as along with 9 people and 1 group assnoodles samth JeffreyPalmer jrw bdauvergne damaru ryanc tov jkominek NU-PRL
	Hygienic macro expansion [My Copy] In LFP '86: Proceedings of the 1986 ACM Conference on LISP and Functional Programming (1986), pp. 151-161. by Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce Duba posted to macros by mattmight on 2009-10-21 05:17:02 as along with 3 people and 1 group samth dherman ryanc NU-PRL
	Macro-by-example: Deriving syntactic transformations from their specifications [My Copy] In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1987), pp. 77-84. by Eugene E. Kohlbecker, Mitchell Wand posted to macros by mattmight on 2009-10-21 05:13:33 as along with 2 people and 1 group dherman dsilva NU-PRL
	Grammar Analysis and Parsing by Abstract Interpretation, invited chapter [My Copy] In Program Analysis and Compilation, Theory and Practice: Essays dedicated to Reinhard Wilhelm (December 2006), pp. 178-203. by Patrick Cousot, Radhia Cousot edited by Tom Reps, Mooly Sagiv, Jorg Bauer posted to parsing by mattmight on 2009-10-09 07:05:34 as
	Parsing as Abstract Interpretation of Grammar Semantics [My Copy] Theoretical Computer Science, Vol. 290 (2003), pp. 531-544. by Patrick Cousot, Radhia Cousot posted to parsing by mattmight on 2009-10-09 07:03:46 as
	Practical Translators for LR(k) Languages [My Copy] (1969) by Frank L. DeRemer posted to no-tag by mattmight on 2009-10-09 06:41:14 as
	Simple LR(k) grammars [My Copy] Communications of the ACM, Vol. 14, No. 7. (1971), pp. 453-460. by Franklin L. DeRemer posted to parsing by mattmight on 2009-10-09 06:39:26 as along with 1 person ajholanda
	LR parsers for natural languages [My Copy] In ACL-22: Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics (1984), pp. 354-357. by Masaru Tomita posted to parsing by mattmight on 2009-10-09 06:35:10 as along with 1 person mrkn
	An efficient context-free parsing algorithm [My Copy] Communications of the ACM, Vol. 13, No. 2. (1970), pp. 94-102. by Jay Earley posted to parsing by mattmight on 2009-10-09 06:31:38 as
	Programming languages and their compilers: Preliminary notes [My Copy] (1970) by John Cocke, Jacob T. Schwartz posted to parsing by mattmight on 2009-10-09 06:28:24 as
	Tadao Kasami [My Copy] (1965) by An efficient recognition and syntax-analysis algorithm for context-free languages posted to no-tag by mattmight on 2009-10-09 06:26:26 as
	Recognition and parsing of context-free languages in time n3 [My Copy] Information and Control, Vol. 10, No. 2. (1967), pp. 189-208. by Daniel H. Younger posted to parsing by mattmight on 2009-10-09 06:23:37 as
	On the Translation of Languages from Left to Right [My Copy] Information and Control, Vol. 8 (1965), pp. 607-639. by Donald Knuth posted to parsing by mattmight on 2009-10-09 06:17:47 as
	Syntactic Analysis and Operator Precedence [My Copy] Journal of the ACM, Vol. 10, No. 3. (July 1963), pp. 316-333. by Robert W. Floyd posted to parsing by mattmight on 2009-10-09 06:11:05 as along with 2 people ajholanda scavadini
	Bounded context syntactic analysis [My Copy] Communications of the ACM, Vol. 7, No. 2. (1964), pp. 62-67. by Robert W. Floyd posted to parsing by mattmight on 2009-10-09 06:07:02 as along with 1 person ajholanda
	Syntactic Structures [My Copy] (31 December 2002) by Noam Chomsky posted to parsing grammars context-free-grammars by mattmight on 2009-10-09 06:05:04 as along with 4 people mchinen Adso krisjack JakubSzymanik
	Top down operator precedence [My Copy] In POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1973), pp. 41-51. by Vaughan R. Pratt posted to parsing by mattmight on 2009-10-09 05:57:37 as along with 2 people mwmarkland voronov
	Selected Writings on Computing: A Personal Perspective [My Copy] (25 October 1982) by Edsger W. Dijkstra posted to parsing by mattmight on 2009-10-09 05:53:15 as along with 1 person R13
	Compiler Construction (International Computer Science Series) [My Copy] by Niklaus Wirth posted to compilers by mattmight on 2009-10-09 05:45:53 as
	Packrat Parsing: Simple, Powerful, Lazy, Linear Time [My Copy] In Proceedings of the 2002 International Conference on Functional Programming (Oct 2002) by Bryan Ford posted to parsing by mattmight on 2009-10-09 03:20:51 as along with 5 people and 2 groups draganigajic dherman jrw namin donniejones18 NU-PRL Lambda the Ultimate
	Escape analysis: Correctness proof, implementation and experimental results [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1998), pp. 25-37. by Bruno Blanchet posted to static-analysis escape-analysis abstract-interpretation by mattmight on 2009-10-08 04:31:05 as
	Exception analysis and points-to analysis: Better together [My Copy] In ISSTA '09: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis (2009), pp. 1-12. by Martin Bravenboer, Yannis Smaragdakis posted to exceptions alias-analysis by mattmight on 2009-10-08 04:14:22 as
	Refining Model Checking by Abstract Interpretation [My Copy] Automated Software Engineering, Vol. 6, No. 1. (1999), pp. 69-95. by Patrick Cousot, Radhia Cousot posted to abstract-interpretation by mattmight on 2009-10-08 03:57:20 as
	Abstract Interpretation Frameworks [My Copy] Journal of Logic and Computation, Vol. 2, No. 4. (1992), pp. 511-547. by Patrick Cousot, Radhia Cousot posted to abstract-interpretation by mattmight on 2009-10-08 03:54:00 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
	Simple Closure Analysis [My Copy] (March 1992) by Fritz Henglein posted to cfa by mattmight on 2009-10-07 17:22:24 as
	Fifth Revised Report on the Algorithmic Language Scheme [My Copy] ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76. by Richard Kelsey, William Clinger, Jonathan R. Editors edited by Richard Kelsey, William Clinger, Jonathan Rees posted to scheme r5rs by mattmight on 2009-10-07 17:16:28 as along with 8 people and 1 group higepon samth dherman pnkfelix alec tov dfisher d23 NU-PRL
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by Conor McBride posted to type-theory derivative by mattmight on 2009-10-07 17:09:43 as along with 7 people and 2 groups robertjohnsimmons pedagand dherman eaubin zednenem josefs ryanc ConcertRG NU-PRL
	Tree Automata Techniques and Applications [My Copy] (2007) by H. Comon, M. Dauchet, R. Gilleron, et al.C. Löding, F. Jacquemard, D. Lugiez, S. Tison, M. Tommasi posted to tree-automata by mattmight on 2009-10-07 17:03:49 as
	The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages [My Copy] (1987) by Matthias Felleisen posted to cek by mattmight on 2009-10-07 16:58:55 as
	Control operators, the SECD-machine, and the lambda-calculus [My Copy] In 3rd Working Conference on the Formal Description of Programming Concepts (August 1986) by Matthias Felleisen, Daniel P. Friedman posted to cek by mattmight on 2009-10-07 16:53:00 as
	Control-flow analysis of function calls and returns by abstract interpretation [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (2009), pp. 287-298. by Jan Midtgaard, Thomas P. Jensen posted to control-flow-analysis cfa abstract-interpretation by mattmight on 2009-10-07 03:27:09 as along with 1 person and 1 group robertjohnsimmons ConcertRG
	Packrat parsers can support left recursion [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (2008), pp. 103-110. by Alessandro Warth, James R. Douglass, Todd Millstein posted to peg parsing compilers by mattmight on 2009-09-22 23:43:12 as along with 1 person rblake
	Regular-expression derivatives re-examined [My Copy] Journal of Functional Programming, Vol. 19, No. 2. (2009), pp. 173-190. by Scott Owens, John Reppy, Aaron Turon posted to lexing by mattmight on 2009-09-17 06:41:14 as
	A Mathematical Theory of Communication [My Copy] The Bell Systems Technical Journal, Vol. 27 (July 1948), pp. 379-423. by Claude E. Shannon posted to information-theory by mattmight on 2009-08-29 14:40:29 as
	Call-by-value termination in the untyped lambda-calculus [My Copy] Logical Methods in Computer Science, Vol. 4, No. 1. (2008), pp. 1-39. by Neil D. Jones, Nina Bohr posted to no-tag by mattmight on 2009-08-29 04:23:52 as
	Flow Analysis of Lambda Expressions (Preliminary Version) [My Copy] In Proceedings of the 8th Colloquium on Automata, Languages and Programming (1981), pp. 114-128. by Neil D. Jones posted to static-analysis control-flow-analysis cfa abstract-interpretation by mattmight on 2009-08-29 04:20:13 as
	Single and loving it: must-alias analysis for higher-order languages [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1998), pp. 329-341. by Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew Wright posted to constraint-solving by mattmight on 2009-08-29 04:00:34 as
	Lifting abstract interpreters to quantified logical domains [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2008), pp. 235-246. by Sumit Gulwani, Bill Mccloskey, Ashish Tiwari posted to abstract-interpretation by mattmight on 2009-08-29 02:50:43 as
	Abstract Interpretation of Small-Step Semantics [My Copy] In Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages (1997), pp. 76-99. by David A. Schmidt posted to static-analysis abstract-interpretation by mattmight on 2009-08-29 02:42:27 as
	Relational abstract interpretation of higher-order functional programs. JTASPEFL'91, Bordeaux [My Copy] BIGRE, Vol. 74 (1991), pp. 33-36. by Patrick Cousot, Radhia Cousot posted to abstract-interpretation by mattmight on 2009-08-28 21:12:37 as
	Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages) [My Copy] In Proceedings of the 1994 International Conference on Computer Languages (1994), pp. 95-112. by Patrick Cousot, Radhia Cousot posted to abstract-interpretation by mattmight on 2009-08-28 21:10:57 as
	Finding Concurrency-Related Bugs Using Random Isolation [My Copy] In VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2009), pp. 198-213. by Nicholas Kidd, Thomas Reps, Julian Dolby, Mandana Vaziri posted to no-tag by mattmight on 2009-08-28 16:30:37 as
	The Higher-Order Aggregate Update Problem [My Copy] In VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2009), pp. 44-58. by Christos Dimoulas, Mitchell Wand posted to static-analysis control-flow-analysis cfa by mattmight on 2009-08-28 16:24:27 as
	Analysis and efficient implementation of functional programs [My Copy] (Oct 1991) by Peter Sestoft posted to static-analysis control-flow-analysis cfa by mattmight on 2009-08-28 16:22:05 as along with 1 person ds
	Selective and lightweight closure conversion [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1994), pp. 435-445. by Mitchell Wand, Paul Steckler posted to static-analysis environment-analysis cfa by mattmight on 2009-08-28 16:19:00 as
	Analysis of pointers and structures [My Copy] In PLDI '90: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (1990), pp. 296-310. by David R. Chase, Mark Wegman, F. Kenneth Zadeck posted to static-analysis shape-analysis pointer-analysis alias-analysis by mattmight on 2009-08-28 16:11:22 as along with 2 people bunge nvachhar
	A semantics-based approach to malware detection [My Copy] In POPL '07: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2007), pp. 377-388. by Mila D. Preda, Mihai Christodorescu, Somesh Jha, Saumya Debray posted to security by mattmight on 2009-08-18 06:09:05 as along with 1 person and 1 group ama08r U Combinator
	CCured: Type-safe retrofitting of legacy software [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 27, No. 3. (May 2005), pp. 477-526. by George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer posted to security by mattmight on 2009-08-18 05:50:16 as along with 2 people roshanr krisn11

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

Result page: 1 2 3 Next

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

mattmight's library 145 articles Export

mattmight's tags