المؤلفون: 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

الوصول الحر: http://arxiv.org/abs/2407.01688Test

المؤلفون: 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

الوصول الحر: http://arxiv.org/abs/2403.04651Test

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

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

الوصول الحر: http://arxiv.org/abs/2310.01530Test

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

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

الوصول الحر: http://arxiv.org/abs/1902.06067Test

المؤلفون: Van Geffen, Jacob, Wang, Xi, Torlak, Emina, Bornholt, James

المساهمون: Jacob Van Geffen and Xi Wang and Emina Torlak and James Bornholt

مصطلحات موضوعية: program synthesis, crash consistency, file systems

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

العلاقة: Is Part Of LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023); urn:nbn:de:0030-drops-182285; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.35Test

الإتاحة: https://doi.org/10.4230/LIPIcs.ECOOP.2023.35Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-182285Test

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

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

الوصول الحر: http://arxiv.org/abs/1711.09281Test

المؤلفون: Shah, Rohin, Torlak, Emina, Bodik, Rastislav

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

الوصول الحر: http://arxiv.org/abs/1604.04729Test

المؤلفون: 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 M.

المصدر: Proceedings of the ACM on Programming Languages ; volume 8, issue OOPSLA1, page 670-697 ; ISSN 2475-1421

الإتاحة: https://doi.org/10.1145/3649835Test

المؤلفون: Torlak, Emina, 1979

مرشدي الرسالة: Daniel Jackson., Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.

مصطلحات موضوعية: Electrical Engineering and Computer Science.

وصف الملف: 120 p.; application/pdf

الإتاحة: http://hdl.handle.net/1721.1/46789Test

المؤلفون: Porncharoenwase, Sorawee, Nelson, Luke, Wang, Xi, Torlak, Emina

المساهمون: NSF

المصدر: Proceedings of the ACM on Programming Languages ; volume 6, issue POPL, page 1-28 ; ISSN 2475-1421

الإتاحة: https://doi.org/10.1145/3498709Test