scavadini's Top Recommendations

These recommendations were last updated about 4 hours ago.

	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted by 36 people ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins SRL SRG_at_UCD complogic mmarcus jimburton Lambda the Ultimate namin dvgb jkominek pedagand
	Time, clocks, and the ordering of events in a distributed system [My Copy] Commun. ACM, Vol. 21, No. 7. (July 1978), pp. 558-565. by Leslie Lamport posted by 40 people kistijantoro raoul1024 parnell pkt michaelbanks henrykploetz rhishi ricardoaraujo verma7 pedagand mercutio egh A_Olympia ejones EasonCheng balicea farrellee pilho mstone muraken rblake ljcamargos fmc abetaha bendiken rlai jfischer JuliusDegesys john_ardelius saintedlama Philosophy_of_Information Blog_and_Wiki_Research uiuc-cs MITCCI mahendra_kutare agupta0318 HenryR NSumner The Atlas Room muli
	An axiomatic basis for computer programming [My Copy] Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580. by C. A. R. Hoare posted by 27 people thermostat bedieber cyph3r ConcertRG robertjohnsimmons hdeyoung mattmight ddemange mrsmond michaelbanks jkominek leonardo rwtodd dsilva jff jbrown rgb calvins flavian_vasile Crypto GraphTheory pileWorks Foundations-of-Programming TMC _Anne_ bfraser zuleger
	Principal type-schemes for functional programs [My Copy] In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212. by Luis Damas, Robin Milner posted by 10 people ddemange mattmight keigoi spl draganigajic tautologico gkuan shimomura pedagand zuleger
	Conceptual Mathematics: A First Introduction to Categories [My Copy] (28 November 1997) by F. William Lawvere, Stephen H. Schanuel posted by 11 people seno ddemange michaelbanks pedagand msakai bonotake NitinCR rgb kaqui incognito pileWorks
	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen edited by N. Jones posted by 23 people samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert NU-PRL jsiek dfisher fgeller jkominek
	Program slicing [My Copy] In ICSE '81: Proceedings of the 5th international conference on Software engineering (1981), pp. 439-449. by Mark Weiser posted by 4 people RWeiss bfraser dfisher duckysherwood
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted by 20 people jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins NU-PRL SRG_at_UCD dfisher americovargas
	Software Architecture in Practice, Second Edition [My Copy] (09 April 2003) by Len Bass, Paul Clements, Rick Kazman posted by 22 people eabait lostcoder michaelbanks gvdh billkidwell cameleon911 plaugg fmatthes MRRHead lfk bkohler jcastaneyra charoy vazquezger hastudillo germoglio Software-Architecture ecoo-pe bagge ingstrup Topper jakobl
	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
	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
	Comprehending Monads [My Copy] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78. by P. L. Wadler posted by 34 people mahler puzza hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins SRG_at_UCD pileWorks cognominal benchambers kazuya hayeah mmarcus donniejones18
	Lisp: Good News, Bad News, How to Win Big [My Copy] (JanuaryMarch~ 1994) by Richard P. Gabriel posted by 6 people ddemange draganigajic hamish bfraser brothers pedagand
	Modeling Erlang in the pi-calculus [My Copy] In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77. by Thomas Noll, Chanchal K. Roy posted by 11 people ama08r tautologico dherman bfraser keigoi tov janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup mcclurmc Lambda the Ultimate
	On the criteria to be used in decomposing systems into modules [My Copy] Commun. ACM, Vol. 15, No. 12. (December 1972), pp. 1053-1058. by D. L. Parnas posted by 44 people thermostat alexloh80 leonardo frangaiz michaelbanks gvdh ingo brothers martinrytter phreeza Method_Engineering_Services jago Software Quality SoftwareEvolutionAndMaintenance Software-Architecture Software_Architecture andreff eabait jonathanbp cameleon911 pridkett hamish kistijantoro lgaio grosskur mbravenboer ddahlem pverstra emerson schuh billkidwell linekin KarlKlose rsantana VRadenovic kklo RalfMitschke saintedlama macc DSTO-CAS buchgeher rdyer Laboratory for Software Design alphabetagamma
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted by 25 people jimburton TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins NU-PRL GroupLens SRL hayeah frej
	A sound type system for secure flow analysis [My Copy] J. Comput. Secur., Vol. 4, No. 2-3. (1996), pp. 167-187. by Dennis Volpano, Cynthia Irvine, Geoffrey Smith posted by 2 people ddemange michaelbanks
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted by 23 people ama08r michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi SRG_at_UCD robotact srccheck jimburton Lambda the Ultimate jasmithoffice shimomura
	A structural approach to operational semantics [My Copy] Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 17-139. posted by 5 people ama08r michaelbanks shimomura keigoi leonardo
	Shape Analysis [My Copy] In Computational Complexity (2000), pp. 1-17. by Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps posted by 3 people mercutio plaugg bunge
	How effective developers investigate source code: an exploratory study [My Copy] Software Engineering, IEEE Transactions on, Vol. 30, No. 12. (2004), pp. 889-903. by M. Robillard, W. Coelho, G. Murphy posted by 9 people emerson mercutio sachac herraiz duckysherwood gameweld smogit jryall-tags utoronto-iml
	Call Graph Construction in Object-Oriented Languages [My Copy] In Conference on Object-Oriented (1997), pp. 108-124. by David Grove, Greg Defouw, Jeffrey Dean, Craig Chambers posted by 3 people mercutio plaugg bunge
	Principles of Secure Information Flow Analysis [My Copy] Malware Detection (2007), pp. 291-307. by Geoffrey Smith posted by 2 people ddemange michaelbanks
	Design Patterns: Elements of Reusable Object-Oriented Software [My Copy] (10 November 1994) by Erich Gamma, Richard Helm, Ralph Johnson, John M. Vlissides posted by 96 people mperalta ehjuerrens ingo laurobeltrao thermostat ekoenig eddymier zhensong mabi shimomura deslocator JavaJoe Information Integration Architecture mxro jvb proborc pverstra mchinen dada42 simmcast martinrytter billkidwell robert85 negola Lewisham BelliOS pprett plaugg fmatthes elsantosneto hmeyer ujh creswick lfk 4vgacias swakefield yish bkohler bfraser ikbeneyal ddahlem dullhunk leomagela eldaly ilya aku8000 ChristianGraf cerkut brady digitaldust elferdo mzygmunt vazquezger GregorSuhr anitabanerji fmc cekay Starkilla francolq xanthos tristan_carel MortMan flobr kklo JuliusDegesys mldechert mavdzee tvolland CVertex flgeyer germoglio Wikipedia mathgamespatterns dtl vds-arg STS OpenVanilla eni localization Software-Architecture contact-id gk-intern Wurlitzer sergiocabrero gvdh agupta0318 srccheck Torsten_Holmer robertlischke eabait GuAlex klinsz sven_luzar poths drakkos69 dmeister
	Using task context to improve programmer productivity [My Copy] In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 1-11. by Mik Kersten, Gail C. Murphy posted by 8 people alexloh80 hawkestein duckysherwood tdent lucaspanjer Scis0000002 CHISEL SEGAL
	Strongly typed heterogeneous collections [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107. by Oleg Kiselyov, Ralf L&\#228;mmel, Keean Schupke posted by 13 people pedagand keigoi JacquesC yallop spl tov iff NU-PRL americovargas msakai marcinzalewski shimomura jimburton
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted by 16 people pedagand draganigajic sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc NU-PRL jimburton Lambda the Ultimate dfisher
	Lazy functional state threads [My Copy] In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted by 11 people ama08r spl fvogels draganigajic twleung dherman greenrd tautologico NU-PRL SRG_at_UCD pedagand
	Linear types can change the world! [My Copy] In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359. by P. Wadler edited by M. Broy, C. Jones posted by 14 people draganigajic dherman JacquesC hamish JeffreyPalmer rwtodd jrw tautologico bfraser robennals ds NU-PRL mcclurmc Lambda the Ultimate
	Tracking Concerns in Evolving Source Code: An Empirical Study [My Copy] In ICSM '06: Proceedings of the 22nd IEEE International Conference on Software Maintenance (2006), pp. 479-482. by Martin P. Robillard posted by 2 people bfraser duckysherwood
	Visualization of test information to assist fault localization [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 467-477. by James A. Jones, Mary J. Harrold, John Stasko posted by 8 people thermostat alexloh80 creswick emerson alec V duckysherwood newdawn
	Maintaining mental models: a study of developer work habits [My Copy] In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 492-501. by Thomas D. Latoza, Gina Venolia, Robert Deline posted by 14 people akuhn ctreude alexloh80 hawkestein birukou duckysherwood scis0000001 aku8000 gameweld lucaspanjer ivica CHISEL SEGAL RWK
	Call graph construction in object-oriented languages [My Copy] In OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 32, No. 10. (October 1997), pp. 108-124. by David Grove, Greg Defouw, Jeffrey Dean, Craig Chambers posted by 4 people mattmight mercutio plaugg kklo
	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
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 23 people ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup mmarcus ps_ttf
	Composing specifications [My Copy] ACM Trans. Program. Lang. Syst., Vol. 15, No. 1. (1993), pp. 73-132. by Mart'in Abadi, Leslie Lamport posted by 3 people ajholanda pedagand michaelbanks
	The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition (2nd Edition) [My Copy] (12 August 1995) by Frederick P. Brooks posted by 31 people muratp1 thermostat smogit robertlischke michaelbanks hamish neilernst carlblesius sga72 cedricboidin KAllendoerfer jolilius gergana_nikolova asilva jjamor aku8000 fsteeg mzygmunt brothers J_Raff kklo turiel germoglio Blog_and_Wiki_Research mgh-lcs TUCS-ES_Lab hst-bmi Software-Architecture bfraser leonardo cmalek
	Composable memory transactions [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60. by Tim Harris, Simon Marlow, Simon P. Jones, Maurice Herlihy posted by 29 people ama08r ConcertRG pwais bhoward fukumori gakincho amp269 fvogels bfraser draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup kazuya pedagand brecknell frej
	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
	Combining self-reported and automatic data to improve programming effort measurement [My Copy] In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 30, No. 5. (September 2005), pp. 356-365. by Lorin Hochstein, Victor R. Basili, Marvin V. Zelkowitz, Jeffrey K. Hollingsworth, Jeff Carver posted by 3 people torapon duckysherwood keigoi
	Dependent Types in Practical Programming [My Copy] In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227. by Howgwei Xi, Frank Pfenning posted by 12 people ama08r talototo darinm draganigajic dherman tautologico bdauvergne radico mstone sclv NU-PRL pedagand
	Symbolic execution and program testing [My Copy] Commun. ACM, Vol. 19, No. 7. (July 1976), pp. 385-394. by James C. King posted by 9 people dimvar U Combinator mattmight qdw1987 srccheck newdawn mercutio gchpaco bfraser
	Automatic predicate abstraction of C programs [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani posted by 4 people mattmight bfraser keigoi msakai
	Debugging reinvented: asking and answering why and why not questions about program behavior [My Copy] In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 301-310. by Andrew J. Ko, Brad A. Myers posted by 3 people alexloh80 swiftwatch duckysherwood
	Answering conceptual queries with Ferret [My Copy] In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 21-30. by Brian de Alwis, Gail C. Murphy posted by 2 people alexloh80 duckysherwood
	On Understanding Types, Data Abstraction, and Polymorphism [My Copy] ACM Computing Surveys, Vol. 17, No. 4. (1985), pp. 471-522. by Luca Cardelli, Peter Wegner posted by 10 people dherman tautologico amorkan lyongu ben_moseley bunge fmc Leho NU-PRL dmeister
	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 249-262. by Geoffrey Washburn, Stephanie Weirich posted by 5 people keigoi dherman eaubin scis0000001 NU-PRL
	How to make ad-hoc polymorphism less ad hoc [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76. by P. Wadler, S. Blott posted by 12 people pedagand draganigajic dherman JacquesC yallop robennals ben_moseley dwehr RalfMitschke NU-PRL complogic jpbernardy
	Program analysis via graph reachability [My Copy] In ILPS '97: Proceedings of the 1997 international symposium on Logic programming (1997), pp. 5-19. by Thomas Reps posted by 4 people khatchad mercutio plaugg alphabetagamma
	A poor man's concurrency monad [My Copy] J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323. by Koen Claessen posted by 8 people jcreed draganigajic dalev keigoi janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup pedagand
	Simple unification-based type inference for GADTs [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted by 7 people keigoi draganigajic spl bringert shimomura mcclurmc pedagand
	Seesoft-A Tool for Visualizing Line Oriented Software Statistics [My Copy] IEEE Trans. Softw. Eng., Vol. 18, No. 11. (November 1992), pp. 957-968. by Stephen G. Eick, Joseph L. Steffen, Eric E. Sumner posted by 5 people ctreude alexloh80 emerson duckysherwood flobr
	Flow graph reducibility [My Copy] In STOC '72: Proceedings of the fourth annual ACM symposium on Theory of computing (1972), pp. 238-250. by Matthew S. Hecht, Jeffrey D. Ullman posted by 3 people mercutio dherman NU-PRL
	Testing flow graph reducibility [My Copy] In STOC '73: Proceedings of the fifth annual ACM symposium on Theory of computing (1973), pp. 96-107. by Robert Tarjan posted by 3 people mercutio dherman NU-PRL
	Pointer analysis: haven't we solved this problem yet? [My Copy] In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 54-61. by Michael Hind posted by 13 people ama08r _Anne_ plaugg pejo wasi salagnac martink linekin keigoi janschaefer Verimag TU-KL-SoftwareTechnologyGroup srccheck
	Program Comprehension During Software Maintenance and Evolution [My Copy] Computer, Vol. 28, No. 8. (August 1995), pp. 44-55. by Anneliese von Mayrhauser, Marie A. Vans posted by 4 people andreff emerson duckysherwood alphabetagamma
	A framework for call graph construction algorithms [My Copy] ACM Trans. Program. Lang. Syst., Vol. 23, No. 6. (November 2001), pp. 685-746. by David Grove, Craig Chambers posted by 3 people mercutio plaugg kklo
	Mining version histories to guide software changes [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 31, No. 6. (11 July 2005), pp. 429-445. by T. Zimmermann, A. Zeller, P. Weissgerber, S. Diehl posted by 11 people akuhn alexloh80 pezi ecoo-pe karimda architect duckysherwood jhkchan lucaspanjer CHISEL SEGAL
	Using programmer-written compiler extensions to catch security holes [My Copy] (May 2002) by K. Ashcraft, D. Engler posted by 4 people mercutio plaugg ronnix srccheck
	Program comprehension as fact finding [My Copy] In ESEC-FSE '07: Proceedings of the 6th joint meeting of the european software engineering conference and the 14th ACM SIGSOFT symposium on Foundations of software engineering (2007), pp. 361-370. by Thomas D. Latoza, David Garlan, James D. Herbsleb, Brad A. Myers posted by 4 people alexloh80 hawkestein duckysherwood mwmarkland
	Dependent Types for Low-Level Programming [My Copy] Programming Languages and Systems (2007), pp. 520-535. by Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George Necula posted by 5 people ddemange HailunTan ama08r jkominek pedagand
	Monads for functional programming [My Copy] In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993) by Philip Wadler edited by ~broy posted by 27 people jimburton jweslley draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins SRL SIG hayeah SamB mmarcus americovargas namin functional programming Lambda the Ultimate pedagand
	Plugging-in visualization: experiences integrating a visualization tool with Eclipse [My Copy] In SoftVis '03: Proceedings of the 2003 ACM symposium on Software visualization (2003), pp. 47-ff. by Rob Lintern, Jeff Michaud, Margaret-Anne Storey, Xiaomin Wu posted by 3 people pnpo buchgeher duckysherwood
	Type and Effect Systems [My Copy] In Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) (1999), pp. 114-136. by Flemming Nielson, Hanne R. Nielson posted by 3 people ddemange ama08r pedagand
	Formal methods: state of the art and future directions [My Copy] ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 626-643. by Edmund M. Clarke, Jeannette M. Wing posted by 9 people mishra_satish michaelbanks richardmitchell GMariano jrw bfraser leonardo RalfMitschke mmuecke
	End-to-end arguments in system design [My Copy] ACM Trans. Comput. Syst., Vol. 2, No. 4. (November 1984), pp. 277-288. by J. H. Saltzer, D. P. Reed, D. D. Clark posted by 14 people hgfernan billkidwell espriggs mercutio muli LittleWood neilc holsy johnfitzpat pedagand HenryR The Atlas Room thong alexras
	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
	FASTDash: a visual dashboard for fostering awareness in software teams [My Copy] In CHI '07: Proceedings of the SIGCHI conference on Human factors in computing systems (2007), pp. 1313-1322. by Jacob T. Biehl, Mary Czerwinski, Greg Smith, George G. Robertson posted by 7 people jtbiehl ctreude alexloh80 cmalek cozytrony momo54 duckysherwood
	Easing program comprehension by sharing navigation data [My Copy] Visual Languages and Human-Centric Computing, 2005 IEEE Symposium on In Visual Languages and Human-Centric Computing, 2005 IEEE Symposium on (2005), pp. 241-248. by R. DeLine, M. Czerwinski, G. Robertson posted by 4 people yurimalheiros akuhn alexloh80 duckysherwood
	Functional unparsing [My Copy] J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625. by Olivier Danvy posted by 7 people ama08r pedagand draganigajic msakai keigoi cognominal spl
	Finding failure-inducing changes in java programs using change classification [My Copy] In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 57-68. by Maximilian Stoerzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip posted by 2 people alexloh80 duckysherwood
	Polymetric views - a lightweight visual approach to reverse engineering [My Copy] Software Engineering, IEEE Transactions on, Vol. 29, No. 9. (2003), pp. 782-795. by M. Lanza, S. Ducasse posted by 3 people alexloh80 duckysherwood klinsz
	Cognitive design elements to support the construction of a mental model during software exploration [My Copy] Journal of Systems and Software, Vol. 44, No. 3. (January 1999), pp. 171-185. by M. Storey, F. Fracchia, H. Muller posted by 7 people mattbiehl buchgeher vineet malenitah2 duckysherwood scis0000001 CHISEL
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted by 11 people samth pedagand draganigajic twleung dherman JacquesC greenrd tov sclv NU-PRL SRG_at_UCD
	What every computer scientist should know about floating-point arithmetic [My Copy] ACM Comput. Surv., Vol. 23, No. 1. (March 1991), pp. 5-48. by David Goldberg posted by 14 people jmmcg gvdh iantunbridge ashwinn mmuecke alucke thang_spsc michaelbanks ansobol mapio bfraser eyliu rabio rstata
	Designing documentation to compensate for delocalized plans [My Copy] Commun. ACM, Vol. 31, No. 11. (November 1988), pp. 1259-1267. by Elliot Soloway, Robin Lampert, Stan Letovsky, David Littman, Jeannine Pinto posted by 5 people emerson robertlischke duckysherwood kklo alphabetagamma
	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
	Predicting source code changes by mining change history [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 30, No. 9. (September 2004), pp. 574-586. by A. T. T. Ying, G. C. Murphy, R. Ng, M. C. Chu-Carroll posted by 3 people seninp duckysherwood alphabetagamma
	Parametric shape analysis via 3-valued logic [My Copy] ACM Trans. Program. Lang. Syst., Vol. 24, No. 3. (May 2002), pp. 217-298. by Mooly Sagiv, Thomas Reps, Reinhard Wilhelm posted by 3 people mattmight bfraser bunge
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by C. Mcbride posted by 10 people ConcertRG robertjohnsimmons mattmight pedagand dherman eaubin zednenem josefs ryanc NU-PRL
	DSL implementation using staging and monads [My Copy] In PLAN '99: Proceedings of the 2nd conference on Domain-specific languages, Vol. 35, No. 1. (January 1999), pp. 81-94. by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic posted by 9 people sourada twleung dherman eaubin JacquesC hamish stagediver keigoi NU-PRL
	$My PDF syst&\#228;_01_shimbamdashan.pdf$ Shimba—an environment for reverse engineering Java software systems [My Copy] Softw. Pract. Exper., Vol. 31, No. 4. (April 2001), pp. 371-394. by Tarja Syst&\#228;, Kai Koskimies, Hausi M&\#252;ller posted by 2 people scis0000001 duckysherwood
	On Evaluation Contexts, Continuations, [My Copy] by O. Danvy posted by 4 people dherman jacob bunge NU-PRL
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted by 4 people draganigajic dherman NU-PRL pedagand
	Simple, fast, and practical non-blocking and blocking concurrent queue algorithms [My Copy] In PODC '96: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing (1996), pp. 267-275. by Maged M. Michael, Michael L. Scott posted by 5 people beete ariels dherman bfraser NU-PRL
	Programming language challenges in systems codes: why systems programmers still use C, and what to do about it [My Copy] In PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems (2006), 9. by Jonathan Shapiro posted by 4 people ama08r leosteinfeld keigoi pedagand
	The temporal logic of actions [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (1994), pp. 872-923. by Leslie Lamport posted by 2 people ajholanda michaelbanks
	Pointcuts and advice in higher-order languages [My Copy] In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 158-167. by David B. Tucker, Shriram Krishnamurthi posted by 7 people twleung dherman plaugg dsilva guyomarj mig29x NU-PRL
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted by 14 people draganigajic twleung dherman greenrd cedricboidin msakai bonotake tov calvins NU-PRL SRG_at_UCD BMeph jimburton Lambda the Ultimate
	Generic unification via two-level types and parameterized modules [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97. by Tim Sheard posted by 5 people draganigajic dalev dherman NU-PRL pedagand
	Views: a way for pattern matching to cohabit with data abstraction [My Copy] In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313. by P. Wadler posted by 9 people pedagand fvogels jimburton samth dherman robennals NU-PRL dfisher spl
	How to write a proof [My Copy] Amer. Math. Monthly, Vol. 102, No. 7. (1995), pp. 600-608. by Leslie Lamport posted by 10 people reconnie michaelbanks kevinstuttgard pedagand ansobol dsquared ddahlem pverstra vrv macc
	Growing a Language [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236. by Guy Steele posted by 14 people azwinkau akuhn onierstrasz samth dherman JacquesC hamish bfraser ryanc tov calvins NU-PRL danlentz dmeister
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted by 11 people ama08r dherman JacquesC greenrd cedricboidin zednenem msakai bonotake NU-PRL SRG_at_UCD mcclurmc
	Data flow analysis is model checking of abstract interpretations [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 38-48. by David A. Schmidt posted by 8 people streetlightios eaubin wasi Mikejones msakai bunge keigoi zuleger
	The Small-World Phenomenon: An Algorithmic Perspective [My Copy] In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000) by Jon Kleinberg posted by 50 people ariels pirapira semantic01 brewbooks mhofree sototozo pick600 camster mercutio korakot twleung A_Olympia khop01 ansobol macartisan jrw xxc zqshen nkorf rahul srinaths lyongu ddahlem scis0000001 bigbossman merazzle jwdietrich pcchen001 luk jpah deysandeep furykerry Philosophy_of_Information dbk-lab Blog_and_Wiki_Research GraphVis Semantic-Social-Networks Wikipedia SRL Cybernetics oktave-labs Community_SSTZ gvdh Social Web casst122 mpotamias kaks paulovn pedagand wangjava
	Stuff I've seen: a system for personal information retrieval and re-use [My Copy] In SIGIR '03: Proceedings of the 26th annual international ACM SIGIR conference on Research and development in informaion retrieval (2003), pp. 72-79. by Susan Dumais, Edward Cutrell, J. J. Cadiz, Gavin Jancke, Raman Sarin, Daniel C. Robbins posted by 47 people ianturton lzhlynn maximzhao rupachile pcchang85 dbonino Mandre ssn tyfn leei vanesam tstrohman jolilius indratmo amygdala alisonruth sachac semiot manuelpq duckysherwood mdpriya djharper dingdeng kaz24 davidmihalcik krisjack pilho Rootfruit dvallet AStevenson lillejul codex Scis0000002 pprett Blog_and_Wiki_Research TUCS-ES_Lab ubc-ucl utoronto-iml ETEC533 Usable_Security SITCRC NETS-UAM Adaptive-Web L3S yenching eoh fryanpan
	Untraceable electronic mail, return addresses, and digital pseudonyms [My Copy] Commun. ACM, Vol. 24, No. 2. (February 1981), pp. 84-90. by David L. Chaum posted by 5 people DrPoldo alexloh80 pcamacho michaelbanks p2p-sec
	Theory and practice of constraint handling rules [My Copy] The Journal of Logic Programming, Vol. 37, No. 1-3. (12 October 1998), pp. 95-138. by Thom Fruhwirth posted by 4 people fdr msakai keigoi bfraser
	Uniprocessor Garbage Collection Techniques [My Copy] In Proc.\ Int.\ Workshop on Memory Management, No. 637. (1992) by Paul R. Wilson posted by 5 people mercutio dsilva bunge dyoo mwmarkland