-
1
-
-
72249107954
-
-
Apple Inc, CrashReporter. Technical Report TN2123, Cupertino, CA
-
Apple Inc., CrashReporter. Technical Report TN2123, Cupertino, CA, 2004.
-
(2004)
-
-
-
2
-
-
34748831643
-
Thorough Static Analysis of Device Drivers
-
Leuven, Belgium
-
Ball, T., Bounimova, E., Cook, B., Levin, V., Lichtenberg, J., McGarvey, C., Ondrusek, B., Rajamani, S.K. and Ustuner, A. Thorough Static Analysis of Device Drivers. In Proc.of the EuroSys 2006 Conference, Leuven, Belgium, 2006.
-
(2006)
Proc.of the EuroSys 2006 Conference
-
-
Ball, T.1
Bounimova, E.2
Cook, B.3
Levin, V.4
Lichtenberg, J.5
McGarvey, C.6
Ondrusek, B.7
Rajamani, S.K.8
Ustuner, A.9
-
3
-
-
0036039066
-
The SLAM Project: Debugging System Software via Static Analysis
-
Portland, OR
-
Ball, T. and Rajamani, S.K. The SLAM Project: Debugging System Software via Static Analysis. In Proc.of the 29th ACM Symposium on Principles of Programming Languages, pp. 1-3, Portland, OR, 2002.
-
(2002)
Proc.of the 29th ACM Symposium on Principles of Programming Languages
, pp. 1-3
-
-
Ball, T.1
Rajamani, S.K.2
-
5
-
-
1442263220
-
-
Broadwell, P., Harren, M. and Sastry, N. Scrash: A System for Generating Secure Crash Information. In Proc.of the 12th USENIX Security Symposium, pp. 273-284, Washington, DC, 2003.
-
Broadwell, P., Harren, M. and Sastry, N. Scrash: A System for Generating Secure Crash Information. In Proc.of the 12th USENIX Security Symposium, pp. 273-284, Washington, DC, 2003.
-
-
-
-
6
-
-
0033688092
-
A Static Analyzer for Finding Dynamic Programming Errors
-
Bush, W.R., Pincus, J.D. and Sielaff, D.J. A Static Analyzer for Finding Dynamic Programming Errors. Software-Practice and Experience, 30 (5), pp. 775-802, 2000.
-
(2000)
Software-Practice and Experience
, vol.30
, Issue.5
, pp. 775-802
-
-
Bush, W.R.1
Pincus, J.D.2
Sielaff, D.J.3
-
7
-
-
77957793391
-
Better Bug Reporting With Better Privacy
-
Seattle, WA
-
Castro, M., Costa, M. and Martin, J.-P. Better Bug Reporting With Better Privacy. In Proc.of the 13th Intl. Conference on Architectural Support for Programming Languages and Operating Systems, pp. 319-328, Seattle, WA, 2008.
-
(2008)
Proc.of the 13th Intl. Conference on Architectural Support for Programming Languages and Operating Systems
, pp. 319-328
-
-
Castro, M.1
Costa, M.2
Martin, J.-P.3
-
9
-
-
84885679117
-
Vigilante: End-to-End Containment of Internet Worms
-
Brighton, UK
-
Costa, M., Crowcroft, J., Castro, M., Rowstron, A., Zhou, L., Zhang, L. and Barham, P. Vigilante: End-to-End Containment of Internet Worms. In Proc.of the 20th ACM Symposium on Operating System Principles, pp. 133-147, Brighton, UK, 2005.
-
(2005)
Proc.of the 20th ACM Symposium on Operating System Principles
, pp. 133-147
-
-
Costa, M.1
Crowcroft, J.2
Castro, M.3
Rowstron, A.4
Zhou, L.5
Zhang, L.6
Barham, P.7
-
10
-
-
40449118121
-
Formal Specifications on Industrial-Strength Code - From Myth to Reality
-
Seattle, WA
-
Das, M. Formal Specifications on Industrial-Strength Code - From Myth to Reality. Invited Talk, Computer-Aided Verification, Seattle, WA, 2006.
-
(2006)
Invited Talk, Computer-Aided Verification
-
-
Das, M.1
-
11
-
-
0036041420
-
Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
-
Alberta, Canada
-
Engler, D., Chen, D.Y., Hallem, S., Chou, A. and Chelf, B. Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. In Proc.of the 18th ACM Symposium on Operating Systems Principles, pp. 57-72, Alberta, Canada, 2001.
-
(2001)
Proc.of the 18th ACM Symposium on Operating Systems Principles
, pp. 57-72
-
-
Engler, D.1
Chen, D.Y.2
Hallem, S.3
Chou, A.4
Chelf, B.5
-
13
-
-
64349096733
-
Windows XP Kernel Crash Analysis
-
Washington, DC
-
Ganapathi, A., Ganapathi, V. and Patterson, D., Windows XP Kernel Crash Analysis. In Proc.of the 20th Large Installation System Administration Conference, pp. 149-159, Washington, DC, 2006.
-
(2006)
Proc.of the 20th Large Installation System Administration Conference
, pp. 149-159
-
-
Ganapathi, A.1
Ganapathi, V.2
Patterson, D.3
-
14
-
-
27544495732
-
Crash Data Collection: A Windows Case Study
-
Yokohama, Japan
-
Ganapathi, A. and Patterson, D., Crash Data Collection: A Windows Case Study. In Proc.of the 2005 Intl. Conference on Dependable Systems and Networks, pp. 280-285, Yokohama, Japan, 2005.
-
(2005)
Proc.of the 2005 Intl. Conference on Dependable Systems and Networks
, pp. 280-285
-
-
Ganapathi, A.1
Patterson, D.2
-
15
-
-
33947597689
-
Planet Scale Software Updates
-
Pisa, Italy
-
Gkantsidis, C., Karagiannis, T., Rodrigeuz, P. and Vojnovic, M. Planet Scale Software Updates. In Proc.of ACM SIGCOMM 2006, Pisa, Italy, 2006.
-
(2006)
Proc.of ACM SIGCOMM
-
-
Gkantsidis, C.1
Karagiannis, T.2
Rodrigeuz, P.3
Vojnovic, M.4
-
16
-
-
72249115567
-
-
Google Inc, Mountain View, CA
-
Google Inc. Breakpad. Mountain View, CA, 2007, http://code.google.com/p/ google-breakpad/.
-
(2007)
Breakpad
-
-
-
18
-
-
85076901048
-
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks
-
San Diego, CA
-
Jula, H., Tralamazza, D., Zamfir, C. and Candea, G., Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. In Proc.of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008), pp. 295-308, San Diego, CA, 2008.
-
(2008)
Proc.of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI
, pp. 295-308
-
-
Jula, H.1
Tralamazza, D.2
Zamfir, C.3
Candea, G.4
-
19
-
-
0027797402
-
Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System
-
Toulouse, France, IEEE
-
Lee, I. and Iyer, R.K., Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System. In Digest of Paers of the Twenty-Third Intl. Symposium on Fault-Tolerant Computing (FTCS-23), Toulouse, France, 1993, IEEE.
-
(1993)
Digest of Paers of the Twenty-Third Intl. Symposium on Fault-Tolerant Computing (FTCS-23)
-
-
Lee, I.1
Iyer, R.K.2
-
20
-
-
0038716503
-
Bug Isolation via Remote Program Sampling
-
San Diego, CA
-
Liblit, B., Aiken, A., Zheng, A.X. and Jordan, M.I. Bug Isolation via Remote Program Sampling. In Proc.of the 2003 Conference on Programming Language Design and Implementation, pp. 141-154, San Diego, CA, 2003.
-
(2003)
Proc.of the 2003 Conference on Programming Language Design and Implementation
, pp. 141-154
-
-
Liblit, B.1
Aiken, A.2
Zheng, A.X.3
Jordan, M.I.4
-
21
-
-
72249120180
-
DbgHelp Structures
-
Microsoft Corporation, Redmond, WA
-
Microsoft Corporation. DbgHelp Structures. In Microsoft Developer Network, Redmond, WA, 2001.
-
(2001)
Microsoft Developer Network
-
-
-
22
-
-
72249101940
-
-
Redmond, WA
-
Microsoft Corporation. Debugging Tools for Windows. Redmond, WA, 2008, http://www.microsoft.com/whdc/devtools/debugging.
-
(2008)
Debugging Tools for Windows
-
-
-
23
-
-
72249095408
-
Plug and Play: Architecture and Driver Support
-
Microsoft Corporation, Redmond, WA
-
Microsoft Corporation. Plug and Play: Architecture and Driver Support. In Windows Hardware Developer Central, Redmond, WA, 2008.
-
(2008)
Windows Hardware Developer Central
-
-
-
24
-
-
72249105541
-
Use The Microsoft Symbol Server to Obtain Debug Symbol Files
-
Microsoft Corporation, Redmond, WA
-
Microsoft Corporation. Use The Microsoft Symbol Server to Obtain Debug Symbol Files. Knowledge Base Article 311503, Redmond, WA, 2006.
-
(2006)
Knowledge Base Article
, pp. 311503
-
-
-
25
-
-
72249096027
-
-
Mozilla Foundation, Mountain View, CA
-
Mozilla Foundation. Talkback. Mountain View, CA, 2003, http://talkback.mozilla.org.
-
(2003)
Talkback
-
-
-
26
-
-
27544507026
-
Automating Software Failure Recovery
-
Murphy, B. Automating Software Failure Recovery. ACM Queue, 2 (8), pp. 42-48, 2004.
-
(2004)
ACM Queue
, vol.2
, Issue.8
, pp. 42-48
-
-
Murphy, B.1
-
27
-
-
34748920692
-
Argos: An Emulator for Fingerprinting Zero-day Attacks for Advertised Honeypots with Automatic Signature Generation
-
Leuven, Belgium
-
Portokalidis, G., Slowinska, A. and Bos, H. Argos: An Emulator for Fingerprinting Zero-day Attacks for Advertised Honeypots with Automatic Signature Generation. In Proc.of the EuroSys 2006 Conference, pp. 15-27, Leuven, Belgium, 2006.
-
(2006)
Proc.of the EuroSys 2006 Conference
, pp. 15-27
-
-
Portokalidis, G.1
Slowinska, A.2
Bos, H.3
-
28
-
-
84885578759
-
Treating Bugs as Allergies - A Safe Method to Survive Software Failure
-
Brighton, UK
-
Qin, F., Tucek, J., Sundaresan, J. and Zhou, Y. Rx: Treating Bugs as Allergies - A Safe Method to Survive Software Failure. In Proc.of the 20th ACM Symposium on Operating System Principles, Brighton, UK, 2005.
-
(2005)
Proc.of the 20th ACM Symposium on Operating System Principles
-
-
Qin, F.1
Tucek, J.2
Sundaresan, J.3
Zhou, Y.R.4
-
29
-
-
84906487819
-
Enhancing Server Availability and Security Through Failure-Oblivious Computing
-
San Francisco, CA
-
Rinard, M., Cadar, C., Dumitran, D., Roy, D.M., Leu, T. and Beebee, W.S., Jr. . Enhancing Server Availability and Security Through Failure-Oblivious Computing. In Proc.of the 6th Symposium on Operating Systems Design and Implementation San Francisco, CA, 2004.
-
(2004)
Proc.of the 6th Symposium on Operating Systems Design and Implementation
-
-
Rinard, M.1
Cadar, C.2
Dumitran, D.3
Roy, D.M.4
Leu, T.5
Beebee Jr., W.S.6
-
30
-
-
0024684041
-
With Microscope and Tweezers: The Worm from MIT's Perspective
-
Rochlis, J.A. and Eichin, M.W. With Microscope and Tweezers: The Worm from MIT's Perspective. Communications of the ACM, 32 (6), pp. 689-698, 1989.
-
(1989)
Communications of the ACM
, vol.32
, Issue.6
, pp. 689-698
-
-
Rochlis, J.A.1
Eichin, M.W.2
-
31
-
-
41149177450
-
-
Stevenson, WA
-
Tucek, J., Lu, S., Huang, C., Xanthos, S. and Zhou, Y. Triage: Diagnosing Production Run Failures at the User's Site In Proc.of the 21st ACM SIGOPS Symposium on Operating Systems Principles, pp. 131-144, Stevenson, WA, 2007.
-
(2007)
Triage: Diagnosing Production Run Failures at the User's Site In Proc.of the 21st ACM SIGOPS Symposium on Operating Systems Principles
, pp. 131-144
-
-
Tucek, J.1
Lu, S.2
Huang, C.3
Xanthos, S.4
Zhou, Y.5
-
32
-
-
0345042007
-
Further Analysis of a Computing Center Environment
-
Walter, E.S. and Wallace, V.L. Further Analysis of a Computing Center Environment. Communications of the ACM, 10 (5), pp. 266-272, 1967.
-
(1967)
Communications of the ACM
, vol.10
, Issue.5
, pp. 266-272
-
-
Walter, E.S.1
Wallace, V.L.2
|