|
|
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 targeted at
concurrent/parallel systems. I am also interested
in real-time Java as well as embedded and real-time systems. Specifically I am
working on high assurance software for embedded and mixed-criticality systems.
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 varriant 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. Lastest publication accepted to TMC.
-
Implementation for BlueSeal string analysis for Android is available, including data sets and scripts.
-
I will be the Program Chair for next years Workshop on Java Technologies for Real-time and Embedded Systems in Paris (2015).
-
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.
|
