|
My research interests fall broadly into three categories:
programming languages, software engineering, and systems. More specifically
I am interested in language, compiler, and runtime design for achieving reliability. Along
with Steve Ko and Karthik Dantu, I have founded the Reliable Mobile Systems group at UB.
I am involved in a number of large software projects:
-
Multi-MLton : a multi-core aware extension of the MLton SML compiler (Open Source).
-
The Fiji VM: a real-time Java VM with support for mixed-criticality applications (academic licenses available).
-
Sting: an optimizing compiler extension to SessionJ that utilizes JavaFlow (Open Source).
-
RTDroid: a real-time Android variant powered by Fiji VM (Open Source).
-
BlueSeal: a Soot extension for security analysis of Android apps (Open Source).
-
RTML: a SML compiler for real-time systems built from MLton (Open Source).
Recent News:
-
Implementation for our real-time SML compiler (built on MLton) is available, it is an early stage prototype.
-
Implementation for RTDroid is available, including data sets, and scripts. Latest publication accepted to RTAS 2017.
-
Implementation for BlueSeal string analysis for Android is available, including data sets and scripts.
-
I am organizing this years Workshop on Java Technologies for Real-time and Embedded Systems at Niagara Falls, New York.
-
Amazon has published both of our low-cost Python Programming textbooks: Part 1 and Part 2
-
My CS177 course has been adopted at the Austin Independent School District.
|