khatchad's Top Recommendations

These recommendations were last updated about 6 hours ago.

	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
	A brief survey of program slicing [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 30, No. 2. (March 2005), pp. 1-36. by Baowen Xu, Ju Qian, Xiaofang Zhang, Zhongqiang Wu, Lin Chen posted by 7 people alexloh80 bfraser keigoi scavadini tesissvc alphabetagamma duckysherwood
	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
	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
	Verifying aspect advice modularly [My Copy] In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, Vol. 29, No. 6. (November 2004), pp. 137-146. by Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg posted by 5 people mig29x bfraser schuh rdyer Laboratory for Software Design
	Mining Aspects from Version History [My Copy] In ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06) (2006), pp. 221-230. by Silvia Breu, Thomas Zimmermann posted by 3 people bfraser eabait alphabetagamma
	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
	Feature oriented refactoring of legacy applications [My Copy] In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 112-121. by Jia Liu, Don Batory, Christian Lengauer posted by 8 people alexloh80 andreff Software Product Line jhs06r bfraser leonardo segura ivica
	Separating features in source code: an exploratory study [My Copy] Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on (2001), pp. 275-284. by G. C. Murphy, A. Lai, R. J. Walker, M. P. Robillard posted by 4 people andreff bfraser kklo alphabetagamma
	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
	<italic>N</italic> degrees of separation: multi-dimensional separation of concerns [My Copy] In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 107-119. by Peri Tarr, Harold Ossher, William Harrison, Stanley M. Sutton posted by 6 people leonardo bfraser kklo RalfMitschke rdyer Laboratory for Software Design
	A lightweight LTL runtime verification tool for java [My Copy] In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 306-307. by Eric Bodden posted by 3 people plaugg bfraser KarlKlose
	Collaboration in Software Engineering: A Roadmap [My Copy] Future of Software Engineering, 2007. FOSE '07 In FOSE '07: 2007 Future of Software Engineering (2007), pp. 214-225. by Jim Whitehead posted by 25 people alexloh80 Software-Architecture Method_Engineering_Services jago melisCites ctreude hoever Software Process Improvement igorbandeira karimda chunjean momo54 lucaspanjer CHISEL SEGAL leonardo lanubile aku8000 charoy irwink ecoo-ce ecoo-pe DickSilver jwong nvd_ai
	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 by 10 people taking mattmight zkincaid olegus rakingleaves kklo GeoffWozniak alphabetagamma bfraser zuleger
	Aspect-Oriented Programming [My Copy] In Proceedings European Conference on Object-Oriented Programming, Vol. 1241 (1997), pp. 220-242. by Gregor Kiczales, John Lamping, Anurag Menhdhekar, et al.Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, John Irwin edited by Mehmet Ak\csit, Satoshi Matsuoka posted by 16 people buchgeher cameleon911 neilernst Benet mig29x herraiz bfraser nogara yijunyu steamloom KarlKlose sarvela saintedlama mwlab ps_ttf jstuart1031
	Efficiently mining crosscutting concerns through random walks [My Copy] In AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development (2007), pp. 226-238. by Charles Zhang, Hans-Arno Jacobsen posted by 3 people bfraser alphabetagamma eabait
	Evaluating Aspect Mining Techniques: A Case Study [My Copy] In ICPC '07: Proceedings of the 15th IEEE International Conference on Program Comprehension (2007), pp. 167-176. by Chanchal K. Roy, Mohammad G. Uddin, Banani Roy, Thomas R. Dean posted by 3 people bfraser eabait alphabetagamma
	Bridging the gap between technical and social dependencies with Ariadne [My Copy] In eclipse '05: Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange (2005), pp. 26-30. by Erik Trainer, Stephen Quirk, Cleidson de Souza, David Redmiles posted by 6 people alexloh80 ecoo-pe karimda lucaspanjer CHISEL SEGAL
	Expressive Pointcuts for Increased Modularity [My Copy] ECOOP 2005 - Object-Oriented Programming (2005), pp. 214-240. by Klaus Ostermann, Mira Mezini, Christoph Bockisch posted by 3 people bfraser steamloom KarlKlose
	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
	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
	Automatic generation of suggestions for program investigation [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 (2005), pp. 11-20. by Martin P. Robillard posted by 3 people alexloh80 bfraser fgeller
	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
	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 by 4 people mattmight bfraser schuh yang
	Mining eclipse for cross-cutting concerns [My Copy] In MSR '06: Proceedings of the 2006 international workshop on Mining software repositories (2006), pp. 94-97. by Silvia Breu, Thomas Zimmermann, Christian Lindig posted by 2 people bfraser alphabetagamma
	Using structural context to recommend source code examples [My Copy] Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 117-125. by R. Holmes, G. C. Murphy posted by 6 people akuhn bfraser eduardocruz brunomelo AI RiSE
	Programming with abstract data types [My Copy] SIGPLAN Not. In Proceedings of the ACM SIGPLAN symposium on Very high level languages, Vol. 9, No. 4. (1974), pp. 50-59. by Barbara Liskov, Stephen Zilles posted by 5 people azwinkau akuhn radico bfraser keigoi
	Using natural language program analysis to locate and understand action-oriented concerns [My Copy] In AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development (2007), pp. 212-224. by David Shepherd, Zachary P. Fry, Emily Hill, Lori Pollock, K. Vijay Shanker posted by 3 people akuhn bfraser eabait
	Navigating and querying code without getting lost [My Copy] In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 178-187. by Doug Janzen, Kris De Volder posted by 6 people akuhn duckysherwood tdent KarlKlose jryall-tags CHISEL
	A Survey of Formal Concept Analysis Support for Software Engineering Activities [My Copy] Formal Concept Analysis (2005), pp. 250-271. by Thomas Tilley, Richard Cole, Peter Becker, Peter Eklund posted by 3 people seninp bfraser kklo
	Ownership types for safe programming: preventing data races and deadlocks [My Copy] In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 211-230. by Chandrasekhar Boyapati, Robert Lee, Martin Rinard posted by 7 people fvogels plaugg kiniry amorkan nikomatsakis schuh SRG_at_UCD
	Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants [My Copy] Coordination Models and Languages (2007), pp. 211-230. by Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel posted by 2 people bfraser KarlKlose
	Modular Verification of Open Features Using Three-Valued Model Checking [My Copy] Automated Software Engineering, Vol. 12, No. 3. (July 2005), pp. 349-382. by Harry Li, Shriram Krishnamurthi, Kathi Fisler posted by 4 people dwei98 eduardod bfraser KarlKlose
	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
	Relationship aspects [My Copy] In AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development (2006), pp. 75-86. by David J. Pearce, James Noble posted by 2 people bfraser kklo
	Polymorphic effect systems [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 47-57. by J. M. Lucassen, D. K. Gifford posted by 8 people ama08r assnoodles samth twleung pnkfelix tautologico NU-PRL bfraser
	Kademlia: A Peer-to-Peer Information System Based on the XOR Metric [My Copy] Peer-to-Peer Systems (2002), pp. 53-65. by Petar Maymounkov, David Mazières posted by 9 people bfraser graham BelliOS gexarchakos handsome davcer SRG_at_UCD P2P ahgharaibeh
	Identification of coordination requirements: implications for the Design of collaboration and awareness tools [My Copy] In CSCW '06: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work (2006), pp. 353-362. by Marcelo Cataldo, Patrick A. Wagstrom, James D. Herbsleb, Kathleen M. Carley posted by 24 people JezSw alexloh80 schadr karimda Mandre momo54 markumoto fcalefato charoy pereicoco jkparker lucaspanjer rlai CHISEL Interaction-Design-Research-Division CDG ARC04 SEGAL Braccetto ecoo-ce ecoo-pe MITCCI dnugent RWK
	Towards supporting on-demand virtual remodularization using program graphs [My Copy] In AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development (2006), pp. 3-14. by David Shepherd, Lori Pollock, K. Vijay-Shanker posted by 2 people eabait bfraser
	Domain-specific languages: an annotated bibliography [My Copy] SIGPLAN Not., Vol. 35, No. 6. (June 2000), pp. 26-36. by Arie van Deursen, Paul Klint, Joost Visser posted by 13 people alemhnan cblock darlinton bfraser hamish mig29x jipibanf francoisl keigoi onekin modeling lange RalfMitschke
	Aspect-oriented programming with model checking [My Copy] In AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development (2002), pp. 148-154. by Naoyasu Ubayashi, Tetsuo Tamai posted by 2 people bfraser schuh
	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
	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
	Interference Analysis for AspectJ [My Copy] In Proceedings of workshop FOAL 2003, held in conjunction with AOSD 2003 (2003) by Jens posted by 2 people bfraser schuh
	Exploratory experimental studies comparing online and offline programming performance [My Copy] Commun. ACM, Vol. 11, No. 1. (January 1968), pp. 3-11. by H. Sackman, W. J. Erikson, E. E. Grant posted by 3 people bfraser emerson hawkestein
	A classification system and analysis for aspect-oriented programs [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 29, No. 6. (November 2004), pp. 147-158. by Martin Rinard, Alexandru Salcianu, Suhabe Bugrara posted by 2 people bfraser schuh
	Programs, life cycles, and laws of software evolution [My Copy] Proceedings of the IEEE In Proceedings of the IEEE, Vol. 68, No. 9. (1980), pp. 1060-1076. by M. M. Lehman posted by 3 people andreff martinrytter bfraser
	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
	Expertise browser: a quantitative approach to identifying expertise [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 503-512. by Audris Mockus, James D. Herbsleb posted by 9 people foyzur alexloh80 Scis0000002 palakorn Drexel-HCI Drexel-eVoting lucaspanjer SEGAL CHISEL
	Subject-oriented programming: a critique of pure objects [My Copy] In OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, Vol. 28, No. 10. (October 1993), pp. 411-428. by William Harrison, Harold Ossher posted by 7 people egh mbartsch bfraser RalfMitschke rdyer Laboratory for Software Design davidmathers
	On Coordination Mechanisms in Global Software Development [My Copy] Global Software Engineering, 2007. ICGSE 2007. Second IEEE International Conference on In Global Software Engineering, 2007. ICGSE 2007. Second IEEE International Conference on (2007), pp. 71-80. by Marcelo Cataldo, Matthew Bass, James D. Herbsleb, Len Bass posted by 8 people alexloh80 charoy ecoo-pe karimda lucaspanjer CHISEL SEGAL RWK
	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
	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
	Harvesting social knowledge from folksonomies [My Copy] In HYPERTEXT '06: Proceedings of the seventeenth conference on Hypertext and hypermedia (2006), pp. 111-114. by Harris Wu, Mohammad Zubair, Kurt Maly posted by 115 people vellino alhoori davidleitner nandipati makrehchi dokooh Social computing sebpaquet mboehmer sstose andreacapocci meikipp Social Tagging sylvienoel thegoose nellapower umurthy21 rickl Scis0000002 Semantic-Social-Networks INK-SSCI-SCI@CiteuLike.org INK-SSCI-SCI bfraser christianholz icantador mandexlinger buluzhai denisparra Phanix suleehs brusilovsky khyang3000 draggin rabourn A_Olympia tyfn warters elsantosneto russellbeale sabunome takeha-e wcrosbie jrsinclair sterovetta domenico79 Hoenikker ianturton krisl fpqlibrary avivagabriel jasonfleming73 kowatsch meyoukey scilib3 zzgavin azygmunt turnerp astab starchaser abbyworld bbzpda searchy josepe flavian_vasile simons mattlandau benhockenberry mook3000 rbudiu deleriad azollers bangb abonchen nroovers AlisonBabeu JimFolk ungethym diogomartins aosbat franzkurfess yiling CMU-HCII Philosophy_of_Information Blog_and_Wiki_Research Wikipedia CoP_CMS ETEC533 HCI-Bham CDG social_navigation Web2 uflib AGH-IISG Adaptive-Web CSU_School_of_Education Web2-0_Education hudafarhan connecto2 mryian jfelipe alkal choisyster ffloeck nonsenz bde Social Web fmarquesfilho utsocialsoftware cherhan yousinai drakkos69 Beriel teddyyo rrbarb fabianabel
	Role-based refactoring of crosscutting concerns [My Copy] In AOSD '05: Proceedings of the 4th international conference on Aspect-oriented software development (2005), pp. 135-146. by Jan Hannemann, Gail C. Murphy, Gregor Kiczales posted by 5 people emerson mig29x bfraser kklo mrabick
	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
	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
	Architectural mismatch or why it's hard to build systems out of existing parts [My Copy] In ICSE '95: Proceedings of the 17th international conference on Software engineering (1995), pp. 179-185. by David Garlan, Robert Allen, John Ockerbloom posted by 16 people Scis0000002 hamish lfk jolilius fachri bfraser ddahlem krissp carmaus RalfMitschke TUCS-ES_Lab dIEMoSIRIS MoSi-Rostock buchgeher gvdh ingstrup
	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
	Confessions of a used programming language salesman [My Copy] ACM SIGPLAN Notices In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, Vol. 42, No. 10. (21 October 2007), pp. 677-694. by Erik Meijer posted by 4 people bfraser ama08r RalfMitschke mmakowski
	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
	Adapting virtual machine techniques for seamless aspect support [My Copy] In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2006), pp. 109-124. by Christoph Bockisch, Matthew Arnold, Tom Dinkelaker, Mira Mezini posted by 2 people bfraser steamloom
	$My PDF &\#268;ubrani&\#263;_03_hipikat.pdf$ Hipikat: recommending pertinent software development artifacts [My Copy] In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 408-418. by Davor &\#268;ubrani&\#263;, Gail C. Murphy posted by 8 people pipitone eduardocruz lucaspanjer Scis0000002 CHISEL RiSE SEGAL RWK
	Rabbit: A Compiler for Scheme [My Copy] (1978) by Guy L. Steele posted by 9 people mattmight dimvar samth JeffreyPalmer dsilva calvins eblood NU-PRL bfraser
	Variability management with feature-oriented programming and aspects [My Copy] In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering (2004), pp. 127-136. by Mira Mezini, Klaus Ostermann posted by 3 people andreff bfraser segura
	Applying static analysis to large-scale, multi-threaded Java programs [My Copy] Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 68-75. by C. Artho, A. Biere posted by 3 people plaugg bfraser martink
	Extended static checking for Java [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 234-245. by Cormac Flanagan, Rustan, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata posted by 6 people lesandrop fvogels kiniry schuh SRG_at_UCD zuleger
	DART: directed automated random testing [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 213-223. by Patrice Godefroid, Nils Klarlund, Koushik Sen posted by 15 people bulwahn mbaluda qdw1987 jolilius bec newdawn pfrancis sjgaller Context-driven-testers TUCS-ES_Lab Desgin-by-Contract ahgharaibeh joaoarthurbm bfraser cyph3r
	Comprehending monads [My Copy] In LFP '90: Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 61-78. by Philip Wadler posted by 4 people ama08r bfraser spl keigoi
	Two case studies of open source software development: Apache and Mozilla [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 3. (July 2002), pp. 309-346. by Audris Mockus, Roy T. Fielding, James D. Herbsleb posted by 29 people alexloh80 pipitone scholz Semaphore MRRHead lfk momo54 herraiz coniecto xlazyx lanubile aku8000 charoy pe3 lucaspanjer brothers rcrane rlai CHISEL Sociology NTNU-OSS CDG SEGAL ecoo-ce ecoo-pe MITCCI MASSS jwong jweslley
	Aspect Mining through the Formal Concept Analysis of Execution Traces [My Copy] In WCRE '04: Proceedings of the 11th Working Conference on Reverse Engineering (WCRE'04) (2004), pp. 112-121. by Paolo Tonella, Mariano Ceccato posted by 4 people wtribbey bfraser Scis0000002 eabait
	AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis [My Copy] (20 March 1998) by William J. Brown, Raphael C. Malveau, Thomas J. Mowbray posted by 4 people krpwcz bfraser emerson Starkilla
	An Information Retrieval Approach for Automatically Constructing Software Libraries [My Copy] IEEE Transactions on Software Engineering, Vol. 17, No. 8. (August 1991), pp. 800-813. by Y. S. Maarek, D. M. Berry, G. E. Kaiser posted by 2 people bfraser kapil1312
	Reusable aspect-oriented implementations of concurrency patterns and mechanisms [My Copy] In AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development (2006), pp. 134-145. by Carlos A. Cunha, Ao L. Jo\, Miguel P. Monteiro posted by 3 people martinrytter bfraser klinsz
	Data mountain: using spatial memory for document management [My Copy] In UIST '98: Proceedings of the 11th annual ACM symposium on User interface software and technology (1998), pp. 153-162. by George Robertson, Mary Czerwinski, Kevin Larson, Daniel C. Robbins, David Thiel, Maarten van Dantzich posted by 12 people MarcH akuhn Information Integration Architecture mxro jolilius indratmo lucaspanjer TUCS-ES_Lab CHISEL SEGAL acslab ACS
	Ownership types for object encapsulation [My Copy] In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 213-223. by Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira posted by 8 people samth dsilva jipibanf kiniry schuh NU-PRL onekin SRG_at_UCD
	The Jalape&\#241;o virtual machine [My Copy] IBM Syst. J., Vol. 39, No. 1. (January 2000), pp. 211-238. by B. Alpern, C. R. Attanasio, J. J. Barton, et al.M. G. Burke, P. Cheng, J. D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, J. Whaley posted by 3 people bfraser steamloom cruediger
	Alloy: a lightweight object modelling notation [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 2. (April 2002), pp. 256-290. by Daniel Jackson posted by 6 people sgwyj asilva bfraser leonardo phoenix sjgaller
	Explanation and Prediction: An Architecture for Default and Abductive Reasoning [My Copy] Computational Intelligence, Vol. 5, No. 2. (1989), pp. 97-110. by David Poole posted by 4 people abellogin p2p01 bfraser Scis0000002
	Problem Oriented Software Engineering: Solving the Package Router Control Problem [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 34, No. 2. (2008), pp. 226-241. by J. G. Hall, L. Rapanotti, M. A. Jackson posted by 3 people bfraser asilva leonardo
	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
	Palantir: raising awareness among configuration management workspaces [My Copy] Software Engineering, 2003. Proceedings. 25th International Conference on In Software Engineering, 2003. Proceedings. 25th International Conference on (2003), pp. 444-454. by A. Sarma, Z. Noroozi, A. van der Hoek posted by 9 people lsinger melisCites alexloh80 momo54 irwink ecoo-ce lucaspanjer CHISEL SEGAL
	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
	Evolution patterns of open-source software systems and communities [My Copy] In IWPSE '02: Proceedings of the International Workshop on Principles of Software Evolution (2002), pp. 76-85. by Kumiyo Nakakoji, Yasuhiro Yamamoto, Yoshiyuki Nishinaka, Kouichi Kishida, Yunwen Ye posted by 13 people ecoo-pe karimda jweslley neilernst 4vgacias herraiz YelizEseryel jarkko rvasa lucaspanjer CHISEL SU_FLOSS SEGAL
	Shared waypoints and social tagging to support collaboration in software development [My Copy] In CSCW '06: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work (2006), pp. 195-198. by Margaret A. Storey, Li T. Cheng, Ian Bull, Peter Rigby posted by 15 people ctreude mrjesper creswick ptandler domenico79 teresadaniela lanubile marioscalas dpdearing mook3000 jryall-tags CDG hudafarhan styliani bfraser
	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 5 people lucaspanjer CHISEL SEGAL jago Software-Architecture
	Separating Concerns in Requirements Analysis: An Example [My Copy] Rigorous Development of Complex Fault-Tolerant Systems (2006), pp. 210-225. by Daniel Jackson, Michael Jackson posted by 4 people asilva bfraser leonardo marcia
	Verification of Aspect-UML models using alloy [My Copy] In AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling (2007), pp. 41-48. by Farida Mostefaoui, Julie Vachon posted by 2 people bfraser leonardo
	Design pattern implementation in Java and aspectJ [My Copy] In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2002), pp. 161-173. by Jan Hannemann, Gregor Kiczales posted by 6 people kingjoshdavid bfraser ddahlem klinsz eabait mzp
	The next 700 programming languages [My Copy] Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166. by P. J. Landin posted by 19 people robertjohnsimmons bfraser ConcertRG spl josephholsten brothers RalfMitschke jkominek cedricboidin wnoise mbravenboer pintman bunge yang tov jwm0123 calvins flavian_vasile conal
	Jazzing up Eclipse with collaborative tools [My Copy] In eclipse '03: Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange (2003), pp. 45-49. by Li-Te Cheng, Susanne Hupfer, Steven Ross, John Patterson posted by 5 people alexloh80 lucaspanjer CHISEL SEGAL ctreude
	True and Transparent Distributed Composition of Aspect-Components [My Copy] Middleware 2006 (2006), pp. 42-61. by Bert Lagaisse, Wouter Joosen posted by 2 people cameleon911 bfraser
	Aspects and Formal Methods [My Copy] FM 2008: Formal Methods (2008), pp. 1-11. by Shmuel Katz posted by 2 people leonardo bfraser
	Integrating Model Checking and Theorem Proving for Relational Reasoning [My Copy] Relational and Kleene-Algebraic Methods in Computer Science (2004), pp. 21-33. by Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin Rinard posted by 2 people bfraser leonardo
	The JBoss Extensible Server [My Copy] Middleware 2003 (2003), pp. 997-997. by Marc Fleury, Francisco Reverbel posted by 2 people cameleon911 bfraser
	Hipikat: a project memory for software development [My Copy] Software Engineering, IEEE Transactions on, Vol. 31, No. 6. (2005), pp. 446-465. by D. Cubranic, G. C. Murphy, J. Singer, K. S. Booth posted by 8 people alexloh80 teresadaniela lanubile lucaspanjer GregorSuhr CHISEL CDG SEGAL
	Mining large software compilations over time: another perspective of software evolution [My Copy] In MSR '06: Proceedings of the 2006 international workshop on Mining software repositories (2006), pp. 3-9. by Gregorio Robles, Jesus M. Gonzalez-Barahona, Martin Michlmayr, Juan J. Amor posted by 4 people alexloh80 lucaspanjer CHISEL SEGAL
	Architectures, coordination, and distance: Conway's law and beyond [My Copy] Software, IEEE In Software, IEEE, Vol. 16, No. 5. (September 1999), pp. 63-70. by J. D. Herbsleb, R. E. Grinter posted by 9 people melisCites alexloh80 lgaio MRRHead lfk hhappel lucaspanjer CHISEL SEGAL
	Design Rules, Vol. 1: The Power of Modularity [My Copy] (15 March 2000) by Carliss Y. Baldwin, Kim B. Clark posted by 8 people lgaio hhappel rvasa matsal bfraser germoglio Software-Architecture jago
	Monad transformers and modular interpreters [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones posted by 9 people bulwahn eaubin JacquesC rwtodd cedricboidin oliverh bfraser pile NU-PRL