Michael D. Bond

Associate Professor
Computer Science & Engineering
Ohio State University

mikebond@cse.ohio-state.edu

697 Dreese Labs

NEWS

Aritra Sengupta's paper on commodity HTM support for bounded region serializability will appear at CGO 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 appear in 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" will appear 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 Students:

  • Man Cao  (PhD candidate)
  • Jake Roemer  (PhD student)
  • Aritra Sengupta  (PhD candidate)
  • Rui Zhang  (PhD student)
Graduated Students:
  • 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)

TEACHING

CSE 3341: Principles of Programming Languages (Autumn 2016)

Past teaching

MISC

Recent activities: Past activities

Awards

Funding