mattmight's library 150 articles Export

Ordered by to_read.

	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
	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
	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
	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
	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
	Pre-Scheme: A Scheme Dialect for Systems Programming [My Copy] (1997) by Richard A. Kelsey posted to compiler scheme by mattmight on 2009-08-08 16:45:45 as
	The CERT C Secure Coding Standard (SEI Series in Software Engineering) [My Copy] (24 October 2008) by Robert C. Seacord posted to security by mattmight on 2009-07-15 19:36:00 as
	Combining abstract interpreters [My Copy] In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (2006), pp. 376-386. by Sumit Gulwani, Ashish Tiwari posted to abstract-interpretation by mattmight on 2009-06-28 21:31:36 as along with 1 person zuleger
	Conference reviewing considered harmful [My Copy] SIGOPS Operating Systems Review, Vol. 43, No. 2. (2009), pp. 108-116. by Thomas Anderson posted to peer-review by mattmight on 2009-06-25 18:59:16 as along with 1 person alhoori
	Reachability Analysis of Pushdown Automata: Application to Model-Checking [My Copy] In CONCUR '97: Proceedings of the 8th International Conference on Concurrency Theory (1997), pp. 135-150. by Ahmed Bouajjani, Javier Esparza, Oded Maler posted to model-checking pushdown-automata reachability-analysis static-analysis by mattmight on 2009-06-14 23:40:58 as
	Precise interprocedural dataflow analysis via graph reachability [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1995), pp. 49-61. by Thomas Reps, Susan Horwitz, Mooly Sagiv posted to graph-reachability pushdown-analysis by mattmight on 2009-06-26 20:16:37 as along with 9 people taking zkincaid olegus rakingleaves kklo GeoffWozniak alphabetagamma bfraser zuleger
	Symbolic execution and program testing [My Copy] Communications of the ACM, Vol. 19, No. 7. (July 1976), pp. 385-394. by James C. King posted to symbolic-execution by mattmight on 2009-06-17 22:47:32 as along with 7 people and 1 group dimvar qdw1987 srccheck newdawn mercutio gchpaco bfraser U Combinator
	Shape Analysis in the Absence of Pointers and Structure [My Copy] In VMCAI 2010: International Conference on Verifiation, 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
	Superoptimizer: A look at the smallest program [My Copy] In ASPLOS-II: Proceedings of the Second International Conference on Architectual Support for Programming Languages and Operating Systems (1987), pp. 122-126. by Henry Massalin posted to no-tag by mattmight on 2009-11-23 01:15:52 as along with 2 people mwmarkland gvdh
	Pointer and escape analysis for multithreaded programs [My Copy] In PPoPP '01: Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming (2001), pp. 12-23. by Alexandru Salcianu, Martin Rinard posted to escape-analysis by mattmight on 2009-11-21 20:36:25 as along with 3 people bfraser schuh yang
	Minimum cost interprocedural register allocation [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 230-241. by Steven M. Kurlander, Charles N. Fischer posted to register-allocation by mattmight on 2009-11-21 19:36:54 as
	Eliminating the call stack to save RAM [My Copy] In LCTES '09: Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (2009), pp. 60-69. by Xuejun Yang, Nathan Cooprider, John Regehr posted to stack flattening by mattmight on 2009-11-21 19:22:06 as along with 1 person jcreed
	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
	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
	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
	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
	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
	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
	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
	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

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

Result page: 1 2 3 Next

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
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
escape-analysis	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
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
flattening	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
register-allocation	1
regular-expressions	1
scala	1
sensor-nets	1
software-engineering	1
ssa	1
stack	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 150 articles Export

mattmight's tags