-
4
-
-
84901591670
-
-
F-Droid. https://f-droid.org.
-
F-Droid
-
-
-
5
-
-
84901591671
-
-
Twitter Finagle. https://github.com/twitter/finagle.
-
Twitter Finagle
-
-
-
6
-
-
84901591667
-
-
Libprocess. http://www.eecs.berkeley.edu/~benh/libprocess/.
-
Libprocess
-
-
-
7
-
-
0025433676
-
Weak ordering—a new definition
-
New York, NY, USA, ISBN 0-89791-366-3. URL
-
S. V. Adve and M. D. Hill. Weak ordering—a new definition. In Proceedings of the 17th Annual International Symposium on Computer Architecture, ISCA '90, pages 2-14, New York, NY, USA, 1990. ACM. ISBN 0-89791-366-3. URL http://doi.acm.org/10.1145/325164.325100.
-
(1990)
Proceedings of the 17th Annual International Symposium on Computer Architecture, ISCA '90
, pp. 2-14
-
-
Adve, S.V.1
Hill, M.D.2
-
9
-
-
84883073672
-
P: Safe asynchronous event-driven programming
-
A. Desai, V. Gupta, E. K. Jackson, S. Qadeer, S. K. Rajamani, and D. Zufferey. P: Safe asynchronous event-driven programming. In PLDI, pages 321-332, 2013.
-
(2013)
PLDI
, pp. 321-332
-
-
Desai, A.1
Gupta, V.2
Jackson, E.K.3
Qadeer, S.4
Rajamani, S.K.5
Zufferey, D.6
-
10
-
-
21644474151
-
Racer X: Effective, static detection of race conditions and deadlocks
-
D. R. Engler and K. Ashcraft. RacerX: Effective, Static Detection of Race Conditions and Deadlocks. In SOSP, pages 237-252, 2003.
-
(2003)
SOSP
, pp. 237-252
-
-
Engler, D.R.1
Ashcraft, K.2
-
11
-
-
70450237676
-
Fast track: Efficient and precise dynamic race detection
-
C. Flanagan and S. N. Freund. Fast Track: Efficient and Precise Dynamic Race Detection. In PLDI, pages 121-133, 2009.
-
(2009)
PLDI
, pp. 121-133
-
-
Flanagan, C.1
Freund, S.N.2
-
12
-
-
84881174639
-
Non-race concurrency bug detection through order-sensitive critical sections
-
R. C. Huang, E. Halberg, and G. E. Suh. Non-race concurrency bug detection through order-sensitive critical sections. In ISCA, pages 655-666, 2013.
-
(2013)
ISCA
, pp. 655-666
-
-
Huang, R.C.1
Halberg, E.2
Suh, G.E.3
-
13
-
-
77955007638
-
Universal causality graphs: A precise happens-before model for detecting bugs in concurrent programs
-
V. Kahlon and C. Wang. Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. In CAV, pages 434-449, 2010.
-
(2010)
CAV
, pp. 434-449
-
-
Kahlon, V.1
Wang, C.2
-
14
-
-
0018518477
-
How to make a multiprocessor computer that correctly executes multi process programs
-
Sept, ISSN 0018-9340
-
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. Computers, IEEE Transactions on, C-28(9):690-691, Sept 1979. ISSN 0018-9340. .
-
(1979)
Computers, IEEE Transactions on
, vol.C-28
, Issue.9
, pp. 690-691
-
-
Lamport, L.1
-
15
-
-
84974680784
-
Optimal tracing and replay for debugging shared-memory parallel programs
-
R. H. B. Netzer. Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs. In Workshop on Parallel and Distributed Debugging, pages 1-11, 1993.
-
(1993)
Workshop on Parallel and Distributed Debugging
, pp. 1-11
-
-
Netzer, R.H.B.1
-
16
-
-
84855196405
-
Bootstrapping energy debugging on smartphones: A first look at energy bugs in mobile devices
-
A. Pathak, Y. C. Hu, and M. Zhang. Bootstrapping energy debugging on smartphones: A first look at energy bugs in mobile devices. In Hot Nets, page 5, 2011.
-
(2011)
Hot Nets
, pp. 5
-
-
Pathak, A.1
Hu, Y.C.2
Zhang, M.3
-
17
-
-
84864366834
-
What is keeping my phone awake?: Characterizing and detecting no-sleep energy bugs in smartphone apps
-
A. Pathak, A. Jindal, Y. C. Hu, and S. P. Midkiff. What is keeping my phone awake?: characterizing and detecting no-sleep energy bugs in smartphone apps. In Mobi Sys, pages 267-280, 2012.
-
(2012)
Mobi Sys
, pp. 267-280
-
-
Pathak, A.1
Jindal, A.2
Hu, Y.C.3
Midkiff, S.P.4
-
18
-
-
84866407008
-
Race detection for web applications
-
B. Petrov, M. T. Vechev, M. Sridharan, and J. Dolby. Race detection for web applications. In PLDI, pages 251-262, 2012.
-
(2012)
PLDI
, pp. 251-262
-
-
Petrov, B.1
Vechev, M.T.2
Sridharan, M.3
Dolby, J.4
-
19
-
-
85009705529
-
Appinsight: Mobile app performance monitoring in the wild
-
L. Ravindranath, J. Padhye, S. Agarwal, R. Mahajan, I. Obermiller, and S. Shayandeh. Appinsight: mobile app performance monitoring in the wild. In OSDI, pages 107-120, 2012.
-
(2012)
OSDI
, pp. 107-120
-
-
Ravindranath, L.1
Padhye, J.2
Agarwal, S.3
Mahajan, R.4
Obermiller, I.5
Shayandeh, S.6
-
20
-
-
84888195676
-
Effective race detection for event-driven programs
-
V. Raychev, M. T. Vechev, and M. Sridharan. Effective race detection for event-driven programs. In OOPSLA, pages 151-166, 2013.
-
(2013)
OOPSLA
, pp. 151-166
-
-
Raychev, V.1
Vechev, M.T.2
Sridharan, M.3
-
21
-
-
84857826104
-
Sound predictive race detection in polynomial time
-
Y. Smaragdakis, J. Evans, C. Sadowski, J. Yi, and C. Flanagan. Sound predictive race detection in polynomial time. In POPL, pages 387-400, 2012.
-
(2012)
POPL
, pp. 387-400
-
-
Smaragdakis, Y.1
Evans, J.2
Sadowski, C.3
Yi, J.4
Flanagan, C.5
-
22
-
-
37849039604
-
RELAY: Static race detection on millions of lines of code
-
J.W. Voung, R. Jhala, and S. Lerner. RELAY: Static Race Detection on Millions of Lines of Code. In ESEC/SIGSOFT FSE, pages 205-214, 2007.
-
(2007)
ESEC/SIGSOFT FSE
, pp. 205-214
-
-
Voung, J.W.1
Jhala, R.2
Lerner, S.3
-
23
-
-
84892644896
-
Panappticon: Event-based tracing to measure mobile application and platform performance
-
L. Zhang, D. R. Bild, R. P. Dick, Z. M. Mao, and P. A. Dinda. Panappticon: Event-based tracing to measure mobile application and platform performance. In CODES+ISSS, pages 1-10, 2013.
-
(2013)
CODES+ISSS
, pp. 1-10
-
-
Zhang, L.1
Bild, D.R.2
Dick, R.P.3
Mao, Z.M.4
Dinda, P.A.5
-
24
-
-
79953071157
-
Con Seq: Detecting concurrency bugs through sequential errors
-
W. Zhang, J. Lim, R. Olichandran, J. Scherpelz, G. Jin, S. Lu, and T.W. Reps. ConSeq: Detecting Concurrency Bugs through Sequential Errors. In ASPLOS, pages 251-264, 2011.
-
(2011)
ASPLOS
, pp. 251-264
-
-
Zhang, W.1
Lim, J.2
Olichandran, R.3
Scherpelz, J.4
Jin, G.5
Lu, S.6
Reps, T.W.7
-
25
-
-
84876113775
-
Conmem: Detecting crash-triggering concurrency bugs through an effect-oriented approach
-
W. Zhang, C. Sun, J. Lim, S. Lu, and T. W. Reps. Conmem: Detecting crash-triggering concurrency bugs through an effect-oriented approach. ACM Trans. Softw. Eng. Methodol., 22(2):10, 2013.
-
(2013)
ACM Trans. Softw. Eng. Methodol.
, vol.22
, Issue.2
, pp. 10
-
-
Zhang, W.1
Sun, C.2
Lim, J.3
Lu, S.4
Reps, T.W.5
|