• Fu H, Wang Z, Chen X and Fan X. (2018). A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques. Software Quality Journal. 26:3. (855-889). Online publication date: 1-Sep-2018.

    https://doi.org/10.1007/s11219-017-9385-3

  • Didehban M and Shrivastava A. A Compiler Technique for Processor-Wide Protection From Soft Errors in Multithreaded Environments. IEEE Transactions on Reliability. 10.1109/TR.2018.2793098. 67:1. (249-263).

    http://ieeexplore.ieee.org/document/8289351/

  • Tchamgoue G, Kim K and Jun Y. (2016). EventHealer. Journal of Systems and Software. 118:C. (208-220). Online publication date: 1-Aug-2016.

    https://doi.org/10.1016/j.jss.2016.02.051

  • Biswas S, Zhang M, Bond M and Lucia B. (2015). Valor: efficient, software-only region conflict exceptions. ACM SIGPLAN Notices. 50:10. (241-259). Online publication date: 18-Dec-2015.

    https://doi.org/10.1145/2858965.2814292

  • Zhang M. SIRe: an efficient snapshot isolation-based memory model for detecting and tolerating region conflicts. Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. (87-88).

    https://doi.org/10.1145/2814189.2815371

  • Biswas S, Zhang M, Bond M and Lucia B. Valor: efficient, software-only region conflict exceptions. Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (241-259).

    https://doi.org/10.1145/2814270.2814292

  • Kim Y, Song S and Jun Y. (2014). VORD. International Journal of Parallel Programming. 42:6. (900-930). Online publication date: 1-Dec-2014.

    https://doi.org/10.1007/s10766-013-0257-6

  • Roy A, Hand S and Harris T. (2012). Weak atomicity for the x86 memory consistency model. Journal of Parallel and Distributed Computing. 72:10. (1306-1317). Online publication date: 1-Oct-2012.

    https://doi.org/10.1016/j.jpdc.2012.06.001

  • Chen Q, Wang L, Guo P and Huang H. Analyzing Concurrent Programs Title for Potential Programming Errors. Modern Software Engineering Concepts and Practices. 10.4018/978-1-60960-215-4.ch016. (380-415).

    http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-215-4.ch016

  • Yu J and Narayanasamy S. Tolerating Concurrency Bugs Using Transactions as Lifeguards. Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture. (263-274).

    https://doi.org/10.1109/MICRO.2010.56

  • Zhai J, Jin Y, Chen W and Zheng W. (2023). Informed Memory Access Monitoring. Performance Analysis of Parallel Applications for HPC. 10.1007/978-981-99-4366-1_4. (73-97).

    https://link.springer.com/10.1007/978-981-99-4366-1_4

  • Choi E, Kim T, Jun Y, Lee S and Han M. (2022). On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software. Applied Sciences. 10.3390/app12042014. 12:4. (2014).

    https://www.mdpi.com/2076-3417/12/4/2014

  • Cheung M, She J, Junus A and Cao L. (2016). Prediction of Virality Timing Using Cascades in Social Media. ACM Transactions on Multimedia Computing, Communications, and Applications. 13:1. (1-23). Online publication date: 28-Feb-2017.

    https://doi.org/10.1145/2978771

  • Biswas S, Zhang M, Bond M and Lucia B. (2015). Valor: efficient, software-only region conflict exceptions. ACM SIGPLAN Notices. 50:10. (241-259). Online publication date: 18-Dec-2015.

    https://doi.org/10.1145/2858965.2814292

  • Zhang M. SIRe: an efficient snapshot isolation-based memory model for detecting and tolerating region conflicts. Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. (87-88).

    https://doi.org/10.1145/2814189.2815371

  • Biswas S, Zhang M, Bond M and Lucia B. Valor: efficient, software-only region conflict exceptions. Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (241-259).

    https://doi.org/10.1145/2814270.2814292

  • Bagherzadeh M and Rajan H. Panini: a concurrent programming model for solving pervasive and oblivious interference. Proceedings of the 14th International Conference on Modularity. (93-108).

    https://doi.org/10.1145/2724525.2724568

  • Liu P, Tripp O and Zhang X. (2014). Flint. ACM SIGPLAN Notices. 49:10. (543-560). Online publication date: 31-Dec-2015.

    https://doi.org/10.1145/2714064.2660217

  • Liu P, Tripp O and Zhang C. Grail: context-aware fixing of concurrency bugs. Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. (318-329).

    https://doi.org/10.1145/2635868.2635881

  • Liu P, Tripp O and Zhang X. Flint. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. (543-560).

    https://doi.org/10.1145/2660193.2660217

  • Zhang L and Wang C. Runtime prevention of concurrency related type-state violations in multithreaded applications. Proceedings of the 2014 International Symposium on Software Testing and Analysis. (1-12).

    https://doi.org/10.1145/2610384.2610405

  • Chen F and Hwang T. (2014). Clock-Tree Synthesis with Methodology of Reuse in 3D-IC. ACM Journal on Emerging Technologies in Computing Systems. 10:3. (1-22). Online publication date: 1-Apr-2014.

    https://doi.org/10.1145/2567668

  • Chung H, Teuscher C and Pande P. (2014). Design and Evaluation of Technology-Agnostic Heterogeneous Networks-on-Chip. ACM Journal on Emerging Technologies in Computing Systems. 10:3. (1-27). Online publication date: 1-Apr-2014.

    https://doi.org/10.1145/2567666

  • Kamal M, Afzali-Kusha A, Safari S and Pedram M. (2014). Impact of Process Variations on Speedup and Maximum Achievable Frequency of Extensible Processors. ACM Journal on Emerging Technologies in Computing Systems. 10:3. (1-25). Online publication date: 1-Apr-2014.

    https://doi.org/10.1145/2567665

  • Tan T. (2014). Extending two-variable logic on data trees with order on data values and its automata. ACM Transactions on Computational Logic. 15:1. (1-39). Online publication date: 1-Feb-2014.

    https://doi.org/10.1145/2559945

  • Qi S, Muzahid A, Ahn W and Torrellas J. (2014). Dynamically detecting and tolerating IF-Condition Data Races 2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA). 10.1109/HPCA.2014.6835923. 978-1-4799-3097-5. (120-131).

    http://ieeexplore.ieee.org/document/6835923/

  • Zhang W, de Kruijf M, Li A, Lu S and Sankaralingam K. (2013). ConAir. ACM SIGPLAN Notices. 48:4. (113-126). Online publication date: 23-Apr-2013.

    https://doi.org/10.1145/2499368.2451129

  • Wester B, Devecsery D, Chen P, Flinn J and Narayanasamy S. (2013). Parallelizing data race detection. ACM SIGPLAN Notices. 48:4. (27-38). Online publication date: 23-Apr-2013.

    https://doi.org/10.1145/2499368.2451120

  • Zhang W, de Kruijf M, Li A, Lu S and Sankaralingam K. (2013). ConAir. ACM SIGARCH Computer Architecture News. 41:1. (113-126). Online publication date: 29-Mar-2013.

    https://doi.org/10.1145/2490301.2451129

  • Wester B, Devecsery D, Chen P, Flinn J and Narayanasamy S. (2013). Parallelizing data race detection. ACM SIGARCH Computer Architecture News. 41:1. (27-38). Online publication date: 29-Mar-2013.

    https://doi.org/10.1145/2490301.2451120

  • Zhang W, de Kruijf M, Li A, Lu S and Sankaralingam K. ConAir. Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems. (113-126).

    https://doi.org/10.1145/2451116.2451129

  • Wester B, Devecsery D, Chen P, Flinn J and Narayanasamy S. Parallelizing data race detection. Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems. (27-38).

    https://doi.org/10.1145/2451116.2451120

  • Huang J and Zhang C. (2012). Execution privatization for scheduler-oblivious concurrent programs. ACM SIGPLAN Notices. 47:10. (737-752). Online publication date: 15-Nov-2012.

    https://doi.org/10.1145/2398857.2384670

  • St-Amour V, Tobin-Hochstadt S and Felleisen M. (2012). Optimization coaching. ACM SIGPLAN Notices. 47:10. (163-178). Online publication date: 15-Nov-2012.

    https://doi.org/10.1145/2398857.2384629

  • Kulkarni S and Cavazos J. (2012). Mitigating the compiler optimization phase-ordering problem using machine learning. ACM SIGPLAN Notices. 47:10. (147-162). Online publication date: 15-Nov-2012.

    https://doi.org/10.1145/2398857.2384628

  • Logozzo F and Ball T. (2012). Modular and verified automatic program repair. ACM SIGPLAN Notices. 47:10. (133-146). Online publication date: 15-Nov-2012.

    https://doi.org/10.1145/2398857.2384626

  • Betts A, Chong N, Donaldson A, Qadeer S and Thomson P. (2012). GPUVerify. ACM SIGPLAN Notices. 47:10. (113-132). Online publication date: 15-Nov-2012.

    https://doi.org/10.1145/2398857.2384625

  • Schiller T and Ernst M. (2012). Reducing the barriers to writing verified specifications. ACM SIGPLAN Notices. 47:10. (95-112). Online publication date: 15-Nov-2012.

    https://doi.org/10.1145/2398857.2384624

  • Huang J and Zhang C. Execution privatization for scheduler-oblivious concurrent programs. Proceedings of the ACM international conference on Object oriented programming systems languages and applications. (737-752).

    https://doi.org/10.1145/2384616.2384670

  • Jin G, Zhang W, Deng D, Liblit B and Lu S. Automated concurrency-bug fixing. Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation. (221-236).

    /doi/10.5555/2387880.2387902

  • Ratanaworabhan P, Burtscher M, Kirovski D and Zorn B. Hardware support for enforcing isolation in lock-based parallel programs. Proceedings of the 26th ACM international conference on Supercomputing. (301-310).

    https://doi.org/10.1145/2304576.2304618

  • Qi S, Otsuki N, Nogueira L, Muzahid A and Torrellas J. (2012). Pacman: Tolerating asymmetric data races with unintrusive hardware 2012 IEEE 18th International Symposium on High Performance Computer Architecture (HPCA). 10.1109/HPCA.2012.6169039. 978-1-4673-0826-7. (1-12).

    http://ieeexplore.ieee.org/document/6169039/

  • Orosa L, Antelo E and Bruguera J. (2012). FlexSig. ACM Transactions on Architecture and Code Optimization. 8:4. (1-20). Online publication date: 1-Jan-2012.

    https://doi.org/10.1145/2086696.2086709

  • Inoue H, Yamada J, Yoneda H, Togawa K, Motomura M and Furuta K. (2011). Test compression for dynamically reconfigurable processors. ACM Transactions on Reconfigurable Technology and Systems. 4:4. (1-15). Online publication date: 1-Dec-2011.

    https://doi.org/10.1145/2068716.2068726

  • Pacheco D. (2011). Postmortem Debugging in Dynamic Environments. Queue. 9:10. (10-21). Online publication date: 1-Oct-2011.

    https://doi.org/10.1145/2039359.2039361

  • Yi J, Sadowski C and Flanagan C. (2011). Cooperative reasoning for preemptive execution. ACM SIGPLAN Notices. 46:8. (147-156). Online publication date: 7-Sep-2011.

    https://doi.org/10.1145/2038037.1941575

  • Schimmel J and Pankratius V. Exploiting cache traffic monitoring for run-time race detection. Proceedings of the 17th international conference on Parallel processing - Volume Part I. (15-26).

    /doi/10.5555/2033345.2033349

  • Roy A, Hand S and Harris T. (2011). Hybrid binary rewriting for memory access instrumentation. ACM SIGPLAN Notices. 46:7. (227-238). Online publication date: 15-Jul-2011.

    https://doi.org/10.1145/2007477.1952711

  • Lange J and Dinda P. (2011). SymCall. ACM SIGPLAN Notices. 46:7. (193-204). Online publication date: 15-Jul-2011.

    https://doi.org/10.1145/2007477.1952707

  • Xia L, Kumar S, Yang X, Gopalakrishnan P, Liu Y, Schoenberg S and Guo X. (2011). Virtual WiFi. ACM SIGPLAN Notices. 46:7. (181-192). Online publication date: 15-Jul-2011.

    https://doi.org/10.1145/2007477.1952706

  • Lange J, Pedretti K, Dinda P, Bridges P, Bae C, Soltero P and Merritt A. (2011). Minimal-overhead virtualization of a large scale supercomputer. ACM SIGPLAN Notices. 46:7. (169-180). Online publication date: 15-Jul-2011.

    https://doi.org/10.1145/2007477.1952705

  • Wehr S and Thiemann P. (2011). JavaGI. ACM Transactions on Programming Languages and Systems. 33:4. (1-83). Online publication date: 1-Jul-2011.

    https://doi.org/10.1145/1985342.1985343

  • Jin G, Song L, Zhang W, Lu S and Liblit B. Automated atomicity-violation fixing. Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation. (389-400).

    https://doi.org/10.1145/1993498.1993544

  • Jin G, Song L, Zhang W, Lu S and Liblit B. (2011). Automated atomicity-violation fixing. ACM SIGPLAN Notices. 46:6. (389-400). Online publication date: 4-Jun-2011.

    https://doi.org/10.1145/1993316.1993544

  • Gao Q, Zhang W, Chen Z, Zheng M and Qin F. (2011). 2ndStrike. ACM SIGPLAN Notices. 46:3. (239-250). Online publication date: 17-Mar-2011.

    https://doi.org/10.1145/1961296.1950394

  • Gao Q, Zhang W, Chen Z, Zheng M and Qin F. (2011). 2ndStrike. ACM SIGARCH Computer Architecture News. 39:1. (239-250). Online publication date: 17-Mar-2011.

    https://doi.org/10.1145/1961295.1950394

  • Roy A, Hand S and Harris T. Hybrid binary rewriting for memory access instrumentation. Proceedings of the 7th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments. (227-238).

    https://doi.org/10.1145/1952682.1952711

  • Gao Q, Zhang W, Chen Z, Zheng M and Qin F. 2ndStrike. Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems. (239-250).

    https://doi.org/10.1145/1950365.1950394

  • Yi J, Sadowski C and Flanagan C. Cooperative reasoning for preemptive execution. Proceedings of the 16th ACM symposium on Principles and practice of parallel programming. (147-156).

    https://doi.org/10.1145/1941553.1941575

  • Hsu C and Hefeeda M. (2011). Statistical multiplexing of variable-bit-rate videos streamed to mobile devices. ACM Transactions on Multimedia Computing, Communications, and Applications. 7:2. (1-23). Online publication date: 1-Feb-2011.

    https://doi.org/10.1145/1925101.1925107

  • Amrein M and Künsch H. (2011). A variant of importance splitting for rare event estimation. ACM Transactions on Modeling and Computer Simulation. 21:2. (1-20). Online publication date: 1-Feb-2011.

    https://doi.org/10.1145/1899396.1899401

  • Chertov R and Fahmy S. (2011). Forwarding devices. ACM Transactions on Modeling and Computer Simulation. 21:2. (1-23). Online publication date: 1-Feb-2011.

    https://doi.org/10.1145/1899396.1899400

  • Blanchet J and Li C. (2011). Efficient rare event simulation for heavy-tailed compound sums. ACM Transactions on Modeling and Computer Simulation. 21:2. (1-23). Online publication date: 1-Feb-2011.

    https://doi.org/10.1145/1899396.1899397

  • Harris T, Larus J and Rajwar R. (2010). Transactional Memory, 2nd edition. Synthesis Lectures on Computer Architecture. 10.2200/S00272ED1V01Y201006CAC011. 5:1. (1-263). Online publication date: 22-Dec-2010.

    http://www.morganclaypool.com/doi/abs/10.2200/S00272ED1V01Y201006CAC011

  • Yu J and Narayanasamy S. Tolerating Concurrency Bugs Using Transactions as Lifeguards. Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture. (263-274).

    https://doi.org/10.1109/MICRO.2010.56

  • Jin G, Thakur A, Liblit B and Lu S. (2010). Instrumentation and sampling strategies for cooperative concurrency bug isolation. ACM SIGPLAN Notices. 45:10. (241-255). Online publication date: 17-Oct-2010.

    https://doi.org/10.1145/1932682.1869481

  • Jin G, Thakur A, Liblit B and Lu S. Instrumentation and sampling strategies for cooperative concurrency bug isolation. Proceedings of the ACM international conference on Object oriented programming systems languages and applications. (241-255).

    https://doi.org/10.1145/1869459.1869481

  • Ha O, Tchamgoue G, Suh J and Jun Y. (2010). On-the-fly healing of race conditions in ARINC-653 flight software 2010 IEEE/AIAA 29th Digital Avionics Systems Conference (DASC). 10.1109/DASC.2010.5655315. 978-1-4244-6616-0. (5.A.6-1-5.A.6-11).

    http://ieeexplore.ieee.org/document/5655315/

  • Lucia B, Ceze L and Strauss K. (2010). ColorSafe. ACM SIGARCH Computer Architecture News. 38:3. (222-233). Online publication date: 19-Jun-2010.

    https://doi.org/10.1145/1816038.1815988

  • Lucia B, Ceze L, Strauss K, Qadeer S and Boehm H. (2010). Conflict exceptions. ACM SIGARCH Computer Architecture News. 38:3. (210-221). Online publication date: 19-Jun-2010.

    https://doi.org/10.1145/1816038.1815987

  • Voskuilen G, Ahmad F and Vijaykumar T. (2010). Timetraveler. ACM SIGARCH Computer Architecture News. 38:3. (198-209). Online publication date: 19-Jun-2010.

    https://doi.org/10.1145/1816038.1815986

  • Lucia B, Ceze L and Strauss K. ColorSafe. Proceedings of the 37th annual international symposium on Computer architecture. (222-233).

    https://doi.org/10.1145/1815961.1815988

  • Lai Z, Cheung S and Chan W. Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1. (235-244).

    https://doi.org/10.1145/1806799.1806836

  • Daniels J. (2009). Server virtualization architecture and implementation. XRDS: Crossroads, The ACM Magazine for Students. 16:1. (8-12). Online publication date: 1-Sep-2009.

    https://doi.org/10.1145/1618588.1618592

  • Baden R, Bender A, Spring N, Bhattacharjee B and Starin D. (2009). Persona. ACM SIGCOMM Computer Communication Review. 39:4. (135-146). Online publication date: 16-Aug-2009.

    https://doi.org/10.1145/1594977.1592585

  • Qureshi A, Weber R, Balakrishnan H, Guttag J and Maggs B. (2009). Cutting the electric bill for internet-scale systems. ACM SIGCOMM Computer Communication Review. 39:4. (123-134). Online publication date: 16-Aug-2009.

    https://doi.org/10.1145/1594977.1592584

  • Thakur A, Sen R, Liblit B and Lu S. Cooperative crug isolation. Proceedings of the Seventh International Workshop on Dynamic Analysis. (35-41).

    https://doi.org/10.1145/2134243.2134252

  • Rajamani S, Ramalingam G, Ranganath V and Vaswani K. ISOLATOR. Proceedings of the 14th international conference on Architectural support for programming languages and operating systems. (181-192).

    https://doi.org/10.1145/1508244.1508266

  • Rajamani S, Ramalingam G, Ranganath V and Vaswani K. (2009). ISOLATOR. ACM SIGARCH Computer Architecture News. 37:1. (181-192). Online publication date: 1-Mar-2009.

    https://doi.org/10.1145/2528521.1508266

  • Rajamani S, Ramalingam G, Ranganath V and Vaswani K. (2009). ISOLATOR. ACM SIGPLAN Notices. 44:3. (181-192). Online publication date: 28-Feb-2009.

    https://doi.org/10.1145/1508284.1508266

  • Abadi M, Harris T and Mehrara M. (2009). Transactional memory with strong atomicity using off-the-shelf memory protection hardware. ACM SIGPLAN Notices. 44:4. (185-196). Online publication date: 14-Feb-2009.

    https://doi.org/10.1145/1594835.1504203

  • Abadi M, Harris T and Mehrara M. Transactional memory with strong atomicity using off-the-shelf memory protection hardware. Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. (185-196).

    https://doi.org/10.1145/1504176.1504203

  • Hartley S. (1996). A hypermedia lab manual for operating systems. ACM SIGCSE Bulletin. 28:SI. (8-10). Online publication date: 2-Jun-1996.

    https://doi.org/10.1145/237477.237480

  • Glavitsch U, Schäuble P and Wechsler M. (1994). Metadata for integrating speech documents in a text retrieval system. ACM SIGMOD Record. 23:4. (57-63). Online publication date: 1-Dec-1994.

    https://doi.org/10.1145/190627.190645

  • Böhm K and Rakow T. (1994). Metadata for multimedia documents. ACM SIGMOD Record. 23:4. (21-26). Online publication date: 1-Dec-1994.

    https://doi.org/10.1145/190627.190635

  • Hou W, Ozsoyoglu G and Dogdu E. (1991). Error-constrained COUNT query evaluation in relational databases. ACM SIGMOD Record. 20:2. (278-287). Online publication date: 1-Apr-1991.

    https://doi.org/10.1145/119995.115837

  • Ioannidis Y and Christodoulakis S. (1991). On the propagation of errors in the size of join results. ACM SIGMOD Record. 20:2. (268-277). Online publication date: 1-Apr-1991.

    https://doi.org/10.1145/119995.115835

  • Kemper A, Kilger C and Moerkotte G. (1991). Function materialization in object bases. ACM SIGMOD Record. 20:2. (258-267). Online publication date: 1-Apr-1991.

    https://doi.org/10.1145/119995.115833

  • Barsalou T, Siambela N, Keller A and Wiederhold G. (1991). Updating relational databases through object-based views. ACM SIGMOD Record. 20:2. (248-257). Online publication date: 1-Apr-1991.

    https://doi.org/10.1145/119995.115831