PLaSS

Programming Languages and Software Systems
Research Group

Computer Science & Engineering Department, Ohio State University

We design and implement program analyses and runtime systems that make complex, concurrent software systems more reliable, scalable, and secure.

News

Man defended his PhD dissertation in April and will graduate in May!

Aritra defended his PhD dissertation in March and will graduate in May!

Minjia's paper on avoiding consistency exceptions under strong memory models has been accepted to ISMM 2017!

Aritra's paper on commodity HTM support for bounded region serializability appeared at CGO 2017!

Swarnendu's paper on lightweight data race detection for production runs appeared at CC 2017!

Swarnendu defended his PhD thesis succcessfully in August 2016! He's now a postdoc at UT Austin working with Keshav Pingali.

Minjia defended his PhD thesis successfully in April 2016! He's now at Microsoft Research.

Man's PPoPP 2016 paper on combining pessimistic and optimistic tracking of cross-thread dependences has been invited to a special edition of ACM Transactions on Parallel Computing (TOPC)!

Swarnendu won First Place in the Graduate Category of the ACM Student Research Competition!

Man's paper on exposing weak memory model behaviors by "looking into the future" appeared at ISMM 2016!

Swarnendu received the CSE department's Graduate Research Award!

Minjia's paper on relaxed dependence tracking for parallel runtime support appeared at CC 2016!

Man's paper on combining pessimistic and optimistic tracking of cross-thread dependences appeared at PPoPP 2016!

Swarnendu's paper on efficient data race exceptions received the OOPSLA 2015 Distinguished Paper Award!

Swarnendu's artifact for efficient data race exceptions received the OOPSLA 2015 Distinguished Artifact Award!

Swarnendu won 1st place at the OOPSLA 2015 Student Research Competition for his ongoing work on hardware cache coherence and consistency!

Minjia won 3rd place at the OOPSLA 2015 Student Research Competition for his ongoing work on snapshot isolation–based memory model enforcement!

Swarnendu and Jake won 1st and 2nd place, respectively, at the PLDI 2015 Student Research Competition!

Aritra's paper on hybrid synchronization for enforcing region serializability and our paper on efficient deterministic replay appeared at PPPJ 2015!

Aritra's paper on enforcing region serializability of statically bounded regions appeared at ASPLOS 2015!

Minjia's paper on software transactional memory appeared at PPoPP 2015!

Swarnendu's paper on efficient dynamic atomicity checking appeared at PLDI 2014!

Man's paper on adaptive synchronization for efficient parallel runtime support appeared at WoDet 2014!

Our paper on efficient dynamic analysis for parallel programs appeared at OOPSLA 2013!

Jipeng's paper on efficient context-sensitive dynamic analysis appeared at OOPSLA 2013!

Minjia won 2nd place at the PLDI 2013 Student Research Competition!

Current members

Michael Bond  (faculty)

Man Cao  (PhD candidate)

Jake Roemer  (PhD student)

Aritra Sengupta  (PhD candidate)

Rui Zhang  (PhD student)

         

April 2016 after Minjia's PhD defense. From left to right: Man, Aritra, Minjia, Mike, Rui

Graduated members

Swarnendu Biswas  (PhD, 2016) — now a postdoc at UT Austin (as of 2016)

Minjia Zhang  (PhD, 2016) — now at Microsoft Research (as of 2016)

Jipeng Huang  (MS, 2014) — now at Microsoft (as of 2016)

Refereed Publications

CGO 2017 Legato: End-to-End Bounded Region Serializability Using Commodity Hardware Transactional Memory
Aritra Sengupta, Man Cao, Michael D. Bond, and Milind Kulkarni
CC 2017 Lightweight Data Race Detection for Production Runs
Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood
ISMM 2016 Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future
Man Cao, Jake Roemer, Aritra Sengupta, and Michael D. Bond
CC 2016 Relaxed Dependence Tracking for Parallel Runtime Support
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond
PPoPP 2016 Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences
Man Cao, Minjia Zhang, Aritra Sengupta, and Michael D. Bond
OOPSLA 2015    Valor: Efficient, Software-Only Region Conflict Exceptions
Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia
PPPJ 2015 Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization
Aritra Sengupta, Man Cao, Michael D. Bond, and Milind Kulkarni
PPPJ 2015 Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine
Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, and Jipeng Huang
ASPLOS 2015 Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Milind Kulkarni
PPoPP 2015 Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics
Minjia Zhang, Jipeng Huang, Man Cao, and Michael D. Bond
PLDI 2014 DoubleChecker: Efficient Sound and Precise Atomicity Checking
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, and Michael D. Bond
WoDet 2014 Drinking from Both Glasses: Adaptively Combining Pessimistic and Optimistic Synchronization for Efficient Parallel Runtime Support
Man Cao, Minjia Zhang, and Michael D. Bond
OOPSLA 2013 Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, and Jipeng Huang
OOPSLA 2013 Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management
Jipeng Huang and Michael D. Bond

Tech Reports

Tech report (2017) Efficient Architecture Support for Region-Serializability-Based Consistency
Swarnendu Biswas, Rui Zhang, Michael D. Bond, and Brandon Lucia
Tech report (2016)    An Online Dynamic Analysis for Sound Predictive Data Race Detection
Jake Roemer and Michael D. Bond
Tech report (2016) All That Glitters Is Not Gold: Improving Availability and Practicality of Exception-Based Memory Models
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond

Support

The National Science Foundation supports our work:
CSR-1218695 (expired 2016), CAREER-1253703, CCF-1421612, XPS-1629126