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

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.

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