FaCT: a DSL for timing-sensitive computation

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan. FaCT: a DSL for timing-sensitive computation. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 174-189, ACM, 2019. [doi]

Authors

Sunjay Cauligi

This author has not been identified. Look up 'Sunjay Cauligi' in Google

Gary Soeller

This author has not been identified. Look up 'Gary Soeller' in Google

Brian Johannesmeyer

This author has not been identified. Look up 'Brian Johannesmeyer' in Google

Fraser Brown

This author has not been identified. Look up 'Fraser Brown' in Google

Riad S. Wahby

This author has not been identified. Look up 'Riad S. Wahby' in Google

John Renner

This author has not been identified. Look up 'John Renner' in Google

Benjamin Grégoire

This author has not been identified. Look up 'Benjamin Grégoire' in Google

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

Ranjit Jhala

This author has not been identified. Look up 'Ranjit Jhala' in Google

Deian Stefan

This author has not been identified. Look up 'Deian Stefan' in Google