Torlak, Emina

Syntax-guided synthesis

Alur, R., Bodik, R., Juniwal, G., Martin, M. M. K., Raghothaman, M., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., & Udupa, A. (2013) · 2013 Formal Methods in Computer-Aided Design

Logic, programming, and type systemsFormal Methods in Verification

Cited by 656

How We Built Cedar: A Verification-Guided Approach

Disselkoen, C., Eline, A., He, S., Headley, K., Hicks, M., Hietala, K., Kastner, J., Mamat, A., McCutchen, M., Rungta, N., et al. (2024) · Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering

Software Testing and Debugging TechniquesLogic, programming, and type systems

Cited by 3

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)

Cutler, J. W., Disselkoen, C., Eline, A., He, S., Headley, K., Hicks, M., Hietala, K., Ioannidis, E., Kastner, J., Mamat, A., et al. (2024) · arXiv

Access Control and TrustLogic, programming, and type systems

Cited by 2