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
Times are displayed in time zone: Eastern Time (US & Canada) change

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