Michael D. Bond

Associate Professor
Computer Science & Engineering
Ohio State University

mikebond@cse.ohio-state.edu

697 Dreese Labs

NEWS

Man Cao defended his PhD dissertation in Spring 2017! He joined Google in May.

Aritra Sengupta defended his PhD dissertation in Spring 2017! He'll join Samsung Research America in July.

Minjia Zhang's paper on avoiding consistency exceptions under strong memory models will appear at ISMM 2017!

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

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

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

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

Man Cao'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 Biswas won First Place in the Graduate Category of the ACM Student Research Competition!

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

Swarnendu Biswas received the CSE department's Graduate Research Award!

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

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

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

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

RESEARCH

My research group develops program analyses and software systems that make complex, concurrent software significantly more reliable, scalable, and secure than it is today.

General interests: programming languages, software systems, runtime systems, program analysis, compilers, security.

Publications

Publicly available research software (see "Source code" for each paper)

Current advisees:

  • Jake Roemer  (PhD student)
  • Rui Zhang  (PhD student)
Graduated advisees, with positions as of 2017:

TEACHING

CSE 3341: Principles of Programming Languages (Autumn 2016)

Past teaching

MISC

Recent activities:
  • External Review Committee, ISMM 2017
  • External Review Committee, PACT 2017
  • Artifact Evaluation Co-Chair, OOPSLA 2016 and OOPSLA 2017
  • External Program Committee, PLDI 2017
  • External Program Committee, OOPSLA 2016
  • Program Committee, PPoPP 2016
  • External Review Committee, ASPLOS 2016
  • Program Committee Chair, ISMM 2015
Past activities

Awards

Funding