S Smolka, S Eliopoulos, N Foster, A Guha

Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015

S Smolka, P Kumar, N Foster, D Kozen, A Silva

ACM SIGPLAN Notices 52 (1), 557-571, 2017

JC Blanchette, S Böhme, M Fleury, SJ Smolka, A Steckermeier

Journal of Automated Reasoning 56 (2), 155-200, 2016

SJ Smolka, JC Blanchette

PxTP@ CADE, 117-132, 2013

S Smolka, P Kumar, DM Kahn, N Foster, J Hsu, D Kozen, A Silva

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019

X Wang, C Chen, P Palacharla, M Sekiya, S Smolka, N Foster

2015 IEEE Conference on Network Function Virtualization and Software Defined …, 2015

S Smolka, N Foster, J Hsu, T Kappé, D Kozen, A Silva

Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019

C Skalka, J Ring, D Darias, M Kwon, S Gupta, K Diller, S Smolka, N Foster

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019

S Smolka, P Kumar, N Foster, J Hsu, D Kahn, D Kozen, A Silva

arXiv preprint arXiv:1707.02772, 2017

D Rogora, S Smolka, A Carzaniga, A Diwan, R Soulé

9th {USENIX} Workshop on Hot Topics in Cloud Computing (HotCloud 17), 2017

SJ Smolka

Cornell University, 2019

S Smolka, N Foster, J Hsu, T Kappé, D Kozen, A Silva

SJ Smolka