共 16 条
[1]
Chaudhri V. K., 1995, Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. PODS 1995, P233, DOI 10.1145/212433.212464
[2]
Inferring Locks for Atomic Sections
[J].
PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION,
2008,
:304-+
[3]
Emmi Michael, 2007, POPL 2007. The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, P291, DOI 10.1145/1190216.1190260
[5]
Golan-Gueta G, 2011, OOPSLA 11: PROCEEDINGS OF THE 2011 ACM INTERNATIONAL CONFERENCE ON OBJECT ORIENTED PROGRAMMING SYSTEMS LANGUAGES AND APPLICATIONS, P225
[6]
Gray J. N., 1975, P 1 INT C VERY LARGE, DOI DOI 10.1145/1282480.1282513
[7]
Kalikar S., 2018, SOURCE CODE EXPT SCR, DOI [10.6084/m9.figshare.6390554, DOI 10.6084/M9.FIGSHARE.6390554]
[8]
Kalikar S, 2017, ACM TRANS PARALLEL C, V4, DOI 10.1145/3127584
[9]
Unleashing Concurrency for Irregular Data Structures
[J].
36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014),
2014,
:480-490
[10]
Lomet D. B., 1993, 19th International Conference on Very Large Data Bases Proceedings, P655