Author image not provided
 Minjia Zhang

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article7.56
Citation Count68
Publication count9
Publication years2013-2017
Available for download9
Average downloads per article167.56
Downloads (cumulative)1,508
Downloads (12 Months)313
Downloads (6 Weeks)38
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


9 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 9 of 9
Sort by:

1 published by ACM
August 2017 ACM Transactions on Parallel Computing (TOPC) - Special Issue: Invited papers from PPoPP 2016, Part 2: Volume 4 Issue 2, October 2017
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 3,   Downloads (12 Months): 55,   Downloads (Overall): 55

Full text available: PDFPDF
It is notoriously challenging to develop parallel software systems that are both scalable and correct. Runtime support for parallelism—such as multithreaded record and replay, data race detectors, transactional memory, and enforcement of stronger memory models—helps achieve these goals, but existing commodity solutions slow programs substantially to track (i.e., detect or ...
Keywords: concurrency correctness, runtime support for parallelism, Dynamic analysis, data races, synchronization, dependence tracking

2 published by ACM
June 2017 ISMM 2017: Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 2,   Downloads (12 Months): 38,   Downloads (Overall): 60

Full text available: PDFPDF
Shared-memory languages and systems generally provide weak or undefined semantics for executions with data races. Prior work has proposed memory consistency models that ensure well-defined, easy-to-understand semantics based on region serializability (RS), but the resulting system may throw a consistency exception in the presence of a data race. Consistency exceptions ...
Keywords: Memory consistency models, data races
Also published in:
October 2017  ACM SIGPLAN Notices - ISMM '17: Volume 52 Issue 9, September 2017

3 published by ACM
March 2016 CC 2016: Proceedings of the 25th International Conference on Compiler Construction
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 3,   Downloads (12 Months): 15,   Downloads (Overall): 93

Full text available: PDFPDF
It is notoriously difficult to achieve both correctness and scalability for many shared-memory parallel programs. To improve correctness and scalability, researchers have developed various kinds of parallel runtime support such as multithreaded record & replay and software transactional memory. Existing forms of runtime support slow programs significantly in order to ...
Keywords: dependence tracking, Runtime support for parallelism, multithreaded record & replay, software transactional memory

4 published by ACM
February 2016 PPoPP '16: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 7,   Downloads (12 Months): 43,   Downloads (Overall): 250

Full text available: PDFPDF
It is notoriously challenging to develop parallel software systems that are both scalable and correct. Runtime support for parallelism---such as multithreaded record & replay, data race detectors, transactional memory, and enforcement of stronger memory models---helps achieve these goals, but existing commodity solutions slow programs substantially in order to track (i.e., ...
Also published in:
November 2016  ACM SIGPLAN Notices - PPoPP '16: Volume 51 Issue 8, August 2016

5 published by ACM
October 2015 SPLASH Companion 2015: Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 13,   Downloads (Overall): 36

Full text available: PDFPDF
A strong memory model, such as region serializability, helps programmers reason about programs in the granularity of synchronization free regions and allows compiler and hardware to more freely reorder accesses. However, providing region serializability usually is expensive in software or requires custom hardware. We introduce a new approach to support ...
Keywords: Memory model, biased reader-writer locks, concurrent programs, synchronization-free regions

6 published by ACM
October 2015 OOPSLA 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Publisher: ACM
Bibliometrics:
Citation Count: 19
Downloads (6 Weeks): 5,   Downloads (12 Months): 46,   Downloads (Overall): 236

Full text available: PDFPDF
Data races complicate programming language semantics, and a data race is often a bug. Existing techniques detect data races and define their semantics by detecting conflicts between synchronization-free regions (SFRs). However, such techniques either modify hardware or slow programs dramatically, preventing always-on use today. This paper describes Valor, a sound, ...
Keywords: conflict exceptions, data races, dynamic analysis, region serializability
Also published in:
December 2015  ACM SIGPLAN Notices - OOPSLA '15: Volume 50 Issue 10, October 2015

7 published by ACM
March 2015 ASPLOS '15: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems
Publisher: ACM
Bibliometrics:
Citation Count: 15
Downloads (6 Weeks): 6,   Downloads (12 Months): 39,   Downloads (Overall): 289

Full text available: PDFPDF
Data races are common. They are difficult to detect, avoid, or eliminate, and programmers sometimes introduce them intentionally. However, shared-memory programs with data races have unexpected, erroneous behaviors. Intentional and unintentional data races lead to atomicity and sequential consistency (SC) violations, and they make it more difficult to understand, test, ...
Keywords: atomicity, dynamic analysis, memory models, region serializability, static analysis, synchronization
Also published in:
May 2015  ACM SIGPLAN Notices - ASPLOS '15: Volume 50 Issue 4, April 2015 May 2015  ACM SIGARCH Computer Architecture News - ASPLOS'15: Volume 43 Issue 1, March 2015

8 published by ACM
January 2015 PPoPP 2015: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Publisher: ACM
Bibliometrics:
Citation Count: 8
Downloads (6 Weeks): 9,   Downloads (12 Months): 42,   Downloads (Overall): 241

Full text available: PDFPDF
Software transactional memory offers an appealing alternative to locks by improving programmability, reliability, and scalability. However, existing STMs are impractical because they add high instrumentation costs and often provide weak progress guarantees and/or semantics. This paper introduces a novel STM called LarkTM that provides three significant features. (1) Its instrumentation ...
Keywords: biased reader-writer locks, Software transactional memory, concurrency control, strong atomicity, managed languages
Also published in:
December 2015  ACM SIGPLAN Notices - PPoPP '15: Volume 50 Issue 8, August 2015

9 published by ACM
October 2013 OOPSLA '13: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Publisher: ACM
Bibliometrics:
Citation Count: 21
Downloads (6 Weeks): 2,   Downloads (12 Months): 22,   Downloads (Overall): 248

Full text available: PDFPDF
Parallel programming is essential for reaping the benefits of parallel hardware, but it is notoriously difficult to develop and debug reliable, scalable software systems. One key challenge is that modern languages and systems provide poor support for ensuring concurrency correctness properties - atomicity, sequential consistency, and multithreaded determinism - because ...
Keywords: concurrency correctness, dynamic analysis
Also published in:
November 2013  ACM SIGPLAN Notices - OOPSLA '13: Volume 48 Issue 10, October 2013



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us