Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multithreaded programs.
KISS SEMAPHOR INDICATOR SOFTWARE
In: Proceedings of ESEC/SIGSOFT Foundation of Software Engineering (FSE), pp. W., Jhala, R., Lerner, S.: RELAY: static race detection on millions of lines of code. Von Praun, C., Gross, T.R.: Static detection of atomicity violations in object-oriented programs. In: Proceedings of Usenix Winter Technical Conference, pp. Sterling, N.: WARLOCK - a static data race analysis tool.
In: Proceedings ACM SIGPLAN-SIGACT Principles of Programming Languages (POPL), pp. Schwarz, M.D., Seidl, H., Vojdani, V., Lammich, P., Müller-Olm, M.: Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. Schwarz, M.D., Seidl, H., Vojdani, V., Apinis, K.: Precise analysis of value-dependent synchronization in priority scheduled programs. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. Real Time Engineers Ltd., The FreeRTOS Real Time Operating System (2014) In: Proceedings of ACM SIG-PLAN Programming Languages Design and Implementaion (PLDI), pp. Qadeer, S., Wu, D.: KISS: keep it simple and sequential. Technical Report CSA-TR-2016-1, Department of Computer Science and Automation, IISc (2016)
KISS SEMAPHOR INDICATOR FREE
Mukherjee, S., Arunkumar, S., D’Souza, D.: Proving an RTOS kernel free of data-races. In: Proceedings of Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: detecting atomicity violations via access interleaving invariants. Kahlon, V., Sinha, N., Kruus, E., Zhang, Y.: Static data race detection for concurrent programs with asynchronous calls. Herlihy, M., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. In: Proceedings of ACM SIGPLAN Programming Language Design and Implementation (PLDI), pp. Henzinger, T.A., Jhala, R., Majumdar, R.: Race checking by context inference. In: Dams, D., Gerth, R., Leue, S., Massink, M.
Havelund, K., Skakkebæk, J.U.: Applying model checking in Java verification. Havelund, K., Lowry, M.R., Penix, J.: Formal analysis of a space-craft controller using SPIN. ACM, New York (2009)įlanagan, C., Qadeer, S.: A type and effect system for atomicity. 71(2), 89–109 (2008)įlanagan, C., Freund, S.N.: Fasttrack: Efficient and precise dynamic race detection. doi: 10.1007/978-5-1_8įlanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. 37(5), 237–252 (2003)įarzan, A., Madhusudan, P.: Monitoring atomicity in concurrent programs. Technical Report MSR-TR–118, Microsoft Research (2005)Įngler, D., Ashcraft, K.: Racerx: effective, static detection of race conditions and deadlocks. ACM, New York (1991)Įlmas, T., Qadeer, S., Tasiran, S.: Precise race detection and efficient model checking using locksets. In: Proceedings of ACM/ONR Workshop on Parallel and Distributed Debugging (PADD), pp. doi: 10.1007/978-1-3_8ĭinning, A., Schonberg, E.: Detecting access anomalies in programs with critical sections. ACM, New York (2002)ĭias, R.J., Pessanha, V., Lourenço, J.M.: Precise detection of atomicity violations. In: Proceedings of ACM SIGPLAN Programming Languages Design and Implementation (PLDI), pp. 62–71 (2014)Ĭhoi, J.-D., Lee, K., Loginov, A., O’Callahan, R., Sarkar, V., Sridharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: Proceedings of ACM/IEEE Formal Methods and Models for Codesign (MEMOCODE), pp. 13, 207–227 (2003)Ĭhandrasekaran, P., Kumar, K.B.S., Minz, R.L., D’Souza, D., Meshram, L.: A multi-core version of FreeRTOS verified for datarace and deadlock freedom. (TOPLAS) 28(2), 207–255 (2006)Īlur, R., McMillan, K.L., Peled, D.A.: Model-checking of correctness conditions for concurrent objects. Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: static race detection for Java.
0 kommentar(er)
