Viser: Providing Serializability in Hardware With Simplified Cache Coherence (SPLASH 2015 - Student Research Competition)

Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States

Track

SPLASH 2015 Student Research Competition

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Bio

I am a PhD student at the Ohio State University, working with Dr. Michael Bond. My current research focuses on developing efficient software-only dynamic program analyses for detecting concurrency correctness issues in multi-threaded programs.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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 Alisa Joy Maas
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 Martin Billes
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

Viser: Providing Serializability in Hardware With Simplified Cache Coherence

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

Swarnendu Biswas

Ohio State University, USA

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Viser: Providing Serializability in Hardware With Simplified Cache Coherence

Program Display Configuration

Program Display Configuration

Wed 28 OctDisplayed time zone: Eastern Time (US & Canada) change

Swarnendu Biswas

Ohio State University, USA

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