Research (Topic)

Research (Year)



Google Scholar

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.

Email: lziarek AT buffalo DOT edu | Curriculum Vitae (short) (long)

338E Davis Hall | Buffalo, NY, 142600-2500 | USA | +1.716.645.1596