المؤلفون: Shetty, Manish, Jain, Naman, Godbole, Adwait, Seshia, Sanjit A., Sen, Koushik

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Programming Languages, I.2, D.2, D.3

URL الوصول: http://arxiv.org/abs/2412.14234

المؤلفون: Maheshwari, Chinmay, Mendoza, Maria G., Tuck, Victoria Marie, Su, Pan-Yang, Qin, Victor L., Seshia, Sanjit A., Balakrishnan, Hamsa, Sastry, Shankar

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, 91B03, 91A68, 90B06, 90C27

URL الوصول: http://arxiv.org/abs/2411.03582

المؤلفون: Yalcinkaya, Beyazit, Lauffer, Niklas, Vazquez-Chanlatte, Marcell, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2411.00205

المؤلفون: Wong, Justin, Orlovskiy, Yury, Luo, Michael, Seshia, Sanjit A., Gonzalez, Joseph E.

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2410.09038

المؤلفون: Lin, Shaokai, Jellum, Erling, Theile, Mirco, Tanneberger, Tassilo, Sun, Binqi, Jerad, Chadlia, Xu, Ruomu, Feng, Guangyu, Menard, Christian, Lohstroh, Marten, Castrillon, Jeronimo, Seshia, Sanjit, Lee, Edward

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2406.06253

المؤلفون: Godbole, Adwait, Manerkar, Yatin A., Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture

URL الوصول: http://arxiv.org/abs/2406.05403

المؤلفون: Bhatia, Sahil, Qiu, Jie, Hasabnis, Niranjan, Seshia, Sanjit A., Cheung, Alvin

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2406.03003

المؤلفون: Mora, Federico, Wong, Justin, Lepe, Haley, Bhatia, Sahil, Elmaaroufi, Karim, Varghese, George, Gonzalez, Joseph E., Polgreen, Elizabeth, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2406.03636

المؤلفون: Dalrymple, David "davidad", Skalse, Joar, Bengio, Yoshua, Russell, Stuart, Tegmark, Max, Seshia, Sanjit, Omohundro, Steve, Szegedy, Christian, Goldhaber, Ben, Ammann, Nora, Abate, Alessandro, Halpern, Joe, Barrett, Clark, Zhao, Ding, Zhi-Xuan, Tan, Wing, Jeannette, Tenenbaum, Joshua

مصطلحات موضوعية: Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2405.06624

المؤلفون: Elmaaroufi, Karim, Shanker, Devan, Cismaru, Ana, Vazquez-Chanlatte, Marcell, Sangiovanni-Vincentelli, Alberto, Zaharia, Matei, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2405.03709

المؤلفون: Qiu, Jie, Cai, Colin, Bhatia, Sahil, Hasabnis, Niranjan, Seshia, Sanjit A., Cheung, Alvin

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2404.18249

المؤلفون: Shah, Ameesh, Voloshin, Cameron, Yang, Chenxi, Verma, Abhinav, Chaudhuri, Swarat, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2404.11578

المؤلفون: Tuck, Victoria Marie, Chen, Pei-Wei, Fainekos, Georgios, Hoxha, Bardh, Okamoto, Hideki, Sastry, S. Shankar, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Robotics, Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2403.11737

المؤلفون: Vazquez-Chanlatte, Marcell, Elmaaroufi, Karim, Witwicki, Stefan J., Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2402.07051

المؤلفون: Godbole, Adwait, Cheang, Kevin, Manerkar, Yatin A, Seshia, Sanjit A

مصطلحات موضوعية: Theory Of Computation, Information and Computing Sciences, Cybersecurity and Privacy, Software Engineering

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/1j10v0p7
https://escholarship.org/content/qt1j10v0p7/qt1j10v0p7.pdf

المؤلفون: Shah, Amar, Mora, Federico, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2310.12234

المؤلفون: Shah, Amar, Mora, Federico, Seshia, Sanjit A

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/7zm4v8hd
https://escholarship.org/content/qt7zm4v8hd/qt7zm4v8hd.pdf

المؤلفون: Seshia, Sanjit

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/2t8209xs

المؤلفون: Seshia, Sanjit, Magyar, Albert, Biancolin, David, Koenig, John, Bachrach, Jonathan, Asanovic, Krste

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/4zs731zk

المؤلفون: Seshia, Sanjit, Dreossi, Tommaso, Fremont, Daniel, Ghos, Shromona, Kim, Edward, Ravanbakhsh, Hadi, Vazquez-Chanlatte, Marcell

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/5qd0m69j