nikomatsakis's Top Recommendations

These recommendations were last updated about an hour ago.

	Idioms in Ovm [My Copy] by C. Flack, T. Hosking, J. Vitek posted by 1 person pjdonald
	Some practical considerations for object-oriented programming on distributed memory parallel computers [My Copy] (1995), pp. 295-313. by Mike Livesey, Colin Allison posted by 1 person pjdonald
	Evolution of a java just-in-time compiler for IA-32 platforms [My Copy] IBM J. Res. Dev., Vol. 48, No. 5/6. (2004), pp. 767-795. by T. Suganuma, T. Ogasawara, K. Kawachiya, et al.M. Takeuchi, K. Ishizaki, A. Koseki, T. Inagaki, T. Yasue, M. Kawahito, T. Onodera, H. Komatsu, T. Nakatani posted by 1 person pjdonald
	Adaptive overload control for busy internet servers [My Copy] (2003) by M. Welsh, D. Culler posted by 1 person pjdonald
	Why events are a bad idea for high-concurrency servers [My Copy] (2003) by R. von Behren, J. Condit, E. Brewer posted by 1 person pjdonald
	An implementation of scheduler activations on the netbsd operating system [My Copy] (2002) by N. Williams posted by 1 person pjdonald
	Virtualization Considered Harmful: OS Design Directions for Well-Conditioned Services [My Copy] (2001), pp. 139-146. by M. Welsh, D. Culler posted by 1 person pjdonald
	Flash: An efficient and portable Web server [My Copy] In Proceedings of the USENIX 1999 Annual Technical Conference (1999) by Vivek S. Pai, Peter Druschel, Willy Zwaenepoel posted by 1 person pjdonald
	On the duality of operating system structures [My Copy] SIGOPS Oper. Syst. Rev., Vol. 13, No. 2. (April 1979), pp. 3-19. by Hugh C. Lauer, Roger M. Needham posted by 3 people pedagand yang pjdonald
	Towards preserving correctness in self-managed software systems [My Copy] In WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems (2004), pp. 34-38. by Lieven Desmet, Nico Janssens, Sam Michiels, Frank Piessens, Wouter Joosen, Pierre Verbaeten posted by 3 people Qin pjdonald Rigi
	Self-adapting concurrency: the DMonA architecture [My Copy] In WOSS '02: Proceedings of the first workshop on Self-healing systems (2002), pp. 43-48. by Sam Michiels, Lieven Desmet, Nico Janssens, Tom Mahieu, Pierre V. Distrinet posted by 3 people Qin pjdonald Rigi
	SEDA: An Architecture for Well-Conditioned, Scalable Internet Services [My Copy] In Symposium on Operating Systems Principles (2001), pp. 230-243. by Matt Welsh, David E. Culler, Eric A. Brewer posted by 6 people mozilla_rc pdlug fmc pjdonald mdwelsh jfischy
	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
	Efficiently computing static single assignment form and the control dependence graph [My Copy] ACM Trans. Program. Lang. Syst., Vol. 13, No. 4. (October 1991), pp. 451-490. by Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, Kenneth F. Zadeck posted by 11 people pbiggar michael_hliao RWeiss plaugg pejo martink pjdonald srccheck olesya sby zuleger
	Capriccio: scalable threads for internet services [My Copy] In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 268-281. by Rob v. von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric Brewer posted by 6 people diwakergupta neilc pjdonald sysnet rstata kzk_mover
	Making Reliable Distributed Systems in the Presence of Software Errors [My Copy] by Joe Armstrong posted by 8 people myspl egh dalev JeffreyPalmer davidmihalcik pjdonald 7oby NU-PRL
	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
	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
	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 evolving role of the librarian in evidence-based medicine. [My Copy] Bulletin of the Medical Library Association, Vol. 87, No. 3. (July 1999), pp. 322-328. by C. S. Scherrer, J. L. Dorsch posted by 2 people jea53 jodorsch
	Methods in School Effectiveness Research [My Copy] School Effectiveness and School Improvement, Vol. 8, No. 4. (1997), pp. 369-395. by Harvey Goldstein posted by 4 people maties jea53 hiltsp azwildcatssuck
	Medical education and faculty development: a new role for the health sciences librarian. [My Copy] Bulletin of the Medical Library Association, Vol. 83, No. 4. (October 1995), pp. 483-489. by D. G. Schwartz posted by 2 people jea53 JerryPerry
	Evaluation of a liaison librarian program: client and liaison perspectives. [My Copy] J Med Libr Assoc, Vol. 94, No. 4. (October 2006) by M. R. Tennant, T. Tobin Cataldo, P. Sherwill-Navarro, R. Jesano posted by 5 people jea53 jrich librarians fletchad JerryPerry
	Stumbling, bumbling, teleporting and flying? librarian avatars in Second Life: selected bibliography [My Copy] Reference Services Review, Vol. 35, No. 1. (2007), pp. 90-97. by Grassian, Esther, Trueman, B. Rhonda, Clemson, Patrice posted by 15 people kizzie kerriciminera jea53 RyanSchultz zpinhead cathyb1021 ecb06c Blog_and_Wiki_Research Bible_and_Theology 18th-century_history_culture_and_society Librarians Books FSU_College_of_Information timothygreig Second Live Educators New Zealand (SLENZ)
	The role of medical libraries in undergraduate education: a case study in genetics. [My Copy] J Med Libr Assoc, Vol. 90, No. 2. (April 2002), pp. 181-193. by M. R. Tennant, M. M. Miyamoto posted by 7 people KGrubeLacroix jea53 jodorsch kslibrarian mlzafron Health_Sciences_Librarians JerryPerry
	Burnout among bibliographic instruction librarians [My Copy] Library & Information Science Research, Vol. 18, No. 2. ( 1996), pp. 165-183. by M. Affleck posted by 6 people achinerarias jea53 kslibrarian smbrower librarygirl SKingGSU
	Collection development for new librarians: Advice from the trenches [My Copy] Library Collections, Acquisitions, and Technical Services, Vol. 28, No. 4. ( 2004), pp. 397-409. by James C. Tucker, Matt Torrence posted by 12 people kristine85 hannahsaur msampson mlz11 rian75 jea53 rhedreen novascotia32 gsueres sila librarians collection_management_bic
	Revisiting the Sequential Programming Model for the Multicore Era [My Copy] Micro, IEEE In Micro, IEEE, Vol. 28, No. 1. (2008), pp. 12-20. by M. J. Bridges, N. Vachharajani, Yun Zhang, T. Jablin, D. I. August posted by 2 people elsaturnino iammealva
	Conversion of control dependence to data dependence [My Copy] In POPL '83: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983), pp. 177-189. by J. R. Allen, Ken Kennedy, Carrie Porterfield, Joe Warren posted by 1 person iammealva
	OneChip: An FPGA Processor with Reconfigurable Logic [My Copy] In IEEE Symposium on {FPGA}s for Custom Computing Machines (1996), pp. 126-135. by R. Wittig, P. Chow edited by Kenneth L. Pocek, Jeffrey Arnold posted by 1 person iammealva
	CHIMAERA: a high-performance architecture with a tightly-coupled reconfigurable functional unit [My Copy] In ISCA (2000), pp. 225-235. by Zhi A. Ye, Andreas Moshovos, Scott Hauck, Prithviraj Banerjee posted by 1 person iammealva
	Instruction-Level Parallelism for Reconfigurable Computing [My Copy] In Field-Programmable Logic: From FPGAs to Computing Paradigm (/ 1998), pp. 248-257. by Timothy J. Callahan, John Wawrzynek edited by Reiner W. Hartenstein, Andres Keevallik posted by 1 person iammealva
	DISC: the dynamic instruction set computer [My Copy] In Field Programmable Gate Arrays (FPGAs) for Fast Board Development and Reconfigurable Computing, Proc. {SPIE} 2607 (1995), pp. 92-103. by M. J. Wirthlin, B. L. Hutchings edited by John Schewel posted by 1 person iammealva
	MOVE: a framework for high-performance processor design [My Copy] In Supercomputing '91: Proceedings of the 1991 ACM/IEEE conference on Supercomputing (1991), pp. 692-701. by Henk Corporaal, Hans posted by 2 people visit0r iammealva
	Designing domain-specific processors [My Copy] In CODES '01: Proceedings of the ninth international symposium on Hardware/software codesign (2001), pp. 61-66. by Marnix Arnold, Henk Corporaal posted by 1 person iammealva
	Effective compiler support for predicated execution using the hyperblock [My Copy] In 25th Annual International Symposium on Microarchitecture (1992) by S. A. Mahlke, D. C. Lin, W. Y. Chen, R. E. Hank, R. A. Bringmann posted by 2 people iammealva bunge
	Application-Specific Processing on a General-Purpose Core via Transparent Instruction Set Customization [My Copy] In MICRO 37: Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture (2004), pp. 30-40. by Nathan Clark, Manjunath Kudlur, Hyunchul Park, Scott Mahlke, Krisztian Flautner posted by 3 people iammealva CompArch Compilers
	Efficient instruction encoding for automatic instruction set design of configurable ASIPs [My Copy] In ICCAD '02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (2002), pp. 649-654. by Jong-Eun Lee, Kiyoung Choi, Nikil Dutt posted by 3 people iammealva CompArch Compilers
	Exploiting forwarding to improve data bandwidth of instruction-set extensions [My Copy] In DAC '06: Proceedings of the 43rd annual conference on Design automation (2006), pp. 43-48. by Ramkumar Jayaseelan, Haibin Liu, Tulika Mitra posted by 3 people iammealva CompArch Compilers
	Scalable custom instructions identification for instruction-set extensible processors [My Copy] In CASES '04: Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems (2004), pp. 69-78. by Pan Yu, Tulika Mitra posted by 3 people iammealva CompArch Compilers
	Fast Identification of Custom Instructions for Extensible Processors [My Copy] Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 26, No. 2. (2007), pp. 359-368. by X. Chen, D. L. Maskell, Y. Sun posted by 5 people iammealva nominolo Aragorn992 CompArch Compilers
	Instruction-set-extension exploration using decomposable heuristic search [My Copy] VLSI Design, 2006. Held jointly with 5th International Conference on Embedded Systems and Design., 19th International Conference on (2006), 6 pp.. by S. Das, P. P. Chakrabarti, P. Dasgupta posted by 3 people iammealva CompArch Compilers
	An efficient approach to custom instruction set generation [My Copy] Embedded and Real-Time Computing Systems and Applications, 2005. Proceedings. 11th IEEE International Conference on (2005), pp. 547-550. by Guangwei Zou, Xiang Liu posted by 3 people iammealva CompArch Compilers
	An architecture framework for transparent instruction set customization in embedded processors [My Copy] Computer Architecture, 2005. ISCA '05. Proceedings. 32nd International Symposium on (2005), pp. 272-283. by N. Clark, J. Blome, M. Chu, S. Mahlke, S. Biles, K. Flautner posted by 3 people iammealva CompArch Compilers
	Fast instruction set customization [My Copy] Embedded Systems for Real-Time Multimedia, 2004. ESTImedia 2004. 2nd Workshop on (2004), pp. 53-58. by E. Borin, F. Klein, N. Moreano, R. Azevedo, G. Araujo posted by 3 people iammealva CompArch Compilers
	A design flow for configurable embedded processors based on optimized instruction set extension synthesis [My Copy] In DATE '06: Proceedings of the conference on Design, automation and test in Europe (2006), pp. 581-586. by R. Leupers, K. Karuri, S. Kraemer, M. Pandey posted by 3 people iammealva CompArch Compilers
	Battery-aware instruction generation for embedded processors [My Copy] In ASP-DAC '05: Proceedings of the 2005 conference on Asia South Pacific design automation (2005), pp. 553-556. by Newton Cheung, Sri Parameswaran, J&\#246;rg Henkel posted by 3 people iammealva CompArch Compilers
	Automatic selection of application-specific instruction-set extensions [My Copy] In CODES+ISSS '06: Proceedings of the 4th international conference on Hardware/software codesign and system synthesis (2006), pp. 160-165. by Carlo Galuzzi, Elena M. Panainte, Yana Yankova, Koen Bertels, Stamatis Vassiliadis posted by 3 people iammealva CompArch Compilers
	Scalable subgraph mapping for acyclic computation accelerators [My Copy] In CASES '06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems (2006), pp. 147-157. by Nathan Clark, Amir Hormati, Scott Mahlke, Sami Yehia posted by 4 people elsaturnino iammealva CompArch Compilers
	Instruction set extension with shadow registers for configurable processors [My Copy] In FPGA '05: Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays (2005), pp. 99-106. by Jason Cong, Yiping Fan, Guoling Han, Ashok Jagannathan, Glenn Reinman, Zhiru Zhang posted by 3 people iammealva CompArch Compilers
	Feedback driven instruction-set extension [My Copy] In LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems (2004), pp. 126-135. by Uwe Kastens, Dinh K. Le, Adrian Slowik, Michael Thies posted by 3 people iammealva CompArch Compilers
	Code transformation strategies for extensible embedded processors [My Copy] In CASES '06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems (2006), pp. 242-252. by Paolo Bonzini, Laura Pozzi posted by 4 people iammealva CompArch Compilers visit0r
	An integer linear programming approach for identifying instruction-set extensions [My Copy] In CODES+ISSS '05: Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (2005), pp. 172-177. by Kubilay Atasu, G&\#252;nhan D&\#252;ndar, Can &\#214;zturan posted by 3 people iammealva CompArch Compilers
	Efficient instruction scheduling for a pipelined architecture [My Copy] In SIGPLAN '86: Proceedings of the 1986 SIGPLAN symposium on Compiler construction (1986), pp. 11-16. by Philip B. Gibbons, Steven S. Muchnick posted by 4 people visit0r iammealva CompArch Compilers
	A comparison of list schedules for parallel processing systems [My Copy] Commun. ACM, Vol. 17, No. 12. (December 1974), pp. 685-690. by Thomas L. Adam, K. M. Chandy, J. R. Dickson posted by 4 people iammealva CompArch Compilers ppschedule
	Iterative modulo scheduling: an algorithm for software pipelining loops [My Copy] In MICRO 27: Proceedings of the 27th annual international symposium on Microarchitecture (1994), pp. 63-74. by B. Ramakrishna Rau posted by 6 people BYU CHREC B1 2009 iammealva greenShell CompArch Compilers visit0r
	$My PDF &\#214;zer_98_unified.pdf$ Unified assign and schedule: a new approach to scheduling for clustered register file microarchitectures [My Copy] In MICRO 31: Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture (1998), pp. 308-315. by Emre &\#214;zer, Sanjeev Banerjia, Thomas M. Conte posted by 3 people iammealva CompArch Compilers
	$My PDF s&\#225;nchez_00_instruction.pdf$ Instruction scheduling for clustered VLIW architectures [My Copy] In ISSS '00: Proceedings of the 13th international symposium on System synthesis (2000), pp. 41-46. by Jes&\#250;s S&\#225;nchez, Antonio Gonz&\#225;lez posted by 3 people iammealva CompArch Compilers
	FLASH: Foresighted Latency-Aware Scheduling Heuristic for Processors with Customized Datapaths [My Copy] In CGO '04: Proceedings of the international symposium on Code generation and optimization (2004) by Manjunath Kudlur, Kevin Fan, Michael Chu, Rajiv Ravindran, Nathan Clark, Scott Mahlke posted by 3 people iammealva CompArch Compilers
	Exploiting pipelining to relax register-file port constraints of instruction-set extensions [My Copy] In CASES '05: Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems (2005), pp. 2-10. by Laura Pozzi, Paolo Ienne posted by 4 people iammealva nominolo CompArch Compilers
	Reconfigurable computing: a survey of systems and software [My Copy] ACM Comput. Surv., Vol. 34, No. 2. (June 2002), pp. 171-210. by Katherine Compton, Scott Hauck posted by 17 people ericschung anallam hannibal_08 mzabidi sonofnel peskin iammealva Seenu clarence mmuecke silvangraf smithmc periodic RC_FCU Reconfigurable Computing hn82123 infolab, USTC
	Partial evaluation and automatic program generation [My Copy] (1993) by Neil D. Jones, Carsten K. Gomard, Peter Sestoft posted by 1 person schuh
	Precise Constraint-Based Type Inference for Java [My Copy] In ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming (2001), pp. 99-117. by Tiejun Wang, Scott F. Smith posted by 2 people bfraser schuh
	Effects of context on program slicing [My Copy] Journal of Systems and Software In Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop, Vol. 79, No. 9. (September 2006), pp. 1249-1260. by Jens Krinke posted by 1 person schuh
	An overview and comparative classification of program slicing techniques [My Copy] J. Syst. Softw., Vol. 31, No. 3. (December 1995), pp. 197-214. by Mariam Kamkar posted by 1 person schuh
	An overview of program slicing [My Copy] Software Focus, Vol. 2, No. 3. (2001), pp. 85-92. by Mark Harman, Robert Hierons posted by 3 people embersp schuh keigoi
	An overview of JML tools and applications [My Copy] Int. J. Softw. Tools Technol. Transf., Vol. 7, No. 3. (1 June 2005), pp. 212-232. by Lilian Burdy, Yoonsik Cheon, David R. Cok, et al.Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, Rustan, Erik Poll posted by 3 people thiers20 newdawn schuh
	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 [My Copy] Lecture Notes in Computer Science : Formal Methods for Components and Objects (2006), pp. 342-363. by Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll posted by 1 person schuh
	Design and implementation of bytecode-based Java slicing system [My Copy] Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on (2003), pp. 108-117. by F. Umemori, K. Konda, R. Yokomori, K. Inoue posted by 2 people schuh duckysherwood
	Slicing Software for Model Construction [My Copy] In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 105-118. by Matthew B. Dwyer, John Hatcliff posted by 1 person schuh
	The case for analysis preserving language transformation [My Copy] In ISSTA'06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 191-202. by Xiaolan Zhang, Larry Koved, Marco Pistoia, et al.Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng posted by 1 person schuh
	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
	Incremental and Complete Bounded Model Checking for Full PLTL [My Copy] by Keijo Heljanko, Tommi Junttila, Timo Latvala posted by 1 person schuh
	Model Checking Operator Procedures [My Copy] In SPIN (1999), pp. 200-215. by Wenhui Zhang posted by 1 person schuh
	Symbolic Model Checking without BDDs [My Copy] In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 193-207. by Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu posted by 4 people zhensong streetlightios schuh hwang
	Slicing Software for Model Construction [My Copy] Higher Order Symbol. Comput., Vol. 13, No. 4. (December 2000), pp. 315-353. by John Hatcliff, Matthew B. Dwyer, Hongjun Zheng posted by 1 person schuh
	Dynamic Incremental Hashing in Program Model Checking [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Model Checking and Artificial Intelligence (MoChArt 2005), Vol. 149, No. 2. (14 February 2006), pp. 51-69. by Tilman Mehler, Stefan Edelkamp posted by 1 person schuh
	Temporal and modal logic [My Copy] (1990), pp. 995-1072. by E. Allen Emerson posted by 5 people shakilmkhan pirapira aristodemos schuh bunge
	Extreme model checking [My Copy] (2003) by T. Henzinger, R. Jhala, R. Majumdar, M. Sanvido posted by 1 person schuh
	Incremental Model Checking in the Modal Mu-Calculus [My Copy] In Proceedings of the sixth International Conference on Computer-Aided Verification CAV, Vol. 818 (1994), pp. 351-363. by O. V. Sokolsky, S. A. Smolka edited by David L. Dill posted by 3 people streetlightios schuh chenhb_nj
	Superimpositions and Aspect-oriented Programming [My Copy] The Computer Journal, Vol. 46, No. 5. (1 May 2003), pp. 529-541. by Marcelo Sihman, Shmuel Katz posted by 1 person schuh
	Model checking security properties of control flow graphs [My Copy] J. Comput. Secur., Vol. 9, No. 3. (January 2001), pp. 217-250. by Fr&\#233;d&\#233;ric Besson, Thomas Jensen, Daniel Le M&\#233;tayer, Tommy Thorn posted by 1 person schuh
	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
	Using Pointcut Delta Analysis to Support Evolution of Aspect-Oriented Software [My Copy] In ICSM '05: Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05) (2005), pp. 653-656. by Maximilian Stoerzer, Juergen Graf posted by 2 people schuh aindriu
	Efficient Relational Calculation for Software Analysis [My Copy] IEEE Trans. Softw. Eng., Vol. 31, No. 2. (February 2005), pp. 137-149. by Claus Lewerentz posted by 3 people heindlc schuh klinsz
	Aspect Categories and Classes of Temporal Properties [My Copy] Transactions on Aspect-Oriented Software Development I, Vol. 3880 (February 2006), pp. 106-134. by Shmuel Katz posted by 3 people khatchad schuh bfraser
	Debugging support for aspect-oriented program based on program slicing and call graph [My Copy] Software Maintenance, 2004. Proceedings. 20th IEEE International Conference on (2004), pp. 178-187. by T. Ishio, S. Kusumoto, K. Inoue posted by 1 person schuh
	Static analysis of aspects [My Copy] In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 30-39. by Damien Sereni, Oege de Moor posted by 1 person schuh
	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
	Impact Analysis of Weaving in Aspect-Oriented Programming [My Copy] Software Maintenance, IEEE International Conference on In ICSM '05: Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05), Vol. 0 (2005), pp. 657-660. by Hideaki Shinomi, Tetsuo Tamai posted by 2 people khatchad schuh
	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
	How secure is AOP and what can we do about it? [My Copy] In SESS '06: Proceedings of the 2006 international workshop on Software engineering for secure systems (2006), pp. 27-34. by Bart De Win, Frank Piessens, Wouter Joosen posted by 1 person schuh
	Aspect-Oriented Software Development [My Copy] (06 October 2004) by Robert E. Filman, Tzilla Elrad, Siobhan Clarke, Mehmet Aksit posted by 3 people eabait cameleon911 schuh
	Slicing AspectJ Woven Code [My Copy] by Davide B. Antonio posted by 1 person schuh
	Context-sensitive program analysis as database queries [My Copy] In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 1-12. by Monica S. Lam, John Whaley, V. Benjamin Livshits, et al.Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel posted by 5 people robertjohnsimmons pedagand schuh NSumner CS510 2008 Spring
	Points-to analysis using BDDs [My Copy] In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 103-114. by Marc Berndl, Ondrej Lhot&\#225;k, Feng Qian, Laurie Hendren, Navindra Umanee posted by 2 people schuh sharonel22
	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
	Finding and preventing run-time error handling mistakes [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. 419-431. by Westley Weimer, George C. Necula posted by 1 person 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
	Access rights analysis for Java [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. 359-372. by Larry Koved, Marco Pistoia, Aaron Kershenbaum posted by 1 person schuh