mercutio's Top Recommendations

These recommendations were last updated about an hour ago.

	Small worlds: The structure of social networks [My Copy] by M. Newman posted by 20 people jaspervoskuilen thegoose korakot A_Olympia momonga sachac tea4two scottmoody eldaly ianturton merazzle fuzzy7761 azygmunt Philosophy_of_Information Blog_and_Wiki_Research IS-Lab utoronto-iml semantic-multicast-routing ARTI AGH-IISG
	Small-world phenomena and the dynamics of information [My Copy] (2001) by J. Kleinberg posted by 18 people dcombe korakot vaasu srinaths merazzle jwdietrich fuzzy7761 sugarexpletive ransombriggs Philosophy_of_Information Blog_and_Wiki_Research MathBio Netmob P2P Cybernetics Biomedical_Cybernetics oktave-labs AQUA-FONTIS-Study
	Clustering and preferential attachment in growing networks [My Copy] (11 April 2001) by M. E. J. Newman posted by 5 people korakot mague fuzzy7761 Philosophy_of_Information Blog_and_Wiki_Research
	The structure and function of complex networks [My Copy] (2003) by M. Newman posted by 35 people rrbarb thegoose conservatism dylanwalker aalves complex networks orahcio camster korakot arkas Borelli jhammerb cmm scis0000001 bigbossman merazzle fuzzy7761 cerkut rchauhan graphminer xinian dowlingj rsantana ltabourier sparikh ransombriggs pprett Philosophy_of_Information dbk-lab Blog_and_Wiki_Research UoA_ODT FAB-lab contact-id paulovn pdlug
	Complexity vs stability in small-world networks [My Copy] (24 July 2004) by Sitabhra Sinha posted by 22 people nettraq korakot sccook annagold tglaisyer rasca barry jrw zqshen rvasa lyongu cwoodward scottmoody balicea fuzzy7761 Philosophy_of_Information Blog_and_Wiki_Research structural_bioinformatics GraphVis Bioinformatics semantic-multicast-routing DickSilver
	Shortest paths and load scaling in scale-free trees. [My Copy] Phys Rev E Stat Nonlin Soft Matter Phys, Vol. 69, No. 3 Pt 2. (March 2004) by B. Bollobás, O. Riordan posted by 10 people camster korakot lyongu scottmoody scis0000001 fuzzy7761 Philosophy_of_Information dbk-lab Blog_and_Wiki_Research semantic-multicast-routing
	Optimization in Complex Networks [My Copy] (2001) by R. Cancho, R. Sole posted by 2 people fuzzy7761 rchauhan
	Some analyses of Erdos collaboration graph [My Copy] Social Networks, Vol. 22, No. 2. (May 2000), pp. 173-186. by Vladimir Batagelj, Andrej Mrvar posted by 2 people cmmorel fuzzy7761
	Trusted Agent-Mediated E-Commerce Transaction Services via Digital Certificate Management [My Copy] Electronic Commerce Research, Vol. 3, No. 3-4. (2003), pp. 221-243. by Yuh-Jong Hu posted by 3 people ddahlem fuzzy7761 votis
	Fault-tolerant routing in peer-to-peer systems [My Copy] (22 Jun 2003) by James Aspnes, Zoe Diamadi, Gauri Shah posted by 3 people elebhar henningpeters fuzzy7761
	An Empirical Investigation into the Structure of Bidding in Online Auctions [My Copy] Electronic Markets, Vol. 15, No. 3. (2005), pp. 261-268. by Arun Vishwanath, George Barnett posted by 1 person fuzzy7761
	The Future of B2C E-Commerce [My Copy] Electronic Markets, Vol. 15, No. 3. (2005), pp. 269-282. by Siegfried Numberger, Carsten Rennhak posted by 3 people maike fuzzy7761 votis
	Exact solution of site and bond percolation on small-world networks [My Copy] (2000) by C. Moore posted by 4 people A_Olympia fuzzy7761 Philosophy_of_Information Blog_and_Wiki_Research
	Causes of Disputes in Online Auctions [My Copy] Electronic Markets, Vol. 15, No. 2. (May 2005), pp. 146-157. by Ian Macinnes posted by 1 person fuzzy7761
	Visualizing Online Auctions [My Copy] Journal of Computational & Graphical Statistics, Vol. 14, No. 2. (June 2005), pp. 299-319. by Galit Shmueli, Wolfgang Jank posted by 2 people scis0000001 fuzzy7761
	Scale-free characteristics of random networks: the topology of the world-wide web [My Copy] Physica A: Statistical Mechanics and its Applications, Vol. 281, No. 1-4. (15 June 2000), pp. 69-77. by Albert-Laszlo Barabasi, Reka Albert, Hawoong Jeong posted by 7 people pick600 ldfu KAllendoerfer tolosoft muraken fuzzy7761 kb
	Simultaneous Independent Online Auctions with Discrete Bid Increments [My Copy] Electronic Commerce Research, Vol. 5, No. 2. (April 2005), pp. 181-201. by Vipul Bansal, Rahul Garg posted by 1 person fuzzy7761
	Small Worlds: The Dynamics of Networks between Order and Randomness (Princeton Studies in Complexity) [My Copy] (24 November 2003) by Duncan J. Watts posted by 24 people suleehs brusilovsky makrehchi Adso wtsst7 theus beete A_Olympia voiklis fuzzy7761 eairoldi mbelinky abonchen PaulBHartzog ransombriggs JimFolk ganden Philosophy_of_Information Blog_and_Wiki_Research ETEC533 ColDyn CSU_School_of_Education Web2-0_Education colleenmacklin
	The Value of Reputation on eBay: A Controlled Experiment [My Copy] (2003) by P. Resnick, R. Zeckhauser, J. Swanson, K. Lockwood posted by 15 people alhoori devzero tglaisyer nazareno mcarrier69 ericw akrowne bj Ewan_Pohe ht fuzzy7761 kingsunshine Blog_and_Wiki_Research Bible_and_Theology sengcy
	Structural properties of scale free networks [My Copy] (2002) by R. Cohen, D. Avraham, S. Havlin posted by 4 people Nichtich fuzzy7761 rchauhan tomhebbron
	ADVERSE SELECTION IN ELECTRONIC MARKETS: EVIDENCE FROM ONLINE STAMP AUCTIONS [My Copy] Journal of Industrial Economics, Vol. 52, No. 4., 497. by Sanjeev Dewan, Vernon Hsu posted by 1 person fuzzy7761
	Controlling the spreading in small-world networks [My Copy] (22 July 2004) by Xiang Li, Guanrong Chen posted by 3 people nettraq fuzzy7761 Philosophy_of_Information
	An approach for tracing and understanding asynchronous architectures [My Copy] Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 318-322. by S. A. Hendrickson, E. M. Dashofy, R. N. Taylor posted by 1 person plaugg
	Module Dependences in Software Design [My Copy] : Radical Innovations of Software and Systems Engineering in the Future (2004), pp. 198-203. by Daniel Jackson posted by 2 people plaugg KarlKlose
	Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model [My Copy] IEEE Trans. Softw. Eng., Vol. 21, No. 4. (April 1995), pp. 373-386. by Paola Inverardi, Alexander L. Wolf posted by 1 person plaugg
	Variability management with feature-oriented programming and aspects [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 29, No. 6. (November 2004), pp. 127-136. by Mira Mezini, Klaus Ostermann posted by 1 person plaugg
	Representing concerns in source code [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 1. (February 2007), 3. by Martin P. Robillard, Gail C. Murphy posted by 11 people andreff dhein1030 eabait plaugg oscar hawkestein maike kklo jryall-tags onekin buchgeher
	Improving system dependability by enforcing architectural intent [My Copy] In WADS '05: Proceedings of the 2005 workshop on Architecting dependable systems (2005), pp. 1-7. by Marwan A. Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas, Tony Tseng posted by 4 people dhein1030 plaugg vazquezger Software-Architecture
	Incremental Maintenance of Software Artifacts [My Copy] In ICSM '05: Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05) (2005), pp. 113-122. by Steven P. Reiss posted by 1 person plaugg
	Meta-programming Grey-box Connectors [My Copy] (2000) by U. Amann, T. Genler, H. Bar posted by 3 people plaugg vazquezger Software-Architecture
	Tool Support for Object-Oriented Patterns [My Copy] Lecture Notes in Computer Science, Vol. 1241 (1997), pp. 472-??. by Gert Florijn, Marco Meijers, Pieter van Winsen posted by 1 person plaugg
	Scalable error detection using boolean satisfiability [My Copy] SIGPLAN Not., Vol. 40, No. 1. (January 2005), pp. 351-363. by Yichen Xie, Alex Aiken posted by 2 people plaugg srccheck
	Specifying framework constraints with FCL [My Copy] In CASCON '04: Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research (2004), pp. 96-110. by Daqing Hou, James H. Hoover, Piotr Rudnicki posted by 1 person plaugg
	Two controlled experiments assessing the usefulness of design pattern information during program maintenance [My Copy] (1998) by L. Prechelt, B. Unger, M. Philippsen, W. Tichy posted by 2 people plaugg duckysherwood
	Fast exact minimization of BDDs [My Copy] In DAC '98: Proceedings of the 35th annual conference on Design automation (1998), pp. 200-205. by Rolf Drechsler, Nicole Drechsler, Wolfgang G&\#252;nther posted by 1 person plaugg
	Improving the variable ordering of OBDDs is NP-complete [My Copy] Computers, IEEE Transactions on, Vol. 45, No. 9. (1996), pp. 993-1002. by B. Bollig, I. Wegener posted by 1 person plaugg
	Software reflexion models: bridging the gap between design and implementation [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 27, No. 4. (April 2001), pp. 364-380. by G. C. Murphy, D. Notkin, K. J. Sullivan posted by 9 people Software-Architecture germoglio PaperSeeker alexloh80 plaugg pverstra macc buchgeher JavaJoe
	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
	Statically Scanning Java Code: Finding Security Vulnerabilities [My Copy] IEEE Softw., Vol. 17, No. 5. (September 2000), pp. 68-74. by John Viega, Gary Mcgraw, Tom Mutdosch, Edward W. Felten posted by 1 person plaugg
	Identifying modules via concept analysis [My Copy] In ICSM '97: Proceedings of the International Conference on Software Maintenance (1997), pp. 170-179. by Michael Siff, Thomas W. Reps posted by 1 person plaugg
	Is Software Quality Visible in the Code? [My Copy] IEEE Softw., Vol. 15, No. 4. (July 1998), pp. 69-73. by S&\#248;ren Lauesen, Houman Younessi posted by 1 person plaugg
	Design Recovery by Automated Search for Structural Design Patterns in Object-Oriented Software [My Copy] In WCRE '96: Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96) (1996) by Christian Kramer, Lutz Prechelt posted by 1 person plaugg
	A syntactic theory of software architecture [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 21, No. 4. (1995), pp. 302-313. by T. R. Dean, J. R. Cordy posted by 4 people Software-Architecture germoglio plaugg klinsz
	Monitoring compliance of a software system with its high-level design models [My Copy] In ICSE '96: Proceedings of the 18th international conference on Software engineering (1996), pp. 387-396. by Mohlalefi Sefika, Aamod Sane, Roy H. Campbell posted by 1 person plaugg
	Diagnosing architectural degeneration [My Copy] Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard (2003), pp. 137-142. by L. Hochstein, M. Lindvall posted by 1 person plaugg
	Software reflexion models: bridging the gap between source and high-level models [My Copy] In SIGSOFT '95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering (1995), pp. 18-28. by Gail C. Murphy, David Notkin, Kevin Sullivan posted by 4 people Software-Architecture germoglio pnpo plaugg
	Lightweight extraction of object models from bytecode [My Copy] In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 194-202. by Daniel Jackson, Allison Waingold posted by 1 person plaugg
	Playing Detective: Reconstructing Software Architecture from Available Evidence [My Copy] Automated Software Engg., Vol. 6, No. 2. (April 1999), pp. 107-138. by Rick Kazman, Jeromy S. Carri&\#232;re posted by 1 person plaugg
	Lightweight extraction of object models from bytecode [My Copy] Software Engineering, IEEE Transactions on, Vol. 27, No. 2. (2001), pp. 156-169. by D. Jackson, A. Waingold posted by 1 person plaugg
	Micro patterns in Java code [My Copy] SIGPLAN Not., Vol. 40, No. 10. (October 2005), pp. 97-116. by Joseph (. Gil, Itay Maman posted by 2 people plaugg klinsz
	An infrastructure for the rapid development of XML-based architecture description languages [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 266-276. by Eric M. Dashofy, Andr&\#233; van der Hoek, Richard N. Taylor posted by 2 people viveknallur plaugg
	Typestate: A programming language concept for enhancing software reliability [My Copy] IEEE Trans. Softw. Eng., Vol. 12, No. 1. (January 1986), pp. 157-171. by R. E. Strom, S. Yemini posted by 1 person plaugg
	Generalized typestate checking using set interfaces and pluggable analyses [My Copy] SIGPLAN Not., Vol. 39, No. 3. (March 2004), pp. 46-55. by Patrick Lam, Viktor Kuncak, Martin Rinard posted by 1 person plaugg
	Coping with Crosscutting Software Changes Using Information Transparency [My Copy] In REFLECTION '01: Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (2001), pp. 250-265. by William G. Griswold posted by 1 person plaugg
	Should architectural principles be enforced? [My Copy] Computer Security, Dependability and Assurance: From Needs to Solutions, 1998. Proceedings (1998), pp. 89-102. by N. H. Minsky posted by 3 people plaugg pverstra macc
	Obvious or not?: regulating architectural decisions using aspect-oriented programming [My Copy] In AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development (2002), pp. 3-9. by Mati Shomrat, Amiram Yehudai posted by 1 person plaugg
	DiscoTect: a system for discovering architectures from running systems [My Copy] Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 470-479. by Hong Yan, D. Garlan, B. Schmerl, J. Aldrich, R. Kazman posted by 4 people plaugg hastudillo JavaJoe jakobl
	ArchJava: connecting software architecture to implementation [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 187-197. by Jonathan Aldrich, Craig Chambers, David Notkin posted by 5 people arad jweslley plaugg janschaefer TU-KL-SoftwareTechnologyGroup
	Alice: Modularization of Middleware Using Aspect-Oriented Programming [My Copy] Lecture Notes in Computer Science, Vol. 3437 (January 2005), pp. 47-63. by Michael Eichberg, Mira Mezini posted by 1 person plaugg
	Continuous code-quality assurance with SAFE [My Copy] In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 145-149. by Emmanuel Geay, Eran Yahav, Stephen Fink posted by 2 people plaugg schuh
	SABER: smart analysis based error reduction [My Copy] In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 29, No. 4. (July 2004), pp. 243-251. by Darrell Reimer, Edith Schonberg, Kavitha Srinivas, et al.Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved posted by 2 people plaugg schuh
	Compositional pointer and escape analysis for Java programs [My Copy] ACM SIG\-PLAN Notices, Vol. 34, No. 10. (1999), pp. 187-206. by John Whaley, Martin Rinard posted by 5 people plaugg salagnac schuh yang Verimag
	Java access protection through typing [My Copy] Concurrency and Computation: Prac\-tice and Experience, Vol. 13, No. 13. (2001), pp. 1125-1132. by Eva Rose, Kristoffer H. Rose posted by 2 people plaugg schuh
	Extending Java for package based access control [My Copy] In ACSAC '00: Proceedings of the 16th Annual Computer Security Applications Conference (2000) by M. Papa, O. Bremer, R. Chandia, J. Hale, S. Shenoi posted by 2 people plaugg schuh
	Mixin-based inheritance [My Copy] SIGPLAN Not., Vol. 25, No. 10. (October 1990), pp. 303-311. by Gilad Bracha, William Cook posted by 1 person plaugg
	Public versus published interfaces [My Copy] Software, IEEE, Vol. 19, No. 2. (2002), pp. 18-19. by M. Fowler posted by 1 person plaugg
	Automatic verification of design patterns in Java [My Copy] In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 224-232. by Alex Blewitt, Alan Bundy, Ian Stark posted by 3 people Desgin-by-Contract sjgaller plaugg
	Javari: adding reference immutability to Java [My Copy] In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 40, No. 10. (October 2005), pp. 211-230. by Matthew S. Tschantz, Michael D. Ernst posted by 6 people greenrd plaugg nikomatsakis schuh pjdonald SRG_at_UCD
	Finding application errors and security flaws using PQL: a program query language [My Copy] In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 40, No. 10. (October 2005), pp. 365-383. by Michael Martin, Benjamin Livshits, Monica S. Lam posted by 5 people akuhn dhein1030 qdw1987 plaugg schuh
	Incrementalized pointer and escape analysis [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 35-46. by Fr&\#233;d&\#233;ric Vivien, Martin Rinard posted by 3 people plaugg schuh yang
	Iterate, incrementalize, and implement: A systematic approach to efficiency improvement and guarantees [My Copy] by Yanhong A. Liu posted by 1 person plaugg
	Principles of Program Analysis [My Copy] (1999) by Flemming Nielson, Hanne R. Nielson, Chris Hankin posted by 3 people dvanhorn plaugg zuleger
	Static analysis and computer security: new techniques for software assurance [My Copy] (2000) by David A. Wagner posted by 1 person plaugg
	A Type-Based Approach to Program Security [My Copy] In TAPSOFT '97: Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (1997), pp. 607-621. by Dennis M. Volpano, Geoffrey Smith posted by 4 people ddemange plaugg scavadini tesissvc
	Static enforcement of security with types [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 34-45. by Christian Skalka, Scott Smith posted by 1 person plaugg
	A Comparison of Bug Finding Tools for Java [My Copy] In ISSRE '04: Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE'04) (2004), pp. 245-256. by Nick Rutar, Christian B. Almazan, Jeffrey S. Foster posted by 1 person plaugg
	Program Flow Analysis: Theory and Applications (Prentice-Hall Software Series) [My Copy] by Steven S. Muchnick, Neil D. Jones posted by 3 people plaugg pganty groupverif
	Analysis and testing of programs with exception handling constructs [My Copy] Software Engineering, IEEE Transactions on, Vol. 26, No. 9. (2000), pp. 849-871. by S. Sinha, M. J. Harrold posted by 1 person plaugg
	Bugs as deviant behavior: a general approach to inferring errors in systems code [My Copy] In SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles, Vol. 35, No. 5. (December 2001), pp. 57-72. by Dawson Engler, David Y. Chen, Seth Hallem, Andy Chou, Benjamin Chelf posted by 8 people laurobeltrao plaugg elsantosneto epaulson martink lucaspanjer CHISEL SEGAL
	Extended static checking for Java [My Copy] SIGPLAN Not., Vol. 37, No. 5. (May 2002), pp. 234-245. by Cormac Flanagan, Rustan, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata posted by 2 people plaugg martink
	Detecting Format String Vulnerabilities with Type Qualifiers [My Copy] Security '01 by Umesh, David Wagner posted by 2 people plaugg martink
	Evaluating and tuning a static analysis to find null pointer bugs [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 31, No. 1. (January 2006), pp. 13-19. by David Hovemeyer, Jaime Spacco, William Pugh posted by 2 people plaugg martink
	Statically Detecting Likely Buffer Overflow Vulnerabilities [My Copy] Security '01 posted by 2 people plaugg martink
	Using programmer-written compiler extensions to catch security holes [My Copy] Security and Privacy, 2002. Proceedings. 2002 IEEE Symposium on (2002), pp. 143-159. by K. Ashcraft, D. Engler posted by 4 people plaugg martink neilc krisn11
	Automatically Hardening Web Applications Using Precise Tainting [My Copy] by Anh N. Tuong, Salvatore Guarnieri, Doug Greene, Jeff Shirley, David Evans posted by 2 people plaugg martink
	Static analysis for security [My Copy] Security & Privacy Magazine, IEEE, Vol. 2, No. 6. (2004), pp. 76-79. by B. Chess, G. Mcgraw posted by 3 people plaugg tmende martink
	A highly-extensible, XML-based architecture description language [My Copy] Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on (2001), pp. 103-112. by E. M. Dashofy, A. van der Hoek, R. N. Taylor posted by 3 people plaugg pongle hastudillo
	Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java [My Copy] In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 73-79. by Donglin Liang, Maikel Pennings, Mary J. Harrold posted by 2 people plaugg andymaule
	Improving security using extensible lightweight static analysis [My Copy] Software, IEEE, Vol. 19, No. 1. (2002), pp. 42-51. by D. Evans, D. Larochelle posted by 6 people knowlengr rnsanchez plaugg tmende martink criswell
	Checking ownership and confinement [My Copy] Concurrency and Computation: Practice and Experience, Vol. 16, No. 7. (27 April 2004), pp. 671-687. by Alex Potanin, James Noble, Robert Biddle posted by 3 people plaugg salagnac Verimag
	Confined types in Java [My Copy] Softw. Pract. Exper., Vol. 31, No. 6. (May 2001), pp. 507-532. by Jan Vitek, Boris Bokowski posted by 2 people plaugg schuh
	A practical type system and language for reference immutability [My Copy] In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 39, No. 10. (October 2004), pp. 35-49. by Adrian Birka, Michael D. Ernst posted by 4 people plaugg kiniry schuh SRG_at_UCD
	An Introduction to Software Architecture [My Copy] (1994) by David Garlan, Mary Shaw posted by 10 people ekoenig alexloh80 gvdh plaugg lfk stagediver hastudillo RalfMitschke germoglio DSD-Lab
	Searching for points-to analysis [My Copy] Software Engineering, IEEE Transactions on, Vol. 29, No. 10. (2003), pp. 883-897. by G. Bruns, S. Chandra posted by 1 person plaugg
	A practical framework for demand-driven interprocedural data flow analysis [My Copy] ACM Trans. Program. Lang. Syst., Vol. 19, No. 6. (November 1997), pp. 992-1030. by Evelyn Duesterwald, Rajiv Gupta, Mary L. Soffa posted by 1 person plaugg
	Unification-based pointer analysis with directional assignments [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. 35-46. by Manuvir Das posted by 1 person plaugg
	Ultra-fast aliasing analysis using CLA: a million lines of C code in a second [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 254-263. by Nevin Heintze, Olivier Tardieu posted by 1 person plaugg
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted by 17 people Scis0000002 fvogels draganigajic greenrd plaugg yallop thsutton voigt mahler KarlKlose Rightscom SRG_at_UCD mcclurmc robotact jimburton Lambda the Ultimate americovargas
	Alias analysis on type inference for class hierarchy in Java [My Copy] Computer Science Conference, 2001. ACSC 2001. Proceedings. 24th Australasian (2001), pp. 206-214. by J. Woo, I. Attali, D. Caromel, J. L. Gaudiot, A. L. Wendelborn posted by 1 person plaugg
	Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis [My Copy] Lecture Notes in Computer Science, Vol. 952 (1995), pp. 77-101. by Jeffrey Dean, David Grove, Craig Chambers posted by 2 people plaugg bunge