Wed 28 Oct 2015 18:00 - 21:00 at Admiral and Reflections - Posters Chair(s): Sam Guyer, Patrick Lam

A strong memory model, such as region serializability (RS), helps programmers reason about programs in the granularity of synchronization free regions (SFRs) and allows the compiler and hardware to more freely reorder accesses. However, providing RS usually is expensive in software or requires custom hardware.

A memory model that is slightly weaker than RS but still helps avoid most concurrent bugs is snapshot isolation of SFRs (SISFR). This paper introduces a mechanism called SIRe to provide SISFR that guarantees write-atomicity and a consistent snapshot view to reads in an SFR by tolerating the majority region-conflicts caused by write/write and write/read conflicts and stops if a read/write conflict that has violated SISFR and cannot be tolerated. The paper also compares the performance overhead and latency of SIRe with a similar mechanism that supports RS and shows that SIRe is able to support SISFR much more efficiently than providing RS. We demonstrate SIRe’s effectiveness as a memory model by running it with adversarial memory which can expose real-world concurrent bugs.

I am at Ohio State University in Columbus, Ohio, USA. My research interests span multiple layers of the stack. I am particularly interested in efficient runtime-system, parallel programming, and synchronization techniques.

Right now I am looking at VM support for practical software transactional memory systems, as well as exploiting asynchrony for multi-threading runtime supports.

Prior to working on runtime systems, my projects have also included improving throughput and latency for key-value store solutions such as memcached with InfiniBand. I have also worked on OS virtual machine XEN to support fault tolerance. I completed my Bachelor and Master degree at Huazhong University of Science and Technology, China.

Wed 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

18:00 - 21:00
PostersStudent Research Competition at Admiral and Reflections
Chair(s): Sam Guyer Tufts University, Patrick Lam University of Waterloo, Canada
18:00
3h
Talk
Efficient Support for Strong Semantics in Transactional and Non-transactional Programs
Student Research Competition
Aritra Sengupta Ohio State University
18:00
3h
Talk
Automatic Array Property Detection Via Static Analysis
Student Research Competition
18:00
3h
Talk
KinEdit: A Tool to Help Developers Refactor Manually
Student Research Competition
Josh Terrell California Polytechnic University
18:00
3h
Talk
Finding Bugs in Spreadsheets Using Reference Counting
Student Research Competition
Nima Joharizadeh University of California, Davis
18:00
3h
Talk
Viser: Providing Serializability in Hardware With Simplified Cache Coherence
Student Research Competition
Swarnendu Biswas Ohio State University, USA
18:00
3h
Talk
Concurrency Control for Multithreaded Reactive Programming
Student Research Competition
Ragnar Mogk Technische Universität Darmstadt
18:00
3h
Talk
Gradual Mode Types for Energy-Aware Programming
Student Research Competition
Anthony Canino SUNY Binghamton
18:00
3h
Talk
Race-driven UI-level Test Generation for JavaScript-based Web Applications
Student Research Competition
18:00
3h
Talk
Contributions of the Under-Appreciated: Gender Bias in an Open-Source Ecology
Student Research Competition
Andrew Kofink North Carolina State University
18:00
3h
Talk
Safely Evolving Configurable Systems
Student Research Competition
Flavio Medeiros Federal University of Campina Grande
18:00
3h
Talk
SIRe: An Efficient Snapshot Isolation-based Memory Model for Detecting and Tolerating Region Conflicts
Student Research Competition
Minjia Zhang Ohio State University, USA
18:00
3h
Talk
The Oprop Verification Tool: Object Propositions in Action
Student Research Competition
Nistor Ligia Carnegie Mellon University