About

I am a graduate student at UC San Diego in the Sysnet research group. I work with Deian Stefan on using language-based techniques to build secure systems.

Publications

FaCT: A DSL for timing-sensitive computation

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Gregoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan
In Proceedings of Conference on Programming Language Design and Implementation (PLDI), June 2019

Foundations for parallel information flow control runtime systems

Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, and Deian Stefan
In Proceedings of Conference on Principles of Security and Trust (POST), April 2019

Multi-core IFC: Securing the space-time continuum

Gary Soeller and Deian Stefan
Foundations of Computer Security 2017

FaCT: a flexible constant-time programming language

Fraser Brown, Sunjay Cauligi, Yunlu Huang, Brian Johannesmeyer, Gary Soeller, Ranjit Jhala, and Deian Stefan
IEEE SecDev 2017

MapWatch: Detecting and Monitoring International Border Personalization on Online Maps

Gary Soeller, Karrie Karahalios, Christian Sandvig, and Christo Wilson
Proceedings of the 25th International World Wide Web Conference (WWW 2016) Montreal, Quebec, Canada, April 2016

Measuring Price Discrimination and Steering on E-commerce Web Sites

Aniko Hannak, Gary Soeller, David Lazer, Alan Mislove, and Christo Wilson
Proceedings of Internet Measurement Conference (IMC 2014)
Vancouver, BC, Canada, November 2014

Teaching

2018 - Compilers (UC San Diego)

2016 - Networks and Distributed Systems TA (Northeastern Unversity)

2014 - Fundamentals of Computer Science TA (Northeastern University)

2013 - Bootstrap Teacher (Citizen Schools)