-
1
-
-
0031272525
-
Eraser: A dynamic data race detector for multithreaded programs
-
Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391-411 (1997)
-
(1997)
ACM Trans. Comput. Syst
, vol.15
, Issue.4
, pp. 391-411
-
-
Savage, S.1
Burrows, M.2
Nelson, G.3
Sobalvarro, P.4
Anderson, T.5
-
3
-
-
33644653428
-
Runtime analysis of atomicity for multithreaded programs
-
Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multithreaded programs. IEEE Trans. Software Eng. 32(2), 93-110 (2006)
-
(2006)
IEEE Trans. Software Eng
, vol.32
, Issue.2
, pp. 93-110
-
-
Wang, L.1
Stoller, S.D.2
-
4
-
-
26444458411
-
Detecting errors in multithreaded programs by generalized predictive analysis of executions
-
Steffen, M, Zavattaro, G, eds, FMOODS 2005, Springer, Heidelberg
-
Sen, K., Rosu, G., Agha, G.: Detecting errors in multithreaded programs by generalized predictive analysis of executions. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 211-226. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3535
, pp. 211-226
-
-
Sen, K.1
Rosu, G.2
Agha, G.3
-
5
-
-
38149019145
-
-
Chen, F., Rosu, G.: Parametric and sliced causality. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, 4590, pp. 240-253. Springer, Heidelberg (2007)
-
Chen, F., Rosu, G.: Parametric and sliced causality. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 240-253. Springer, Heidelberg (2007)
-
-
-
-
6
-
-
70649108946
-
Maximal causal models for multithreaded systems
-
Technical Report UIUCDCS-R-2008-3017, University of Illinois at Urbana-Champaign
-
Serbǎnutǎ, T.F., Chen, F., Rosu, G.: Maximal causal models for multithreaded systems. Technical Report UIUCDCS-R-2008-3017, University of Illinois at Urbana-Champaign (2008)
-
(2008)
-
-
Serbǎnutǎ, T.F.1
Chen, F.2
Rosu, G.3
-
7
-
-
0017996760
-
Time, clocks, and the ordering of events in a distributed system
-
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558-565 (1978)
-
(1978)
Commun. ACM
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L.1
-
8
-
-
77949421686
-
Symbolic pruning of concurrent program executions
-
ACM, New York
-
Wang, C., Chaudhuri, S., Gupta, A., Yang, Y.: Symbolic pruning of concurrent program executions. In: Foundations of Software Engineering. ACM, New York (2009)
-
(2009)
Foundations of Software Engineering
-
-
Wang, C.1
Chaudhuri, S.2
Gupta, A.3
Yang, Y.4
-
9
-
-
35048861896
-
A tool for checking ANSI-C programs
-
Jensen, K, Podelski, A, eds, TACAS 2004, Springer, Heidelberg
-
Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168-176. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2988
, pp. 168-176
-
-
Clarke, E.1
Kroening, D.2
Lerda, F.3
-
10
-
-
57349179388
-
Back to the future: Revisiting precise program verification using SMT solvers
-
ACM, New York
-
Lahiri, S., Qadeer, S.: Back to the future: revisiting precise program verification using SMT solvers. In: Principles of Programming Languages, pp. 171-182. ACM, New York (2008)
-
(2008)
Principles of Programming Languages
, pp. 171-182
-
-
Lahiri, S.1
Qadeer, S.2
-
11
-
-
33749846787
-
-
Dutertre, B., de Moura, L.: A fast linear-arithmetic solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, 4144, pp. 81-94. Springer, Heidelberg (2006)
-
Dutertre, B., de Moura, L.: A fast linear-arithmetic solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 81-94. Springer, Heidelberg (2006)
-
-
-
-
12
-
-
18844394830
-
Basic compiler algorithms for parallel programs
-
Lee, J., Padua, D., Midkiff, S.: Basic compiler algorithms for parallel programs. In: Principles and Practice of Parallel Programming, pp. 1-12 (1999)
-
(1999)
Principles and Practice of Parallel Programming
, pp. 1-12
-
-
Lee, J.1
Padua, D.2
Midkiff, S.3
-
13
-
-
47249124522
-
Peephole partial order reduction
-
Ramakrish-nan, C.R, Rehof, J, eds, TACAS 2008, Springer, Heidelberg
-
Wang, C., Yang, Z., Kahlon, V., Gupta, A.: Peephole partial order reduction. In: Ramakrish-nan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 382-396. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4963
, pp. 382-396
-
-
Wang, C.1
Yang, Z.2
Kahlon, V.3
Gupta, A.4
-
14
-
-
70350228798
-
-
Kahlon, V., Wang, C., Gupta, A.: Monotonic partial order reduction: An optimal symbolic partial order reduction technique. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, 5643, pp. 398-413. Springer, Heidelberg (2009)
-
Kahlon, V., Wang, C., Gupta, A.: Monotonic partial order reduction: An optimal symbolic partial order reduction technique. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 398-413. Springer, Heidelberg (2009)
-
-
-
-
15
-
-
24644522982
-
Context-bounded model checking of concurrent software
-
Halb-wachs, N, Zuck, L.D, eds, TACAS 2005, Springer, Heidelberg
-
Qadeer, S., Rehof, J.: Context-bounded model checking of concurrent software. In: Halb-wachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 93-107. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3440
, pp. 93-107
-
-
Qadeer, S.1
Rehof, J.2
-
16
-
-
34548061237
-
CHESS: Systematic stress testing of concurrent software
-
Puebla, G, ed, LOPSTR 2006, Springer, Heidelberg
-
Musuvathi, M., Qadeer, S.: CHESS: Systematic stress testing of concurrent software. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol. 4407, pp. 15-16. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4407
, pp. 15-16
-
-
Musuvathi, M.1
Qadeer, S.2
-
17
-
-
48949086477
-
-
Lal, A., Reps, T.W.: Reducing concurrent analysis under a context bound to sequential analysis. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, 5123, pp. 37-51. Springer, Heidelberg (2008)
-
Lal, A., Reps, T.W.: Reducing concurrent analysis under a context bound to sequential analysis. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 37-51. Springer, Heidelberg (2008)
-
-
-
-
18
-
-
70649094094
-
-
Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: Guo, M. (ed.) ISPA 2003. LNCS, 2745, p. 286. Springer, Heidelberg (2003)
-
Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: Guo, M. (ed.) ISPA 2003. LNCS, vol. 2745, p. 286. Springer, Heidelberg (2003)
-
-
-
-
20
-
-
0026202534
-
Logical time in distributed computing systems
-
Fidge, C.J.: Logical time in distributed computing systems. IEEE Computer 24(8), 28-33 (1991)
-
(1991)
IEEE Computer
, vol.24
, Issue.8
, pp. 28-33
-
-
Fidge, C.J.1
-
21
-
-
35448932808
-
CheckFence: Checking consistency of concurrent data types on relaxed memory models
-
ACM, New York
-
Burckhardt, S., Alur, R., Martin, M.: CheckFence: checking consistency of concurrent data types on relaxed memory models. In: Programming Language Design and Implementation, pp. 12-21. ACM, New York (2007)
-
(2007)
Programming Language Design and Implementation
, pp. 12-21
-
-
Burckhardt, S.1
Alur, R.2
Martin, M.3
-
22
-
-
26444598376
-
-
Rabinovitz, I., Grumberg, O.: Bounded model checking of concurrent programs. In: Etes-sami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, 3576, pp. 82-97. Springer, Heidelberg (2005)
-
Rabinovitz, I., Grumberg, O.: Bounded model checking of concurrent programs. In: Etes-sami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 82-97. Springer, Heidelberg (2005)
-
-
-
-
23
-
-
24144461208
-
Software model checking: The VeriSoft approach
-
Godefroid, P.: Software model checking: The VeriSoft approach. Formal Methods in System Design 26(2), 77-101 (2005)
-
(2005)
Formal Methods in System Design
, vol.26
, Issue.2
, pp. 77-101
-
-
Godefroid, P.1
-
24
-
-
70649097526
-
-
Yang, Y., Chen, X., Gopalakrishnan, G.: Inspect: A Runtime Model Checker for Multithreaded C Programs. Technical Report UUCS-08-004, University of Utah (2008)
-
Yang, Y., Chen, X., Gopalakrishnan, G.: Inspect: A Runtime Model Checker for Multithreaded C Programs. Technical Report UUCS-08-004, University of Utah (2008)
-
-
-
|