المؤلفون: Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew

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

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

المؤلفون: Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew

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

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

المؤلفون: Porncharoenwase, Sorawee, Pombrio, Justin, Torlak, Emina

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

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

المؤلفون: Feng, Yu, Torlak, Emina, Bodik, Rastislav

المصدر: 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2020 35th IEEE/ACM International Conference on. :1141-1152 Sep, 2020

Relation: 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Loncaric, Calvin, Ernst, Michael D., Torlak, Emina

المصدر: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2018 IEEE/ACM 40th International Conference on. :958-968 May, 2018

Relation: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)

المؤلفون: Feng, Yu, Torlak, Emina, Bodik, Rastislav

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

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

المؤلفون: Toman, John, Pernsteiner, Stuart, Torlak, Emina

المصدر: 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on. :75-80 Nov, 2015

Relation: 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Kazerounian, Milod, Vazou, Niki, Bourgerie, Austin, Foster, Jeffrey S., Torlak, Emina

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

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

المؤلفون: Alur, Rajeev, Bodik, Rastislav, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Solar-Lezama, Armando, Torlak, Emina, Udupa, Abhishek

المصدر: 2013 Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design (FMCAD), 2013. :1-8 Oct, 2013

Relation: 2013 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Chandra, Satish, Torlak, Emina, Barman, Shaon, Bodik, Rastislav

المصدر: 2011 33rd International Conference on Software Engineering (ICSE) Software Engineering (ICSE), 2011 33rd International Conference on. :121-130 May, 2011

Relation: 2011 33rd International Conference on Software Engineering (ICSE)