Coq 2020
LAFI 2020
AAAI 2019
ESOP 2018
PADL 2018
TCAD 2018
GARUDA: Designing Energy-Efficient Hardware Monitors from High-Level Policies for Secure Information Flow.
Seaghan Sefton, Taiman Siddiqui, Nathaniel St. Amour, Gordon Stewart, Avinash Kodi.
ESWEEK-CASES special issue of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD).
JFR 2017
TR 2017
PODC 2017
MAPL 2017
ASPLOS 2015
Ziria: A DSL for Wireless Systems Programming.
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis,
Cristina Luengo Agullo.
ASPLOS'15: The 20th International Conference on Architectural Support for Programming Languages and Operating Systems,
March 2015.
Ziria 2014
Ziria: Language for Rapid Prototyping of Wireless PHY.
with Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, and Dimitrios Vytiniotis, at
MobiCom'14, September 2014 (poster),
SIGCOMM'14, August 2014 (demo), and
SRIF'14, August 2014 (demo).