1. Two project ideas focus on DeepRT (see the paper), created by Zhe Yang in Prof. Klara Nahrstedt's group. Zhe would be the contact person and would provide access to their existing code base.

    Briefly, they have designed a soft real time scheduler to decide how we can batch process images from different requests of video processing, and then in what order we process these batches on GPU. The design is a "middleware" layer between user requests and GPU, so for implementation they use Pytorch (other platforms or even CUDA may all be possible, but they chose Pytorch for simplicity).

  2. A third project idea comes from Prof. Mark Butala at our Haining campus. It's an interesting control system / linear algebra problem with wide applicability and current research interest from several communities. You can find a writeup here.
  3. The last project idea comes from a paper a couple of years ago in TACAS about accelerating SAT solvers. I have some interest in using such tools (particularly MiniSAT, which is open source and widely used) for equivalence checking between codes. One could also replicate the use in the KLEE 2008 paper as a starting point for interesting inputs. The idea of the project is to implement the techniques in the paper in the MiniSAT context and then improve upon the performance.
  4. You are welcome to propose your own projects--I will provide some guidelines, but you'll need to have an idea of what you want to do in the next few days so we can bounce it around a little and converge by next week.