by Alpernas, Kalev, Flanagan, Cormac, Fouladi, Sadjad, Ryzhyk, Leonid, Sagiv, Mooly, Schmitz, Thomas, Winstein, Keith
Published in Proceedings of ACM on programming languages (01.11.2018)

by Fotouhi, Mehran, Fouladi, Sadjad, Kasaei, Shohreh
Published in Multimedia tools and applications (01.08.2017)

by Karimi, Pantea, Fouladi, Sadjad, Sivaraman, Vibhaalakshmi, Alizadeh, Mohammad
Year of Publication 28.09.2023

by Sivaraman, Vibhaalakshmi, Karimi, Pantea, Venkatapathy, Vedantha, Khani, Mehrdad, Fouladi, Sadjad, Alizadeh, Mohammad, Durand, Frédo, Sze, Vivienne
Year of Publication 21.09.2022

by Wu, Haoze, Ozdemir, Alex, Zeljic, Aleksandar, Julian, Kyle, Irfan, Ahmed, Gopinath, Divya, Fouladi, Sadjad, Katz, Guy, Pasareanu, Corina, Barrett, Clark
Published in 2020 Formal Methods in Computer Aided Design (FMCAD) (21.09.2020)

by Karimi, Pantea, Fouladi, Sadjad, Sivaraman, Vibhaalakshmi, Alizadeh, Mohammad
Published in arXiv.org (25.02.2024)

by Sivaraman, Vibhaalakshmi, Karimi, Pantea, Venkatapathy, Vedantha, Khani, Mehrdad, Fouladi, Sadjad, Alizadeh, Mohammad, Durand, Frédo, Sze, Vivienne
Published in arXiv.org (19.10.2023)

by Wu, Haoze, Ozdemir, Alex, Zeljić, Aleksandar, Irfan, Ahmed, Julian, Kyle, Gopinath, Divya, Fouladi, Sadjad, Katz, Guy, Pasareanu, Corina, Barrett, Clark
Year of Publication 17.04.2020

by Yan, Francis Y, Ayers, Hudson, Zhu, Chenzhi, Fouladi, Sadjad, Hong, James, Zhang, Keyi, Levis, Philip, Winstein, Keith
Year of Publication 03.06.2019

by Alpernas, Kalev, Flanagan, Cormac, Fouladi, Sadjad, Ryzhyk, Leonid, Sagiv, Mooly, Schmitz, Thomas, Winstein, Keith
Year of Publication 25.02.2018

by Wu, Haoze, Ozdemir, Alex, Zeljić, Aleksandar, Ahmed, Irfan, Kyle, Julian, Gopinath, Divya, Fouladi, Sadjad, Katz, Guy, Pasareanu, Corina, Barrett, Clark
Published in arXiv.org (21.08.2020)

by Nasab, Sara Ershadi, Ghaleh, Sadjad Fouladi, Ramezanpour, Sadegh, Kasaei, Shohreh, Sanaei, Esmaeil
Published in 7'th International Symposium on Telecommunications (IST'2014) (01.09.2014)

by Yan, Francis Y, Ayers, Hudson, Zhu, Chenzhi, Fouladi, Sadjad, Hong, James, Zhang, Keyi, Levis, Philip, Winstein, Keith
Published in arXiv.org (23.09.2019)

by Alpernas, Kalev, Flanagan, Cormac, Fouladi, Sadjad, Ryzhyk, Leonid, Sagiv, Mooly, Schmitz, Thomas, Winstein, Keith
Published in arXiv.org (25.02.2018)