#Kiss semaphor indicator software
#Kiss semaphor indicator free

Xu, M., BodГk, R., Hill, M.D.: A serializability violation detector for shared-memory server programs. 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.