-
1تقرير
المؤلفون: 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
-
2تقرير
المؤلفون: 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
-
3تقرير
المؤلفون: Singhal, Kartik, Hietala, Kesha, Marshall, Sarah, Rand, Robert
المصدر: EPTCS 394, 2023, pp. 170-191
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Emerging Technologies, Computer Science - Logic in Computer Science, Quantum Physics
الوصول الحر: http://arxiv.org/abs/2206.03532Test
-
4تقرير
المؤلفون: Peng, Yuxiang, Hietala, Kesha, Tao, Runzhou, Li, Liyi, Rand, Robert, Hicks, Michael, Wu, Xiaodi
مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics
الوصول الحر: http://arxiv.org/abs/2204.07112Test
-
5تقرير
المؤلفون: Li, Liyi, Voichick, Finn, Hietala, Kesha, Peng, Yuxiang, Wu, Xiaodi, Hicks, Michael
مصطلحات موضوعية: Quantum Physics, Computer Science - Programming Languages
الوصول الحر: http://arxiv.org/abs/2112.06700Test
-
6تقرير
المؤلفون: Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Li, Liyi, Hicks, Michael
مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics
الوصول الحر: http://arxiv.org/abs/2010.01240Test
-
7تقرير
-
8تقرير
-
9تقرير
المؤلفون: Hung, Shih-Han, Hietala, Kesha, Zhu, Shaopeng, Ying, Mingsheng, Hicks, Michael, Wu, Xiaodi
مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics
الوصول الحر: http://arxiv.org/abs/1811.03585Test
-
10مؤتمر
المؤلفون: Arasu, Arvind, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil, Fromherz, Aymeric, Hietala, Kesha, Parno, Bryan, Ramamurthy, Ravi
المساهمون: Microsoft Research, Programming securely with cryptography (PROSECCO), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), University of Maryland College Park, University of Maryland System, Carnegie Mellon University Pittsburgh (CMU)
المصدر: CPP '23 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-04104143Test ; CPP '23 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston (MA), United States. pp.30-46, ⟨10.1145/3573105.3575687⟩
مصطلحات موضوعية: Runtime monitors, Authenticated data structures, Concurrency proofs, Separation logic, [INFO]Computer Science [cs]
جغرافية الموضوع: Boston (MA), United States
الوقت: Boston (MA), United States
العلاقة: hal-04104143; https://inria.hal.science/hal-04104143Test; https://inria.hal.science/hal-04104143/documentTest; https://inria.hal.science/hal-04104143/file/fastver2.pdfTest
الإتاحة: https://doi.org/10.1145/3573105.3575687Test
https://inria.hal.science/hal-04104143Test
https://inria.hal.science/hal-04104143/documentTest
https://inria.hal.science/hal-04104143/file/fastver2.pdfTest