Simon Hudon

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 6

Top Topics

Mechanical Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Daniel Selsam, Simon Hudon, Leonardo de Moura
Sealing pointer-based optimizations behind pure functions. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Daniel Selsam, Simon Hudon, Leonardo de Moura
Sealing Pointer-Based Optimizations Behind Pure Functions. CoRR (2020)
Jeremy Avigad, Mario Carneiro, Simon Hudon
Data Types as Quotients of Polynomial Functors. ITP (2019)
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
The Unit-B Method - Refinement Guided by Progress Concerns. CoRR (2018)
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
The Unit-B method: refinement guided by progress concerns. Softw. Syst. Model. 15 (4) (2016)
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems. ESSS (2015)
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Precise Documentation and Validation of Requirements. FTSCS (2013)
Simon Hudon, Thai Son Hoang
Systems Design Guided by Progress Concerns. IFM (2013)
Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun
TTM/PAT: Specifying and Verifying Timed Transition Models. FTSCS (2013)
Simon Hudon, Thai Son Hoang
Development of Control Systems Guided by Models of their Environment. Electron. Notes Theor. Comput. Sci. 280 (2011)