James C. Corbett

35 papers A* 7A 6B 2Journal 15Unranked 5
YearRankTypeTitle / Venue / Authors
2013 J jnl
Spanner: Google's Globally Distributed Database.
ACM Trans. Comput. Syst.
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
2012 A* conf
Spanner: Google's Globally-Distributed Database.
OSDI
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
2011 A conf
Megastore: Providing Scalable, Highly Available Storage for Interactive Services.
CIDR
Jason Baker, Chris Bond, James C. Corbett, J. J. Furman, Andrey Khorlin, James Larson, Jean-Michel Leon, Yawei Li, Alexander Lloyd, Vadim Yushprakh
2002 J jnl
Expressing checkable properties of dynamic systems: the Bandera Specification Language.
Int. J. Softw. Tools Technol. Transf.
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
2000 — conf
A Language Framework for Expressing Checkable Properties of Dynamic Software.
SPIN
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
2000 A* conf
Bandera: a source-level interface for model checking Java programs.
ICSE
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
2000 A* conf
Bandera: extracting finite-state models from Java source code.
ICSE
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
2000 J jnl
Benchmarking Finite-State Verifiers.
Int. J. Softw. Tools Technol. Transf.
George S. Avrunin, James C. Corbett, Matthew B. Dwyer
2000 J jnl
Using shape analysis to reduce finite-state models of concurrent Java programs.
ACM Trans. Softw. Eng. Methodol.
James C. Corbett
1999 B conf
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.
SAS
John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
1999 A* conf
Patterns in Property Specifications for Finite-State Verification.
ICSE
Matthew B. Dwyer, George S. Avrunin, James C. Corbett
1998 J jnl
Analyzing Partially-Implemented Real-Time Systems.
IEEE Trans. Software Eng.
George S. Avrunin, James C. Corbett, Laura K. Dillon
1998 A conf
Constructing Compact Models of Concurrent Java Programs.
ISSTA
James C. Corbett
1998 J jnl
Cooperation between strands of practice: challenges and opportunities for the renewal of OR.
J. Oper. Res. Soc.
Willem J. A. M. Overmeer, James C. Corbett, Luk N. Van Wassenhove
1998 — conf
Property specification patterns for finite-state verification.
FMSP
Matthew B. Dwyer, George S. Avrunin, James C. Corbett
1997 A* conf
Analyzing Partially-Implemented Real-Time Systems.
ICSE
George S. Avrunin, James C. Corbett, Laura K. Dillon
1996 A conf
Constructing Abstract Models of Concurrent Real-Time Software.
ISSTA
James C. Corbett
1996 J jnl
Evaluating Deadlock Detection Methods for Concurrent Software.
IEEE Trans. Software Eng.
James C. Corbett
1996 J jnl
Timing Analysis of Ada Tasking Programs.
IEEE Trans. Software Eng.
James C. Corbett
1995 J jnl
Using Integer Programming to Verify General Safety and Liveness Properties.
Formal Methods Syst. Des.
James C. Corbett, George S. Avrunin
1994 A conf
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs.
ISSTA
James C. Corbett
1994 J jnl
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.
IEEE Trans. Software Eng.
George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden
1994 A conf
Modeling and Analysis of Real-Time Ada Tasking Programs.
RTSS
James C. Corbett
1994 J jnl
Practical Algorithms for Online Routing on Fixed and Reconfigurable Meshes.
J. Parallel Distributed Comput.
Martin C. Herbordt, James C. Corbett, Charles C. Weems, John Spalding
1994 — conf
Towards Scalable Compositional Analysis.
SIGSOFT FSE
James C. Corbett, George S. Avrunin
1993 A conf
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems.
ISSTA
James C. Corbett, George S. Avrunin
1993 — conf
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification.
IWSSD
James C. Corbett
1992 A* conf
Verifying General Safety and Liveness Propterties with Integer Programming.
CAV
James C. Corbett
1991 J jnl
A Note on Some Languages in Uniform ACC0.
Theor. Comput. Sci.
David A. Mix Barrington, James C. Corbett
1991 J jnl
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.
IEEE Trans. Software Eng.
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
1991 — conf
Experiments with an Improved Constrained Expression Toolset.
Symposium on Testing, Analysis, and Verification
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
1991 A* conf
Integer Programming in the Analysis of Concurrent Systems.
CAV
George S. Avrunin, Ugo A. Buy, James C. Corbett
1991 J jnl
Message-passing algorithms for a SIMD torus with coteries.
SIGARCH Comput. Archit. News
Martin C. Herbordt, Charles C. Weems, James C. Corbett
1990 B conf
Message-Passing Algorithms for a SIMD Torus with Coteries.
SPAA
Martin C. Herbordt, Charles C. Weems, James C. Corbett
1989 J jnl
On the Relative Complexity of Some Languages in NC.
Inf. Process. Lett.
David A. Mix Barrington, James C. Corbett