James C. Corbett

Publication Activity (10 Years)

Years Active: 1989-2013
Publications (10 Years): 0

Top Topics

Globally Distributed

Top Venues

ACM Trans. Comput. Syst.

Publications

James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, Dale Woodford
Spanner: Google's Globally Distributed Database. ACM Trans. Comput. Syst. 31 (3) (2013)
James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, Dale Woodford
Spanner: Google's Globally-Distributed Database. OSDI (2012)
Jason Baker, Chris Bond, James C. Corbett, J. J. Furman, Andrey Khorlin, James Larson, Jean-Michel Leon, Yawei Li, Alexander Lloyd, Vadim Yushprakh
Megastore: Providing Scalable, Highly Available Storage for Interactive Services. CIDR (2011)
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
Expressing checkable properties of dynamic systems: the Bandera Specification Language. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN (2000)
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
Bandera: a source-level interface for model checking Java programs. ICSE (2000)
James C. Corbett
Using shape analysis to reduce finite-state models of concurrent Java programs. ACM Trans. Softw. Eng. Methodol. 9 (1) (2000)
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
Bandera: extracting finite-state models from Java source code. ICSE (2000)
George S. Avrunin, James C. Corbett, Matthew B. Dwyer
Benchmarking Finite-State Verifiers. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Matthew B. Dwyer, George S. Avrunin, James C. Corbett
Patterns in Property Specifications for Finite-State Verification. ICSE (1999)
John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. SAS (1999)
James C. Corbett
Constructing Compact Models of Concurrent Java Programs. ISSTA (1998)
Matthew B. Dwyer, George S. Avrunin, James C. Corbett
Property specification patterns for finite-state verification. FMSP (1998)
George S. Avrunin, James C. Corbett, Laura K. Dillon
Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. 24 (8) (1998)
Willem J. A. M. Overmeer, James C. Corbett, Luk N. Van Wassenhove
Cooperation between strands of practice: challenges and opportunities for the renewal of OR. J. Oper. Res. Soc. 49 (4) (1998)
George S. Avrunin, James C. Corbett, Laura K. Dillon
Analyzing Partially-Implemented Real-Time Systems. ICSE (1997)
James C. Corbett
Constructing Abstract Models of Concurrent Real-Time Software. ISSTA (1996)
James C. Corbett
Timing Analysis of Ada Tasking Programs. IEEE Trans. Software Eng. 22 (7) (1996)
James C. Corbett
Evaluating Deadlock Detection Methods for Concurrent Software. IEEE Trans. Software Eng. 22 (3) (1996)
James C. Corbett, George S. Avrunin
Using Integer Programming to Verify General Safety and Liveness Properties. Formal Methods Syst. Des. 6 (1) (1995)
George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. IEEE Trans. Software Eng. 20 (9) (1994)
Martin C. Herbordt, James C. Corbett, Charles C. Weems, John Spalding
Practical Algorithms for Online Routing on Fixed and Reconfigurable Meshes. J. Parallel Distributed Comput. 20 (3) (1994)
James C. Corbett, George S. Avrunin
Towards Scalable Compositional Analysis. SIGSOFT FSE (1994)
James C. Corbett
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. ISSTA (1994)
James C. Corbett
Modeling and Analysis of Real-Time Ada Tasking Programs. RTSS (1994)
James C. Corbett, George S. Avrunin
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. ISSTA (1993)
James C. Corbett
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. IWSSD (1993)
James C. Corbett
Verifying General Safety and Liveness Propterties with Integer Programming. CAV (1992)
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. IEEE Trans. Software Eng. 17 (11) (1991)
Martin C. Herbordt, Charles C. Weems, James C. Corbett
Message-passing algorithms for a SIMD torus with coteries. SIGARCH Comput. Archit. News 19 (1) (1991)
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
Experiments with an Improved Constrained Expression Toolset. Symposium on Testing, Analysis, and Verification (1991)
George S. Avrunin, Ugo A. Buy, James C. Corbett
Integer Programming in the Analysis of Concurrent Systems. CAV (1991)
David A. Mix Barrington, James C. Corbett
A Note on Some Languages in Uniform ACC0. Theor. Comput. Sci. 78 (2) (1991)
Martin C. Herbordt, Charles C. Weems, James C. Corbett
Message-Passing Algorithms for a SIMD Torus with Coteries. SPAA (1990)
David A. Mix Barrington, James C. Corbett
On the Relative Complexity of Some Languages in NC. Inf. Process. Lett. 32 (5) (1989)