• Abdulla P, Atig M, Godbole A, Krishna S and Vahanwala M. Overcoming Memory Weakness with Unified Fairness. Computer Aided Verification. (184-205).

    https://doi.org/10.1007/978-3-031-37706-8_10

  • Abdulla P, Atig M, Bouajjani A, Narayan Kumar K and Saivasan P. (2022). Verifying Reachability for TSO Programs with Dynamic Thread Creation. Networked Systems. 10.1007/978-3-031-17436-0_19. (283-300).

    https://link.springer.com/10.1007/978-3-031-17436-0_19

  • Melliès P and Stefanesco L. An Asynchronous Soundness Theorem for Concurrent Separation Logic. Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. (699-708).

    https://doi.org/10.1145/3209108.3209116

  • Abe T and Maeda T. (2017). A general model checking framework for various memory consistency models. International Journal on Software Tools for Technology Transfer (STTT). 19:5. (623-647). Online publication date: 1-Oct-2017.

    https://doi.org/10.1007/s10009-016-0429-y

  • Zakkak F and Pratikakis P. DiSquawk. Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. (1-12).

    https://doi.org/10.1145/2972206.2972212

  • Prasad S. (2016). Program Execution on Reconfigurable Multicore Architectures. Electronic Proceedings in Theoretical Computer Science. 10.4204/EPTCS.211.9. 211. (83-91).

    http://arxiv.org/abs/1606.05944

  • Blanchard A, Kosmatov N, Lemerre M and Loulergue F. (2015). A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. Formal Methods for Industrial Critical Systems. 10.1007/978-3-319-19458-5_2. (15-30).

    https://link.springer.com/10.1007/978-3-319-19458-5_2

  • Abe T and Maeda T. Optimization of a General Model Checking Framework for Various Memory Consistency Models. Proceedings of the 8th International Conference on Partitioned Global Address Space Programming Models. (1-10).

    https://doi.org/10.1145/2676870.2676878

  • Alglave J, Maranget L and Tautschnig M. (2014). Herding Cats. ACM Transactions on Programming Languages and Systems. 36:2. (1-74). Online publication date: 1-Jul-2014.

    https://doi.org/10.1145/2627752

  • Lochbihler A. (2014). Making the java memory model safe. ACM Transactions on Programming Languages and Systems. 35:4. (1-65). Online publication date: 1-Dec-2013.

    https://doi.org/10.1145/2518191

  • Petri G. Studying Operational Models of Relaxed Concurrency. 8th International Symposium on Trustworthy Global Computing - Volume 8358. (254-272).

    https://doi.org/10.1007/978-3-319-05119-2_15

  • Demange D, Laporte V, Zhao L, Jagannathan S, Pichardie D and Vitek J. (2013). Plan B. ACM SIGPLAN Notices. 48:1. (329-342). Online publication date: 23-Jan-2013.

    https://doi.org/10.1145/2480359.2429110

  • Henzinger T, Kirsch C, Payer H, Sezgin A and Sokolova A. (2013). Quantitative relaxation of concurrent data structures. ACM SIGPLAN Notices. 48:1. (317-328). Online publication date: 23-Jan-2013.

    https://doi.org/10.1145/2480359.2429109

  • Abel A, Pientka B, Thibodeau D and Setzer A. (2013). Copatterns. ACM SIGPLAN Notices. 48:1. (27-38). Online publication date: 23-Jan-2013.

    https://doi.org/10.1145/2480359.2429075

  • Tate R. (2013). The sequential semantics of producer effect systems. ACM SIGPLAN Notices. 48:1. (15-26). Online publication date: 23-Jan-2013.

    https://doi.org/10.1145/2480359.2429074

  • Demange D, Laporte V, Zhao L, Jagannathan S, Pichardie D and Vitek J. Plan B. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (329-342).

    https://doi.org/10.1145/2429069.2429110

  • Tan R, Xing G, Liu X, Yao J and Yuan Z. (2013). Adaptive calibration for fusion-based cyber-physical systems. ACM Transactions on Embedded Computing Systems. 11:4. (1-25). Online publication date: 1-Dec-2012.

    https://doi.org/10.1145/2362336.2362347

  • Subramanian V, Gilberti M, Doboli A and Pescaru D. (2013). A goal-oriented programming framework for grid sensor networks with reconfigurable embedded nodes. ACM Transactions on Embedded Computing Systems. 11:4. (1-30). Online publication date: 1-Dec-2012.

    https://doi.org/10.1145/2362336.2362346

  • Malik A, Salcic Z, Chong C and Javed S. (2013). System-level approach to the design of a smart distributed surveillance system using systemj. ACM Transactions on Embedded Computing Systems. 11:4. (1-24). Online publication date: 1-Dec-2012.

    https://doi.org/10.1145/2362336.2362344

  • Boudol G, Petri G and Serpette B. (2012). Relaxed Operational Semantics of Concurrent Programming Languages. Electronic Proceedings in Theoretical Computer Science. 10.4204/EPTCS.89.3. 89. (19-33).

    http://arxiv.org/abs/1208.5915v1

  • Wang D, King S, Frankel J, Vipperla R, Evans N and Troncy R. (2012). Direct posterior confidence for out-of-vocabulary spoken term detection. ACM Transactions on Information Systems. 30:3. (1-34). Online publication date: 1-Aug-2012.

    https://doi.org/10.1145/2328967.2328969

  • Mølhave T. (2012). Using TPIE for processing massive data sets in C++. SIGSPATIAL Special. 4:2. (24-27). Online publication date: 1-Jul-2012.

    https://doi.org/10.1145/2367574.2367579

  • Sitchinava N. (2012). Computational geometry in the parallel external memory model. SIGSPATIAL Special. 4:2. (18-23). Online publication date: 1-Jul-2012.

    https://doi.org/10.1145/2367574.2367578

  • Jagadeesan R, Petri G and Riely J. Brookes is relaxed, almost!. Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures. (180-194).

    https://doi.org/10.1007/978-3-642-28729-9_12

  • Goto M, Jagadeesan R, Ptcher C and Riely J. Types for relaxed memory models. Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. (25-38).

    https://doi.org/10.1145/2103786.2103791

  • Ševčík J. Safe optimisations for shared-memory concurrent programs. Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation. (306-316).

    https://doi.org/10.1145/1993498.1993534

  • Ševčík J. (2011). Safe optimisations for shared-memory concurrent programs. ACM SIGPLAN Notices. 46:6. (306-316). Online publication date: 4-Jun-2011.

    https://doi.org/10.1145/1993316.1993534

  • Appel A. Verified software toolchain. Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software. (1-17).

    /doi/10.5555/1987211.1987212

  • De A, Roychoudhury A and D'Souza D. WOMM. Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I. (519-534).

    /doi/10.5555/1939281.1939331

  • Sewell P, Sarkar S, Owens S, Nardelli F and Myreen M. (2010). x86-TSO. Communications of the ACM. 53:7. (89-97). Online publication date: 1-Jul-2010.

    https://doi.org/10.1145/1785414.1785443

  • Owens S. Reasoning about the implementation of concurrency abstractions on x86-TSO. Proceedings of the 24th European conference on Object-oriented programming. (478-503).

    /doi/10.5555/1883978.1884011

  • Guerraoui R, Henzinger T, Kapalka M and Singh V. Transactions in the jungle. Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures. (263-272).

    https://doi.org/10.1145/1810479.1810529

  • Flanagan C and Freund S. (2010). Adversarial memory for detecting destructive races. ACM SIGPLAN Notices. 45:6. (244-254). Online publication date: 12-Jun-2010.

    https://doi.org/10.1145/1809028.1806625

  • Flanagan C and Freund S. Adversarial memory for detecting destructive races. Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation. (244-254).

    https://doi.org/10.1145/1806596.1806625

  • Burckhardt S, Musuvathi M and Singh V. Verifying local transformations on relaxed memory models. Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction. (104-123).

    https://doi.org/10.1007/978-3-642-11970-5_7

  • Burn J, Ma L and Ng Tye E. (1995). Managing IT professionals in a global environment. ACM SIGCPR Computer Personnel. 16:3. (11-19). Online publication date: 1-Jul-1995.

    https://doi.org/10.1145/224475.224480

  • Benham H and Wagner J. (1995). A comparative study of ethical attitudes among MIS students and professionals. ACM SIGCPR Computer Personnel. 16:3. (3-10). Online publication date: 1-Jul-1995.

    https://doi.org/10.1145/224475.224479

  • Lorch J, Chen Y, Kapritsos M, Ma H, Parno B, Qadeer S, Sharma U, Wilcox J and Zhao X. (2022). Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Transactions on Programming Languages and Systems. 44:2. (1-39). Online publication date: 30-Jun-2022.

    https://doi.org/10.1145/3502491

  • Moiseenko E, Podkopaev A and Koznov D. (2021). A Survey of Programming Language Memory Models. Programming and Computing Software. 47:6. (439-456). Online publication date: 1-Nov-2021.

    https://doi.org/10.1134/S0361768821060050

  • Hóu Z, Sanan D, Tiu A, Liu Y, Hoa K and Dong J. (2021). An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. Journal of Automated Reasoning. 65:4. (569-598). Online publication date: 1-Apr-2021.

    https://doi.org/10.1007/s10817-020-09579-4

  • Colvin R. (2021). Parallelized Sequential Composition and Hardware Weak Memory Models. Software Engineering and Formal Methods. 10.1007/978-3-030-92124-8_12. (201-221).

    https://link.springer.com/10.1007/978-3-030-92124-8_12

  • Melliès P and Stefanesco L. An Asynchronous Soundness Theorem for Concurrent Separation Logic. Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. (699-708).

    https://doi.org/10.1145/3209108.3209116

  • Fava D, Steffen M and Stolz V. (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization. Formal Methods. 10.1007/978-3-319-95582-7_15. (258-276).

    http://link.springer.com/10.1007/978-3-319-95582-7_15

  • Vollmer M, Scott R, Musuvathi M and Newton R. (2017). SC-Haskell. ACM SIGPLAN Notices. 52:8. (283-298). Online publication date: 26-Oct-2017.

    https://doi.org/10.1145/3155284.3018746

  • Abe T and Maeda T. (2017). A general model checking framework for various memory consistency models. International Journal on Software Tools for Technology Transfer (STTT). 19:5. (623-647). Online publication date: 1-Oct-2017.

    https://doi.org/10.1007/s10009-016-0429-y

  • Vollmer M, Scott R, Musuvathi M and Newton R. SC-Haskell. Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. (283-298).

    https://doi.org/10.1145/3018743.3018746

  • Abe T and Maeda T. (2017). Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations. Journal of Information Processing. 10.2197/ipsjjip.25.244. 25:0. (244-255).

    https://www.jstage.jst.go.jp/article/ipsjjip/25/0/25_244/_article

  • Bornholt J, Kaufmann A, Li J, Krishnamurthy A, Torlak E and Wang X. (2016). Specifying and Checking File System Crash-Consistency Models. ACM SIGARCH Computer Architecture News. 44:2. (83-98). Online publication date: 29-Jul-2016.

    https://doi.org/10.1145/2980024.2872406

  • Bornholt J, Kaufmann A, Li J, Krishnamurthy A, Torlak E and Wang X. (2016). Specifying and Checking File System Crash-Consistency Models. ACM SIGPLAN Notices. 51:4. (83-98). Online publication date: 9-Jun-2016.

    https://doi.org/10.1145/2954679.2872406

  • Bornholt J, Kaufmann A, Li J, Krishnamurthy A, Torlak E and Wang X. (2016). Specifying and Checking File System Crash-Consistency Models. ACM SIGOPS Operating Systems Review. 10.1145/2954680.2872406. 50:2. (83-98). Online publication date: 25-Mar-2016.

    http://dl.acm.org/citation.cfm?doid=2954680.2872406

  • Bornholt J, Kaufmann A, Li J, Krishnamurthy A, Torlak E and Wang X. Specifying and Checking File System Crash-Consistency Models. Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems. (83-98).

    https://doi.org/10.1145/2872362.2872406

  • Abe T and Maeda T. (2016). Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. Programming Languages and Systems. 10.1007/978-3-319-47958-3_4. (63-84).

    http://link.springer.com/10.1007/978-3-319-47958-3_4

  • Bocchi L and Melgratti H. (2015). On the behaviour of general purpose applications on cloud storages. Service Oriented Computing and Applications. 9:3-4. (213-227). Online publication date: 1-Sep-2015.

    https://doi.org/10.1007/s11761-014-0165-7

  • Blanchard A, Kosmatov N, Lemerre M and Loulergue F. (2015). A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. Formal Methods for Industrial Critical Systems. 10.1007/978-3-319-19458-5_2. (15-30).

    https://link.springer.com/10.1007/978-3-319-19458-5_2

  • Abe T and Maeda T. Optimization of a General Model Checking Framework for Various Memory Consistency Models. Proceedings of the 8th International Conference on Partitioned Global Address Space Programming Models. (1-10).

    https://doi.org/10.1145/2676870.2676878

  • Mantel H, Perner M and Sauer J. Noninterference under Weak Memory Models. Proceedings of the 2014 IEEE 27th Computer Security Foundations Symposium. (80-94).

    https://doi.org/10.1109/CSF.2014.14

  • Selfridge B. (2014). An ACL2 Mechanization of an Axiomatic Framework for Weak Memory. Electronic Proceedings in Theoretical Computer Science. 10.4204/EPTCS.152.11. 152. (129-144).

    http://arxiv.org/abs/1406.1563v1

  • Abe T and Maeda T. A General Model Checking Framework for Various Memory Consistency Models. Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops. (332-341).

    https://doi.org/10.1109/IPDPSW.2014.47

  • Atig M, Bouajjani A and Parlato G. (2014). Context-Bounded Analysis of TSO Systems. From Programs to Systems. The Systems perspective in Computing. 10.1007/978-3-642-54848-2_2. (21-38).

    http://link.springer.com/10.1007/978-3-642-54848-2_2

  • Petri G. (2014). Studying Operational Models of Relaxed Concurrency. Trustworthy Global Computing. 10.1007/978-3-319-14128-2_15. (254-272).

    http://link.springer.com/10.1007/978-3-319-14128-2_15

  • Bocchi L and Melgratti H. (2014). On the Behaviour of General-Purpose Applications on Cloud Storages. Web Services and Formal Methods. 10.1007/978-3-319-08260-8_3. (29-47).

    http://link.springer.com/10.1007/978-3-319-08260-8_3

  • Petri G. (2014). Studying Operational Models of Relaxed Concurrency. Trustworthy Global Computing. 10.1007/978-3-319-05119-2_15. (254-272).

    http://link.springer.com/10.1007/978-3-319-05119-2_15

  • Demange D, Laporte V, Zhao L, Jagannathan S, Pichardie D and Vitek J. (2013). Plan B. ACM SIGPLAN Notices. 48:1. (329-342). Online publication date: 23-Jan-2013.

    https://doi.org/10.1145/2480359.2429110

  • Jagadeesan R, Petri G and Riely J. Brookes is relaxed, almost!. Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures. (180-194).

    https://doi.org/10.1007/978-3-642-28729-9_12

  • Appel A. (2011). Verified Software Toolchain. Programming Languages and Systems. 10.1007/978-3-642-19718-5_1. (1-17).

    http://link.springer.com/10.1007/978-3-642-19718-5_1

  • Jagadeesan R, Pitcher C and Riely J. Generative operational semantics for relaxed memory models. Proceedings of the 19th European conference on Programming Languages and Systems. (307-326).

    https://doi.org/10.1007/978-3-642-11957-6_17

  • Ferreira R, Feng X and Shao Z. Parameterized memory models and concurrent separation logic. Proceedings of the 19th European conference on Programming Languages and Systems. (267-286).

    https://doi.org/10.1007/978-3-642-11957-6_15

  • Boudol G and Petri G. A theory of speculative computation. Proceedings of the 19th European conference on Programming Languages and Systems. (165-184).

    https://doi.org/10.1007/978-3-642-11957-6_10

  • Owens S, Sarkar S and Sewell P. A Better x86 Memory Model. Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics. (391-407).

    https://doi.org/10.1007/978-3-642-03359-9_27