注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

NSumner's library [121 articles]

最近录入 NSumner's 文献库.
  • The discoveries of continuations
    Lisp Symb. Comput., Vol. 6, No. 3-4. (1993), pp. 233-248.
    by John C Reynolds
    posted to classics by NSumner on 2008-03-29 13:13:18 as ** along with 1 person yallop
  • WiDS Checker: Combating Bugs in Distributed Systems
    (2007)
    by Xuezheng Liu, Wei Lin, Aimin Pan, Zheng Zhang
    posted to faultlocalization by NSumner on 2008-03-19 20:13:45 as *****
  • Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code
    pp. 243-256.
    by Charles Killian, James W Anderson, Ranjit Jhala, Amin Vahdat
    posted to concurrency faultlocalization modelchecking by NSumner on 2008-03-19 20:10:02 as ***** along with 3 people and 1 group Andrewkyh dmeister pedagand PLLab
  • Problem Diagnosis in Large-Scale Computing Environments
    Supercomputing, 2006. SC '06. Proceedings of the ACM/IEEE SC 2006 Conference (2006), pp. 11-11.
    by AV Mirgorodskiy, N Maruyama, BP Miller
    posted to no-tag by NSumner on 2008-03-01 05:19:09 as *** along with 1 person sdvillal
  • DMTracker: Finding Bugs in Large-Scale Parallel Programs by Detecting Anomaly in Data Movements
    (November 2007)
    by Qi Gao, Feng Qin, Dhabaleswar K Panda
    posted to no-tag by NSumner on 2008-03-01 05:16:36 as ***
  • Design and implementation of a fine-grained software inspection tool
    Software Engineering, IEEE Transactions on, Vol. 29, No. 8. (2003), pp. 721-733.
    by P Anderson, T Reps, T Teitelbaum
    posted to analysis by NSumner on 2008-02-26 15:00:50 as ***
  • "Googling" Test Practices? Web Giant's Culture Encourages Process Improvement
    Software, IEEE, Vol. 25, No. 2. (2008), pp. 92-94.
    by Greg Goth
    posted to testing by NSumner on 2008-02-26 14:40:56 as ** along with 2 people germoglio leonardo
  • notes Software and the concurrency revolution
    Queue, Vol. 3, No. 7. (September 2005), pp. 54-62.
    by Herb Sutter, James Larus
    posted to concurrency by NSumner on 2008-02-18 14:54:44 as read along with 1 person hannibal_07
  • Efficient causality-tracking timestamping
    Knowledge and Data Engineering, IEEE Transactions on, Vol. 15, No. 5. (2003), pp. 1239-1250.
    by JM Helary, M Raynal, G Melideo, R Baldoni
    posted to causality concurrency debugging by NSumner on 2008-02-07 21:47:30 as **
  • Lock Inference for Atomic Sections
    (June 2006)
    by Michael Hicks, Jeffrey S Foster, Polyvios Prattikakis
    posted to atomicity concurrency by NSumner on 2008-01-29 20:22:59 as ****
  • Lock allocation
    (2007), pp. 291-296.
    by Michael Emmi, Jeffrey S Fischer, Ranjit Jhala, Rupak Majumdar
    posted to concurrency race by NSumner on 2008-01-29 20:18:36 as **** along with 1 person jfischer
  • Testing-based interactive fault localization
    (2006), pp. 957-960.
    by Dan Hao
    posted to faultlocalization testing by NSumner on 2008-01-25 22:59:10 as **
  • Experimental program analysis: a new program analysis paradigm
    (2006), pp. 49-60.
    by Joseph R Ruthruff, Sebastian Elbaum, Gregg Rothermel
    posted to analysis testing by NSumner on 2008-01-25 22:57:49 as **
  • Source Code Analysis: A Road Map
    (2007), pp. 104-119.
    by David Binkley
    posted to analysis by NSumner on 2008-01-25 21:59:33 as ** along with 4 people scavadini kklo tesissvc billkidwell
  • Exterminator: automatically correcting memory errors with high probability
    (2007), pp. 1-11.
    by Gene Novark, Emery D Berger, Benjamin G Zorn
    posted to tolerance by NSumner on 2008-01-25 21:44:01 as **
  • Debugging in Parallel
    (2007), pp. 16-26.
    by James A Jones, Mary J Harrold, James F Bowring
    posted to concurrency debugging by NSumner on 2008-01-25 21:43:17 as **
  • Extraction of bug localization benchmarks from history
    (2007), pp. 433-436.
    by Valentin Dallmeier, Thomas Zimmermann
    posted to faultlocalization by NSumner on 2008-01-25 21:36:05 as **
  • A static analyzer for finding dynamic programming errors
    Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
    by William R Bush, Jonathan D Pincus, David J Sielaff
    posted to analysis by NSumner on 2008-01-25 09:28:16 as ** along with 3 people mercutio martink linekin
  • BIRD: binary interpretation using runtime disassembly
    Code Generation and Optimization, 2006. CGO 2006. International Symposium on (2006), 12 pp..
    by S Nanda, Wei Li, Lap-Chung Lam, Tzi-Cker Chiueh
    posted to reverseengineering by NSumner on 2008-01-24 19:32:56 as **
  • notes Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact
    Empirical Software Engineering, Vol. 10, No. 4. (October 2005), pp. 405-435.
    by Hyunsook Do, Sebastian Elbaum, Gregg Rothermel
    posted to analysis bugs debugging testing by NSumner on 2008-01-24 12:41:58 as **
  • notes Empirical Studies of a Safe Regression Test Selection Technique
    IEEE Trans. Softw. Eng., Vol. 24, No. 6. (June 1998), pp. 401-419.
    by Gregg Rothermel, Mary J Harrold
    posted to revisioncontrol testing by NSumner on 2008-01-24 05:51:00 as **
  • notes Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
    (1994), pp. 191-200.
    by Monica Hutchins, Herb Foster, Tarak Goradia, Thomas Ostrand
    posted to bugs testing by NSumner on 2008-01-24 05:41:51 as **
  • Tracking bad apples: reporting the origin of null and undefined value errors
    (2007), pp. 405-422.
    by Michael D Bond, Nicholas Nethercote, Stephen W Kent, Samuel Z Guyer, Kathryn S Mckinley
    posted to debugging faultlocalization by NSumner on 2008-01-23 21:52:10 as **
  • Fault localization with nearest neighbor queries
    Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 30-39.
    by M Renieres, SP Reiss
    posted to debugging faultlocalization by NSumner on 2008-01-23 17:27:02 as ***
  • Sieve: A Tool for Automatically Detecting Variations Across Program Versions
    Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on (2006), pp. 241-252.
    by Murali K Ramanathan, Ananth Grama, Suresh Jagannathan
    posted to faultlocalization revisioncontrol by NSumner on 2008-01-22 21:01:13 as **
  • SYNERGY: a new algorithm for property checking
    (2006), pp. 117-127.
    by Bhargav S Gulavani, Thomas A Henzinger, Yamini Kannan, Aditya V Nori, Sriram K Rajamani
    posted to modelchecking testing by NSumner on 2008-01-22 20:20:09 as read
  • Mining Object Usage Models
    Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on (2007), pp. 93-94.
    by Andrzej Wasylkowski
    posted to testing by NSumner on 2008-01-22 14:55:26 as ** along with 1 person newdawn
  • Detecting object usage anomalies
    (2007), pp. 35-44.
    by Andrzej Wasylkowski, Andreas Zeller, Christian Lindig
    posted to testing by NSumner on 2008-01-22 14:54:00 as **
  • Efficient unit test case minimization
    (2007), pp. 417-420.
    by Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer
    posted to testing by NSumner on 2008-01-18 22:48:19 as ***
  • Automated path generation for software fault localization
    (2005), pp. 347-351.
    by Tao Wang, Abhik Roychoudhury
    posted to debugging faultlocalization by NSumner on 2008-01-18 22:45:54 as ***
  • From symptom to cause: localizing errors in counterexample traces
    SIGPLAN Not., Vol. 38, No. 1. (January 2003), pp. 97-105.
    by Thomas Ball, Mayur Naik, Sriram K Rajamani
    posted to debugging faultlocalization by NSumner on 2008-01-18 22:45:04 as ***
  • An automated model-based debugging approach
    (2007), pp. 174-183.
    by Cemal Yilmaz, Clay Williams
    posted to debugging by NSumner on 2008-01-18 22:33:12 as ***
  • Dynamic analysis of program concepts in Java
    (2006), pp. 31-39.
    by Jeremy Singer, Chris Kirkham
    posted to analysis by NSumner on 2008-01-18 18:23:42 as ** along with 1 person RalfMitschke
  • Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software
    Model Checking Software (2007), pp. 58-75.
    by Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert Kirby
    posted to concurrency modelchecking by NSumner on 2008-01-18 13:48:16 as ***
  • The Landscape of Parallel Computing Research: A View From Berkeley
    (December 2006)
    by Krste Asanovic, Ras Bodik, Bryan C Catanzaro, Joseph J Gebis, Parry Husbands, Kurt Keutzer, David A Patterson, William L Plishker, John Shalf, Samuel W Williams, Katherine A Yelick
    posted to concurrency by NSumner on 2008-01-18 13:27:36 as *** along with 1 person sverker
  • Hypersequential Programming: A New Way to Develop Concurrent Programs
    IEEE Parallel Distrib. Technol., Vol. 5, No. 3. (July 1997), pp. 44-54.
    by Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
    posted to concurrency by NSumner on 2008-01-18 13:26:35 as ** along with 1 person sverker
  • A methodology for implementing highly concurrent data objects
    ACM Trans. Program. Lang. Syst., Vol. 15, No. 5. (November 1993), pp. 745-770.
    by Maurice Herlihy
    posted to concurrency by NSumner on 2008-01-17 15:02:23 as *** along with 5 people myui jrw tautologico sverker frej
  • The transactional manifesto: software engineering and non-blocking synchronization
    (2005), pp. 280-280.
    by Maurice Herlihy
    posted to atomicity concurrency by NSumner on 2008-01-17 14:53:11 as *** along with 3 people jrw tautologico qiongc
  • An undergraduate course on software bug detection tools and techniques
    SIGCSE Bull., Vol. 38, No. 1. (March 2006), pp. 249-253.
    by Eric Larson
    posted to teaching testing by NSumner on 2008-01-17 12:41:29 as ***
  • A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs
    Hardware and Software, Verification and Testing (2007), pp. 166-182.
    by Koushik Sen, Gul Agha
    posted to concurrency modelchecking by NSumner on 2008-01-16 23:26:39 as read along with 2 people godmar irejectthispaper
  • Context-sensitive program analysis as database queries
    (2005), pp. 1-12.
    by Monica S Lam, John Whaley, Benjamin V Livshits, Michael C Martin, Dzintars Avots, Michael Carbin, Christopher Unkel
    posted to analysis by NSumner on 2008-01-16 22:10:13 as read along with 1 person and 1 group schuh CS510 2008 Spring
  • Soot - a Java bytecode optimization framework
    (1999)
    by Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, Vijay Sundaresan
    posted to instrumentation by NSumner on 2008-01-16 22:05:21 as ** along with 1 group CS510 2008 Spring
  • Untitled
    posted to modelchecking by NSumner on 2008-01-16 21:59:18 as **
  • CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
    (2002), pp. 213-228.
    by George C Necula, Scott Mcpeak, Shree P Rahul, Westley Weimer
    posted to instrumentation by NSumner on 2008-01-16 21:35:17 as read along with 1 group CS510 2008 Spring
  • DEP: detailed execution profile
    (2006), pp. 154-163.
    by Qin Zhao, Joon E Sim, Weng-Fai Wong, Larry Rudolph
    posted to profiling by NSumner on 2008-01-16 19:44:06 as read
  • Accordion Clocks: Logical Clocks for Data Race Detection
    Euro-Par 2001 Parallel Processing (2001), pp. 494-503.
    by Mark Christiaens, Koen De Bosschere
    posted to concurrency race testing by NSumner on 2008-01-16 18:08:57 as ** along with 1 person irejectthispaper
  • TRaDe, a topological approach to on-the-fly race detection in java programs
    (2001), pp. 15-15.
    by Mark Christiaens, Koen De Bosschere
    posted to concurrency race testing by NSumner on 2008-01-16 17:49:00 as read
  • Monitors: an operating system structuring concept
    Commun. ACM, Vol. 17, No. 10. (October 1974), pp. 549-557.
    by CAR Hoare
    posted to classics concurrency by NSumner on 2008-01-16 16:39:10 as ** along with 4 people and 1 group RobotAdam amorkan clconway rlai MITCCI
  • Pointer and escape analysis for multithreaded programs
    ACM SIG\-PLAN Notices, Vol. 36, No. 7. (2001), pp. 12-23.
    by Alexandru Salcianu, Martin Rinard
    posted to analysis concurrency by NSumner on 2008-01-16 16:38:43 as ** along with 2 people and 1 group salagnac amorkan Verimag
  • Continuations and concurrency
    (1990), pp. 128-136.
    by R Hieb, Kent R Dybvig
    posted to concurrency by NSumner on 2008-01-16 16:35:18 as ** along with 1 person tautologico
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/NSumner

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.