Class information for:
Level 1: TRANSACTIONAL MEMORY//DATA RACES//RELAXED MEMORY MODELS

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
13393 841 30.3 26%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
13393 1                   TRANSACTIONAL MEMORY//DATA RACES//RELAXED MEMORY MODELS 841

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 TRANSACTIONAL MEMORY authKW 1815287 10% 63% 80
2 DATA RACES authKW 1118835 5% 72% 43
3 RELAXED MEMORY MODELS authKW 738701 3% 88% 23
4 CONCURRENCY BUGS authKW 702897 3% 88% 22
5 ACM SIGPLAN NOTICES journal 685864 36% 6% 302
6 SOFTWARE TRANSACTIONAL MEMORY authKW 598603 3% 63% 26
7 RACE DETECTION authKW 524630 2% 85% 17
8 DATA RACE DETECTION authKW 516362 2% 89% 16
9 RACE CONDITIONS authKW 418593 2% 82% 14
10 CONCURRENCY authKW 416776 12% 11% 105

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Computer Science, Software Engineering 77147 70% 0% 585
2 Computer Science, Theory & Methods 14159 36% 0% 301
3 Computer Science, Hardware & Architecture 5640 15% 0% 124
4 Computer Science, Information Systems 412 6% 0% 53
5 Engineering, Electrical & Electronic 202 12% 0% 97
6 Logic 32 0% 0% 4
7 COMPUTER APPLICATIONS & CYBERNETICS 12 0% 0% 1
8 Computer Science, Artificial Intelligence 8 1% 0% 12
9 Computer Science, Interdisciplinary Applications 3 1% 0% 10
10 Computer Science, Cybernetics 0 0% 0% 1

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 AREA COVERAGE 36307 0% 100% 1
2 ARQ COMP AUTOMAT 36307 0% 100% 1
3 BUSINESS CRIT SERV GRP 36307 0% 100% 1
4 C S GRP 36307 0% 100% 1
5 CODE OPTIMIZAT QUAL TECHNOL 36307 0% 100% 1
6 CONCURRENCY THEORY GRP 36307 0% 100% 1
7 GLOBAL GSM SOFTWARE GRP 36307 0% 100% 1
8 INFORMAT TECHNOL LIBRARY 36307 0% 100% 1
9 INLIST 36307 0% 100% 1
10 INN 319 36307 0% 100% 1

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 ACM SIGPLAN NOTICES 685864 36% 6% 302
2 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 20607 3% 2% 23
3 ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION 16407 2% 3% 14
4 SOFTWARE TESTING VERIFICATION & RELIABILITY 14922 1% 4% 10
5 INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING 13097 2% 2% 16
6 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 11402 4% 1% 30
7 SCIENCE OF COMPUTER PROGRAMMING 8098 2% 1% 19
8 FORMAL METHODS IN SYSTEM DESIGN 7213 1% 2% 10
9 JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING 7166 3% 1% 25
10 IEEE MICRO 5016 2% 1% 13

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 TRANSACTIONAL MEMORY 1815287 10% 63% 80 Search TRANSACTIONAL+MEMORY Search TRANSACTIONAL+MEMORY
2 DATA RACES 1118835 5% 72% 43 Search DATA+RACES Search DATA+RACES
3 RELAXED MEMORY MODELS 738701 3% 88% 23 Search RELAXED+MEMORY+MODELS Search RELAXED+MEMORY+MODELS
4 CONCURRENCY BUGS 702897 3% 88% 22 Search CONCURRENCY+BUGS Search CONCURRENCY+BUGS
5 SOFTWARE TRANSACTIONAL MEMORY 598603 3% 63% 26 Search SOFTWARE+TRANSACTIONAL+MEMORY Search SOFTWARE+TRANSACTIONAL+MEMORY
6 RACE DETECTION 524630 2% 85% 17 Search RACE+DETECTION Search RACE+DETECTION
7 DATA RACE DETECTION 516362 2% 89% 16 Search DATA+RACE+DETECTION Search DATA+RACE+DETECTION
8 RACE CONDITIONS 418593 2% 82% 14 Search RACE+CONDITIONS Search RACE+CONDITIONS
9 CONCURRENCY 416776 12% 11% 105 Search CONCURRENCY Search CONCURRENCY
10 HARDWARE TRANSACTIONAL MEMORY 344231 2% 59% 16 Search HARDWARE+TRANSACTIONAL+MEMORY Search HARDWARE+TRANSACTIONAL+MEMORY

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 DENG, DD , JIN, GL , DE KRUIJF, M , LI, A , LIBLIT, B , LU, S , QI, SX , REN, JL , SANKARALINGAM, K , SONG, LH , ET AL (2015) FIXING, PREVENTING, AND RECOVERING FROM CONCURRENCY BUGS.SCIENCE CHINA-INFORMATION SCIENCES. VOL. 58. ISSUE 5. P. - 23 96% 1
2 RADOI, C , DIG, D , (2015) EFFECTIVE TECHNIQUES FOR STATIC RACE DETECTION IN JAVA PARALLEL LOOPS.ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. VOL. 24. ISSUE 4. P. - 26 81% 0
3 PRADEL, M , GROSS, TR , (2012) FULLY AUTOMATIC AND PRECISE DETECTION OF THREAD SAFETY VIOLATIONS.ACM SIGPLAN NOTICES. VOL. 47. ISSUE 6. P. 521 -530 24 80% 3
4 SOUZA, SRS , SOUZA, PSL , BRITO, MAS , SIMAO, AS , ZALUSKA, EJ , (2015) EMPIRICAL EVALUATION OF A NEW COMPOSITE APPROACH TO THE COVERAGE CRITERIA AND REACHABILITY TESTING OF CONCURRENT PROGRAMS.SOFTWARE TESTING VERIFICATION & RELIABILITY. VOL. 25. ISSUE 3. P. 310 -332 19 79% 0
5 ALGLAVE, J , MARANGET, L , TAUTSCHNIG, M , (2014) HERDING CATS: MODELLING, SIMULATION, TESTING, AND DATA MINING FOR WEAK MEMORY.ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. VOL. 36. ISSUE 2. P. - 19 76% 2
6 YU, J , NARAYANASAMY, S , PEREIRA, C , POKAM, G , (2012) MAPLE: A COVERAGE-DRIVEN TESTING TOOL FOR MULTITHREADED PROGRAMS.ACM SIGPLAN NOTICES. VOL. 47. ISSUE 10. P. 485-502 17 81% 12
7 LIN, Y , DIG, D , (2015) A STUDY AND TOOLKIT OF CHECK-THEN-ACT IDIOMS OF JAVA CONCURRENT COLLECTIONS.SOFTWARE TESTING VERIFICATION & RELIABILITY. VOL. 25. ISSUE 4. P. 397 -425 15 88% 0
8 SOUZA, PSL , SOUZA, SRS , ZALUSKA, E , (2014) STRUCTURAL TESTING FOR MESSAGE-PASSING CONCURRENT PROGRAMS: AN EXTENDED TEST MODEL.CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE. VOL. 26. ISSUE 1. P. 21-50 17 74% 2
9 SAMAK, M , RAMANATHAN, MK , JAGANNATHAN, S , (2015) SYNTHESIZING RACY TESTS.ACM SIGPLAN NOTICES. VOL. 50. ISSUE 6. P. 175 -185 14 88% 0
10 CAI, Y , CHAN, WK , (2014) MAGICLOCK: SCALABLE DETECTION OF POTENTIAL DEADLOCKS IN LARGE-SCALE MULTITHREADED PROGRAMS.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 40. ISSUE 3. P. 266-281 12 100% 4

Classes with closest relation at Level 1


Rank Class id link
1 16084 WORK STEALING//NESTED PARALLELISM//TASK PARALLELISM
2 30550 RUNTIME VERIFICATION//RUNTIME MONITORING//EXECUTION BASED MODEL CHECKING
3 2708 BYZANTINE AGREEMENT//DISTRIBUTED COMPUTING//FAILURE DETECTORS
4 15574 PROGRAM SLICING//PROGRAM DEPENDENCE GRAPH//DYNAMIC SLICING
5 12130 POINTER ANALYSIS//POINTS TO ANALYSIS//PARTIAL REDUNDANCY ELIMINATION
6 6407 ABSTRACT INTERPRETATION//SEPARATION LOGIC//PREDICATE ABSTRACTION
7 10968 LRR//PERFORMANCE VISUALIZATION//GUP LINZ
8 10164 GARBAGE COLLECTION//ACM SIGPLAN NOTICES//MEMORY MANAGEMENT
9 14139 DISTRIBUTED SHARED MEMORY//CACHE COHERENCE//SHARED MEMORY MULTIPROCESSORS
10 25529 SQL INJECTION ATTACK//SQL INJECTION//SOFTWARE FAULT ISOLATION

Go to start page