Ben Greenman
  Assistant Professor,
  Kahlert School of Computing,
  John and Maria Price College of Engineering,
  University of Utah.
  orcid 0001-0001-7078-9287

Research interests:
  programming languages,   gradual/migratory type systems,   language interoperability,   formal methods,   human factors

Q. How to effectively combine high-assurance code and low-assurance code?

In a perfect world, all sorts of code would be able to interoperate: formally-verified code, exploratory scripts, legacy tools, generic utilites, etc. We're not there yet! In order to create a mix that preserves guarantees and flexibility, we need to either validate the boundaries to low-assurace code ahead of time (very difficult in general) or check them at run time (very expensive). Neither option is a clear winner. The challenge is thus to find effective tradeoffs in a complex space.

Key to success: develop rigorous methods to assess guarantees, measure performance, and evaluate usability.

Last Known Location:
 Salt Lake City, UT   [UTC-0700] build:ok

  CIFellows 2020 postdoc at Brown mentored by Shriram Krishnamurthi,
  Ph.D. at Northeastern advised by Matthias Felleisen,
  M.Eng. in CS at Cornell advised by Ross Tate,
  B.S. in ILR at Cornell.