Matthew Might's Top Recommendations

These recommendations were last updated about an hour ago.

	Principles of Program Analysis [My Copy] (1999) by Flemming Nielson, Hanne R. Nielson, Chris Hankin posted by 3 people dvanhorn plaugg zuleger
	Lambda, the ultimate label or a simple optimizing compiler for Scheme [My Copy] In Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 128-139. by William D. Clinger, Lars T. Hansen posted by 9 people dimvar samth dherman eaubin pnkfelix JeffreyPalmer ryanc tov NU-PRL
	Constraint Abstractions [My Copy] In PADO '01: Proceedings of the Second Symposium on Programs as Data Objects (2001), pp. 63-83. by Jörgen Gustavsson, Josef Svenningsson posted by 1 person dvanhorn
	A Type and Effect System for Flexible Abstract Interpretation of Java(Extended Abstract) [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 131 (24 May 2005), pp. 111-124. by C. Skalka, S. Smith, D. Vanhorn posted by 1 person dvanhorn
	Types and trace effects of higher order programs [My Copy] Journal of Functional Programming, Vol. 18, No. 02. (2008), pp. 179-249. by A. Christian Skalk, H. Scott Smit, N. David van Hor posted by 1 person dvanhorn
	Flow Analysis, Linearity, and PTIME [My Copy] Static Analysis (2008), pp. 255-269. by David Van Horn, Harry Mairson posted by 2 people dvanhorn robertjohnsimmons
	Relating complexity and precision in control flow analysis [My Copy] In ICFP '07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming (2007), pp. 85-96. by David Van Horn, Harry G. Mairson posted by 2 people dvanhorn Lambda the Ultimate
	Introduction to set constraint-based program analysis [My Copy] Sci. Comput. Program., Vol. 35, No. 2-3. (1999), pp. 79-111. by Alexander Aiken posted by 3 people samth NU-PRL zuleger
	Dataless programming [My Copy] In AFIPS '67 (Fall): Proceedings of the November 14-16, 1967, fall joint computer conference (1967), pp. 535-544. by R. M. Balzer posted by 4 people azwinkau akuhn dimvar fgeller
	The status of the P versus NP problem [My Copy] Commun. ACM, Vol. 52, No. 9. (2009), pp. 78-86. by Lance Fortnow posted by 11 people zhensong shtrom knuu naveer sanxiyn jirak perhaad laurap dimvar ajholanda gvdh
	Fully homomorphic encryption using ideal lattices [My Copy] In STOC '09: Proceedings of the 41st annual ACM symposium on Theory of computing (2009), pp. 169-178. by Craig Gentry posted by 9 people akavipat pirapira msakai creswick dimvar dennis2008 jrw sanxiyn sflammia
	A tutorial on (co)algebras and (co)induction [My Copy] EATCS Bulletin, Vol. 62 (1997), pp. 62-222. by Bart Jacobs, Jan Rutten posted by 7 people dimvar ama08r robotact ddemange fvogels draganigajic pedagand
	The design and implementation of typed scheme [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 395-406. by Sam Tobin-Hochstadt, Matthias Felleisen posted by 2 people dimvar fgeller
	On power-law relationships of the Internet topology [My Copy] SIGCOMM Comput. Commun. Rev., Vol. 29, No. 4. (October 1999), pp. 251-262. by Michalis Faloutsos, Petros Faloutsos, Christos Faloutsos posted by 3 people dimvar muraken marcio
	Compiling with Continuations [My Copy] (29 November 1991) by Andrew W. Appel posted by 2 people dimvar mvermaat
	Efficient Context-Sensitive Pointer Analysis for C Programs [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1995), 1. by Robert P. Wilson, Monica S. Lam posted by 2 people dimvar bunge
	Reasoning about Programs in Continuation-Passing Style [My Copy] In Proceedings 1992 ACM Conf.\ on Lisp and Functional Programming, San Francisco, {CA}, {USA}, 22--24 June 1992 (1992), pp. 288-298. by Amr Sabry, Matthias Felleisen posted by 2 people dimvar ds
	The next mainstream programming language: a game developer's perspective [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 269-269. by Tim Sweeney posted by 4 people dimvar janschaefer TU-KL-SoftwareTechnologyGroup ktonon
	Patterns of Software: Tales from the Software Community [My Copy] (01 May 1998) by Richard P. Gabriel posted by 5 people dimvar mfisk awils1 Torsten_Holmer yangxian
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted by 9 people pedagand ddemange dimvar ConcertRG robertjohnsimmons robotact alec AndreasSchropp jonathlela
	A brief history of generative models for power law and lognormal distributions [My Copy] by M. Mitzenmacher posted by 11 people dimvar rcrane scis0000001 bigbossman simba06 bcroy gionis dalab_dsi CARTOON MAML gritzko
	Principles of Program Analysis [My Copy] (07 December 2004) by Flemming Nielson, Hanne R. Nielson, Chris Hankin posted by 7 people dimvar streetlightios michaelbanks yoriyuki marcinzalewski andymaule srccheck
	Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 242-256. by Maryam Emami, Rakesh Ghiya, Laurie J. Hendren posted by 5 people dimvar mercutio plaugg criswell bunge
	The Essence of Compiling with Continuations [My Copy] In Proceedings ACM {SIGPLAN} 1993 Conf.\ on Programming Language Design and Implementation, {PLDI}'93, Albuquerque, {NM}, {USA}, 23--25 June 1993, Vol. 28(6) (1993), pp. 237-247. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted by 6 people derek_farn dimvar croys clconway ds mbrentharp
	A first-order one-pass CPS transformation [My Copy] Theor. Comput. Sci., Vol. 308, No. 1-3. (2003), pp. 239-257. by Olivier Danvy, Lasse R. Nielsen posted by 6 people dimvar jweslley dalev NU-PRL functional programming mvermaat
	Pointer Analysis: Haven't We Solved This Problem Yet? [My Copy] In 2001 ACM {SIGPLAN}-{SIGSOFT} Workshop on Program Analysis for Software Tools and Engineering ({PASTE}'01) (2001) by Michael Hind posted by 10 people dimvar mercutio dherman plaugg jolilius josefs lmorel NU-PRL TUCS-ES_Lab TUCS-KITARA_project
	A Tutorial on Co-induction and Functional Programming [My Copy] In Functional Programming, Glasgow 1994 (1995), pp. 78-95. by Andrew Gordon posted by 2 people dimvar tautologico
	The Zipper [My Copy] Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554. by T. GÉRARD HUE posted by 13 people jcreed robertjohnsimmons dimvar draganigajic yallop kowey jonathlela pedagand functional programming mcclurmc Lambda the Ultimate namin sclv
	Magic sets and other strange ways to implement logic programs (extended abstract) [My Copy] In PODS '86: Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems (1986), pp. 1-15. by Francois Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman posted by 7 people jcreed dimvar abubakaryahaya1 rsaarelm msakai florianfischer dbwz8
	The anatomy of a large-scale hypertextual Web search engine [My Copy] Computer Networks and ISDN Systems, Vol. 30, No. 1--7. (1998), pp. 107-117. by Sergey Brin, Lawrence Page posted by 79 people karhendana dimvar fordparsons adamsi bsandova bundschu kohei-o chrisd takeha-e gogoasa hazen agulli rabourn lior Icequeen ansobol masaka jcaddy toomash ldfu macartisan indratmo rozim zelacerda xxc akrowne derinb michael_zimmer ChaTo schaal vavi fsilvestri jarrodz manastungare MaineC seabay wcohen tolosoft lighttree ddahlem acharlier umurthy donade gane5h merazzle twetering BenediktM sudhanshu_goswami petzel mzygmunt kazama Repton abonchen PaulBHartzog candan rejin tonypia julia-krysztofiak saikrishna ttdevelop Blog_and_Wiki_Research CSCW InformationRetrieval Wikipedia OpenArchive P2P XMLDataManagement VTCS_PIM2006_Annotation VT_DLRL mdrosou jgronski clickstone WebMining votis federicopaoloni drakkos69 dmeister pprett abellogin
	Inferring Disjunctive Postconditions [My Copy] Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues (2008), pp. 331-345. by Corneliu Popeea, Wei-Ngan Chin posted by 1 person zuleger
	The Calculus of Computation: Decision Procedures with Applications to Verification [My Copy] (03 September 2007) by Aaron R. Bradley, Zohar Manna posted by 1 person zuleger
	Super-exponential complexity of Presburger arithmetic [My Copy] Vol. 7 (1974), pp. 27-41. by Michael J. Fischer, Michael J. Fischer, Michael O. Rabin, Michael O. Rabin posted by 1 person zuleger
	Presburger arithmetic with bounded quantifier alternation [My Copy] In STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing (1978), pp. 320-325. by C. R. Reddy, D. W. Loveland posted by 1 person zuleger
	Diophantine Equations, Presburger Arithmetic and Finite Automata [My Copy] In CAAP '96: Proceedings of the 21st International Colloquium on Trees in Algebra and Programming (1996), pp. 30-43. by Alexandre Boudet, Hubert Comon posted by 2 people streetlightios zuleger
	Abstraction techniques for parameterized verification [My Copy] (2006) by Muralidhar Talupur posted by 1 person zuleger
	Environment Abstraction for Parameterized Verification [My Copy] Verification, Model Checking, and Abstract Interpretation (2006), pp. 126-141. by Edmund Clarke, Muralidhar Talupur, Helmut Veith posted by 2 people streetlightios zuleger
	The Discipline of Embedded Systems Design [My Copy] Computer, Vol. 40, No. 10. (October 2007), pp. 32-40. by Thomas A. Henzinger, Joseph Sifakis posted by 1 person zuleger
	Proving non-termination [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 147-158. by Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu posted by 2 people streetlightios zuleger
	Proving Conditional Termination [My Copy] Computer Aided Verification (2008), pp. 328-340. by Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv posted by 1 person zuleger
	CIL: Intermediate language and tools for analysis and transformation of C programs [My Copy] In In International Conference on Compiler Construction, Vol. 2304 (2002), pp. 213-228. by George C. Necula, Scott Mcpeak, S. P. Rahul, Westley Weimer posted by 1 person zuleger
	Program analysis as constraint solving [My Copy] SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 281-292. by Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan posted by 2 people streetlightios zuleger
	Efficient chaotic iteration strategies with widenings [My Copy] In In Proceedings of the International Conference on Formal Methods in Programming and their Applications, Vol. 735 (1993), pp. 128-141. by Francois Bourdoncle posted by 1 person zuleger
	Joining dataflow with predicates [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 30, No. 5. (September 2005), pp. 227-236. by Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar posted by 1 person zuleger
	Analyzing memory accesses in x86 executables [My Copy] In In Comp. Construct (2004), pp. 5-23. by Gogul Balakrishnan, Thomas Reps posted by 1 person zuleger
	Polymorphic predicate abstraction [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 314-343. by Thomas Ball, Todd Millstein, Sriram K. Rajamani posted by 1 person zuleger
	Experience with predicate abstraction [My Copy] (1999), pp. 160-171. by Satyaki Das, David L. Dill posted by 1 person zuleger
	Automatic Predicate Abstraction of C Programs [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani posted by 1 person zuleger
	Boolean and Cartesian abstraction for model checking C programs [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 5, No. 1. (1 November 2003), pp. 49-58. by Thomas Ball, Andreas Podelski, Sriram K. Rajamani posted by 1 person zuleger
	Model Checking Guided Abstraction and Analysis [My Copy] Static Analysis (2000), pp. 377-396. by Hassen Saïdi posted by 1 person zuleger
	Lazy shape analysis [My Copy] In In CAV’2006: Computer Aided Verification, LNCS 4144, Vol. 4144 (2006), pp. 532-546. by Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz posted by 2 people streetlightios zuleger
	Configurable software verification: Concretizing the convergence of model checking and program analysis [My Copy] In In Conf. on Computer Aided Verification (CAV, Vol. 4590 (2007), pp. 504-518. by Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz posted by 1 person zuleger
	Non-termination Checking for Imperative Programs [My Copy] Tests and Proofs (2008), pp. 154-170. by Helga Velroyen, Philipp Rümmer posted by 1 person zuleger
	Control structures in programs and computational complexity [My Copy] Annals of Pure and Applied Logic In Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday, Vol. 133, No. 1-3. (May 2005), pp. 247-273. by Karl-Heinz Niggl posted by 1 person zuleger
	Model checking for programming languages using VeriSoft [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 174-186. by Patrice Godefroid posted by 2 people frdr zuleger
	Techniques for program verification [My Copy] (1980) by Charles G. Nelson posted by 1 person zuleger
	Static analysis of executables to detect malicious patterns [My Copy] In SSYM'03: Proceedings of the 12th conference on USENIX Security Symposium (2003), pp. 12-12. by Mihai Christodorescu, Somesh Jha posted by 2 people HailunTan zuleger
	ESP: path-sensitive program verification in polynomial time [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (2002), pp. 57-68. by Manuvir Das, Sorin Lerner, Mark Seigle posted by 1 person zuleger
	Buffer overrun detection using linear programming and static analysis [My Copy] (2003) by V. Ganapathy, S. Jha, D. Chandler, D. Melski, D. Vitek posted by 1 person zuleger
	Detecting format string vulnerabilities with type qaualifiers [My Copy] In SSYM'01: Proceedings of the 10th conference on USENIX Security Symposium (2001), pp. 16-16. by Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner posted by 1 person zuleger
	Detecting format string vulnerabilities with type qualifiers [My Copy] In SSYM'01: Proceedings of the 10th conference on USENIX Security Symposium (2001), pp. 16-16. by Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner posted by 1 person zuleger
	Lackwit: A program understandingtool based on type inference [My Copy] (1997) by R. O'Callahan, D. Jackson posted by 1 person zuleger
	Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time [My Copy] Logic and Theory of Algorithms (2008), pp. 67-76. by Amir Ben-Amram, Neil Jones, Lars Kristiansen posted by 1 person zuleger
	A Complete Method for the Synthesis of Linear Ranking Functions [My Copy] Verification, Model Checking, and Abstract Interpretation (2004), pp. 465-486. by Andreas Podelski, Andrey Rybalchenko posted by 1 person zuleger
	Systematic Construction of Abstractions for Model-Checking [My Copy] Verification, Model Checking, and Abstract Interpretation (2006), pp. 381-397. by Arie Gurfinkel, Ou Wei, Marsha Chechik posted by 2 people streetlightios zuleger
	Why Waste a Perfectly Good Abstraction? [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2006), pp. 212-226. by Arie Gurfinkel, Marsha Chechik posted by 2 people streetlightios zuleger
	The Static Single Assignment Form and its Computation [My Copy] (1999) by G. Bilardi, K. Pingali posted by 1 person zuleger
	Optimal control dependence computation and the Roman chariots problem [My Copy] ACM Trans. Program. Lang. Syst., Vol. 19, No. 3. (May 1997), pp. 462-491. by Keshav Pingali, Gianfranco Bilardi posted by 1 person zuleger
	ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement [My Copy] Practical Aspects of Declarative Languages (2007), pp. 245-259. by Andreas Podelski, Andrey Rybalchenko posted by 2 people pganty zuleger
	Static detection of dynamic memory errors [My Copy] SIGPLAN Not., Vol. 31, No. 5. (May 1996), pp. 44-53. by David Evans posted by 2 people srccheck zuleger
	Bebop: a path-sensitive interprocedural dataflow engine [My Copy] In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 97-103. by Thomas Ball, Sriram K. Rajamani posted by 2 people shimomura zuleger
	Construction of Abstract State Graphs with PVS [My Copy] In Proc. 9th INternational Conference on Computer Aided Verification ({CAV}'97), Vol. 1254 (1997), pp. 72-83. by S. Graf, H. Saidi edited by O. Grumberg posted by 3 people shimomura newdawn zuleger
	Simplify: a theorem prover for program checking [My Copy] J. ACM, Vol. 52, No. 3. (May 2005), pp. 365-473. by David Detlefs, Greg Nelson, James B. Saxe posted by 3 people dejan sjgaller zuleger
	Abstractions from proofs [My Copy] SIGPLAN Not., Vol. 39, No. 1. (January 2004), pp. 232-244. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. Mcmillan posted by 2 people yuichi0619 zuleger
	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 33-47. by Edmund Clarke, Murali Talupur, Helmut Veith posted by 4 people Scis0000002 streetlightios leonardo zuleger
	The Daikon system for dynamic detection of likely invariants [My Copy] Sci. Comput. Program., Vol. 69, No. 1-3. (2007), pp. 35-45. by Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, et al.Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao posted by 3 people Lewisham embersp zuleger
	Software model checking in practice: an industrial case study [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 431-441. by Satish Chandra, Patrice Godefroid, Christopher Palm posted by 5 people streetlightios msakai keigoi bfraser zuleger
	The ASTREÉ Analyzer [My Copy] Programming Languages and Systems (2005), pp. 21-30. by Patrick Cousot, Radhia Cousot, Jerôme Feret, et al.Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival posted by 3 people srccheck _Anne_ zuleger
	MOPS: an infrastructure for examining security properties of software [My Copy] (2002) by H. Chen, D. Wagner posted by 1 person zuleger
	The software model checker Blast [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525. by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar posted by 6 people zhensong streetlightios uisiong shimomura msakai zuleger
	A static analyzer for finding dynamic programming errors [My Copy] Soft\-waredash Prac\-tice and Experience, Vol. 30, No. 7. (2000), pp. 775-802. by William R. Bush, Jonathan D. Pincus, David J. Sielaff posted by 3 people ronnix srccheck zuleger
	How to read a paper [My Copy] SIGCOMM Comput. Commun. Rev., Vol. 37, No. 3. (July 2007), pp. 83-84. by S. Keshav posted by 15 people wevertoncordeiro dennis2008 jweslley ptony82 Publicase ricardoerikson gerold HailunTan tnhh brogle P2P DHT dmeister muli zuleger
	What’s Decidable About Arrays? [My Copy] Verification, Model Checking, and Abstract Interpretation (2005), pp. 427-442. by Aaron Bradley, Zohar Manna, Henny Sipma posted by 2 people zuleger bunge
	Higher Type Recursion, Ramification and Polynomial Time [My Copy] by S. Bellantoni, K. H. Niggl, H. Schwichtenberg posted by 2 people ds zuleger
	Lazy abstraction [My Copy] SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 58-70. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre posted by 4 people bfraser srccheck olesya zuleger
	CSSV: towards a realistic tool for statically detecting all buffer overflows in C [My Copy] In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (2003), pp. 155-167. by Nurit Dor, Michael Rodeh, Mooly Sagiv posted by 3 people rhishi sharonel22 zuleger
	A system and language for building system-specific, static analyses [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (2002), pp. 69-82. by Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler posted by 5 people dhein1030 pedagand plaugg schuh zuleger
	Automatically validating temporal safety properties of interfaces [My Copy] In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software (2001), pp. 103-122. by Thomas Ball, Sriram K. Rajamani posted by 5 people mercutio bfraser matis newdawn zuleger
	Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation [My Copy] In Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming (1992), pp. 269 -295. by P. Cousot, R. Cousot edited by M. Bruynooghe, M. Wirsing posted by 2 people bunge zuleger
	Model Checking in CLP [My Copy] (1999) by G. Delzanno, A. Podelski posted by 1 person zuleger
	A type and effect system for atomicity [My Copy] In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (2003), pp. 338-349. by Cormac Flanagan, Shaz Qadeer posted by 3 people amorkan brecknell zuleger
	Static Checking of Dynamically Generated Queries in Database Applications [My Copy] In ICSE '04: Proceedings of the 26th International Conference on Software Engineering (2004), pp. 645-654. by Carl Gould, Zhendong Su, Premkumar Devanbu posted by 3 people andymaule keigoi zuleger
	Intermediate-representation recovery from low-level code [My Copy] In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 100-111. by Thomas Reps, Gogul Balakrishnan, Junghee Lim posted by 5 people mercutio keigoi ianwelch j_k zuleger
	Extracting safe and precise control flow from binaries [My Copy] Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on (2000), pp. 23-30. by H. Theiling posted by 3 people flander j_k zuleger
	A First Step towards Automated Detection of Buffer Overrun Vulnerabilities [My Copy] In Network and Distributed System Security Symposium (February 2000), pp. 3-17. by David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken posted by 4 people martink roylee srccheck zuleger
	Term Rewriting and All That [My Copy] (05 August 1999) by Franz Baader, Tobias Nipkow posted by 3 people bulwahn honki zuleger
	A fast algorithm for finding dominators in a flowgraph [My Copy] ACM Trans. Program. Lang. Syst., Vol. 1, No. 1. (July 1979), pp. 121-141. by Thomas Lengauer, Robert E. Tarjan posted by 5 people MatzeB mercutio bunge iff zuleger
	Lazy abstraction [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gr&\#233;goire Sutre posted by 8 people streetlightios rhishi shimomura bec pganty groupverif msakai zuleger
	Type-based race detection for Java [My Copy] In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, Vol. 35, No. 5. (May 2000), pp. 219-232. by Cormac Flanagan, Stephen N. Freund posted by 8 people mcclurmc ama08r web03 bec schuh srccheck newdawn zuleger
	Introduction to Lattices and Order [My Copy] (18 April 2002) by B. A. Davey, H. A. Priestley posted by 8 people hubris streetlightios BarrosH sirvio bunge BenWiedermann brecknell zuleger