James C. Corbett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
8
Active years
1990–2012
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | OSDI | Spanner: Google's Globally-Distributed Database. | 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 | CIDR | Megastore: Providing Scalable, Highly Available Storage for Interactive Services. | Jason Baker, Chris Bond, James C. Corbett, J. J. Furman, Andrey Khorlin, James Larson, Jean-Michel Leon, Yawei Li, Alexander Lloyd, Vadim Yushprakh |
| 2000 | ICSE | Bandera: extracting finite-state models from Java source code. | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng |
| 2000 | ICSE | Bandera: a source-level interface for model checking Java programs. | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
| 1999 | ICSE | Patterns in Property Specifications for Finite-State Verification. | Matthew B. Dwyer, George S. Avrunin, James C. Corbett |
| 1999 | SAS | A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. | John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng |
| 1998 | ISSTA | Constructing Compact Models of Concurrent Java Programs. | James C. Corbett |
| 1997 | ICSE | Analyzing Partially-Implemented Real-Time Systems. | George S. Avrunin, James C. Corbett, Laura K. Dillon |
| 1996 | ISSTA | Constructing Abstract Models of Concurrent Real-Time Software. | James C. Corbett |
| 1994 | ISSTA | An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. | James C. Corbett |
| 1994 | RTSS | Modeling and Analysis of Real-Time Ada Tasking Programs. | James C. Corbett |
| 1993 | ISSTA | A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. | James C. Corbett, George S. Avrunin |
| 1992 | CAV | Verifying General Safety and Liveness Propterties with Integer Programming. | James C. Corbett |
| 1991 | CAV | Integer Programming in the Analysis of Concurrent Systems. | George S. Avrunin, Ugo A. Buy, James C. Corbett |
| 1991 | ISSTA | Experiments with an Improved Constrained Expression Toolset. | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
| 1990 | SPAA | Message-Passing Algorithms for a SIMD Torus with Coteries. | Martin C. Herbordt, Charles C. Weems, James C. Corbett |