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

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

المؤلفون: Li, Yixuan, Parsert, Julian, Polgreen, Elizabeth

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

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

المؤلفون: Padhi, Saswat, Polgreen, Elizabeth, Raghothaman, Mukund, Reynolds, Andrew, Udupa, Abhishek

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

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

المؤلفون: Brauckmann, Alexander, Polgreen, Elizabeth, Grosser, Tobias, O'Boyle, Michael F. P.

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Computation and Language, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Performance

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

المؤلفون: Parsert, Julian, Polgreen, Elizabeth

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

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

المؤلفون: Li, Yixuan, Mora, Federico, Polgreen, Elizabeth, Seshia, Sanjit A.

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

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

المؤلفون: Polgreen, Elizabeth, Cheang, Kevin, Gaddamadugu, Pranav, Godbole, Adwait, Laeufer, Kevin, Lin, Shaokai, Manerkar, Yatin A., Mora, Federico, Seshia, Sanjit A.

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

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

المؤلفون: Polgreen, Elizabeth, Reynolds, Andrew, Seshia, Sanjit A.

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

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

المؤلفون: Fijalkow, Nathanaël, Finkbeiner, Bernd, Pérez, Guillermo A., Polgreen, Elizabeth, Morvan, Rémi

المساهمون: Nathanaël Fijalkow and Bernd Finkbeiner and Guillermo A. Pérez and Elizabeth Polgreen and Rémi Morvan

مصطلحات موضوعية: program synthesis, program verification, reactive synthesis, temporal synthesis

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

العلاقة: Is Part Of Dagstuhl Reports, Volume 13, Issue 9 (2024); urn:nbn:de:0030-drops-198259; https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.166Test

الإتاحة: https://doi.org/10.4230/DagRep.13.9.166Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-198259Test

المؤلفون: Polgreen, Elizabeth, Reynolds, Andrew, Seshia, Sanjit A

مصطلحات موضوعية: Artificial Intelligence & Image Processing

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

الوصول الحر: https://escholarship.org/uc/item/6tj4r9bkTest