المؤلفون: Sharma, Upamanyu, Jung, Ralf, Tassarotti, Joseph, Kaashoek, M. Frans, Zeldovich, Nickolai

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Distributed, Parallel, and Cluster Computing

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

المؤلفون: Sharma, Upamanyu, Jung, Ralf, id_orcid:0 000-0001-7669-6348, Tassarotti, Joseph, Kaashoek, M. Frans, Zeldovich, Nickolai

المصدر: SOSP '23: Proceedings of the 29th Symposium on Operating Systems Principles

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

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/979-8-4007-0229-7; info:eu-repo/semantics/altIdentifier/wos/001135072900008; http://hdl.handle.net/20.500.11850/641983Test; urn:isbn:979-8-4007-0229-7

الإتاحة: https://doi.org/20.500.11850/641983Test
https://doi.org/10.3929/ethz-b-000641983Test
https://doi.org/10.1145/3600006.3613172Test
https://hdl.handle.net/20.500.11850/641983Test

المؤلفون: Chang, Yun-Sheng, Jung, Ralf, id_orcid:0 000-0001-7669-6348, Upamanyu, Sharma, Tassarotti, Joseph, Kaashoek, M. Frans, Zeldovich, Nickolai

المصدر: Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation

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

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-939133-34-2; info:eu-repo/semantics/altIdentifier/wos/001066453900048; http://hdl.handle.net/20.500.11850/628752Test; urn:isbn:978-1-939133-34-2

الإتاحة: https://doi.org/20.500.11850/628752Test
https://doi.org/10.3929/ethz-b-000628752Test
https://hdl.handle.net/20.500.11850/628752Test

المؤلفون: Lee, Juneyoung, Hur, Chung-Kil, Jung, Ralf, Liu, Zhengyang, Regehr, John, Lopes, Nuno P.

المساهمون: Hur, Chung-Kil

مصطلحات موضوعية: IR Memory Model, LLVM

العلاقة: Proceedings of the ACM on Programming Languages, Vol.2 No.OOPSLA; https://hdl.handle.net/10371/192880Test; 000752206000019; 2-s2.0-85069859334; 186086

الإتاحة: https://doi.org/10.1145/3276495Test
https://hdl.handle.net/10371/192880Test

المؤلفون: Tassarotti, Joseph, Jung, Ralf, Harper, Robert

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

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

المؤلفون: Spies, Simon, Gäher, Lennard, Tassarotti, Joseph, Jung, Ralf, Krebbers, Robbert, Birkedal, Lars, Dreyer, Derek

المصدر: Spies , S , Gäher , L , Tassarotti , J , Jung , R , Krebbers , R , Birkedal , L & Dreyer , D 2022 , ' Later credits : resourceful reasoning for the later modality ' , Proceedings of the ACM on Programming Languages , vol. 6 , no. ICFP , 100 . https://doi.org/10.1145/3547631Test

مصطلحات موضوعية: Iris, later modality, Separation logic, step-indexing, transfinite

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

العلاقة: https://pure.au.dk/portal/en/publications/cbdd92bf-ccb2-4b29-a8b7-e6633f2dfc90Test

الإتاحة: https://doi.org/10.1145/3547631Test
https://pure.au.dk/portal/en/publications/cbdd92bf-ccb2-4b29-a8b7-e6633f2dfc90Test
https://pure.au.dk/ws/files/367247278/3527318.pdfTest
http://www.scopus.com/inward/record.url?scp=85139445587&partnerID=8YFLogxKTest

المؤلفون: Gäher, Lennard, Sammler, Michael, Spies, Simon, Jung, Ralf, Dang, Hoang-Hai, Krebbers, Robbert, Kang, Jeehoon, Dreyer, Derek

المساهمون: Nederlandse Organisatie voor Wetenschappelijk Onderzoek, European Research Council

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

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

المؤلفون: Jung, Ralf, Lepigre, Rodolphe, Parthasarathy, Gaurav, Rapoport, Marianna, Timany, Amin, Dreyer, Derek, Jacobs, Bart

المصدر: Proceedings of the ACM on Programming Languages, 4 (POPL)

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

العلاقة: info:eu-repo/semantics/altIdentifier/wos/000685202400046; http://hdl.handle.net/20.500.11850/438586.1Test; http://hdl.handle.net/20.500.11850/438586Test

الإتاحة: https://doi.org/20.500.11850/438586.1Test
https://doi.org/20.500.11850/438586Test
https://doi.org/10.3929/ethz-b-000438586Test
https://doi.org/10.1145/3371113Test
https://hdl.handle.net/20.500.11850/438586.1Test
https://hdl.handle.net/20.500.11850/438586Test

المؤلفون: Jung, Ralf, Jourdan, Jacques-Henri, Krebbers, Robbert, Dreyer, Derek

المساهمون: Max Planck Institute for Software Systems (MPI-SWS), Centre National de la Recherche Scientifique (CNRS), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université Paris-Saclay, Delft University of Technology (TU Delft)

المصدر: ISSN: 0001-0782.

مصطلحات موضوعية: Rust, safety, control, programming language, type systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

العلاقة: hal-03021536; https://hal.science/hal-03021536Test; https://hal.science/hal-03021536/documentTest; https://hal.science/hal-03021536/file/jung2020safe.pdfTest

الإتاحة: https://doi.org/10.1145/3418295Test
https://hal.science/hal-03021536Test
https://hal.science/hal-03021536/documentTest
https://hal.science/hal-03021536/file/jung2020safe.pdfTest

المؤلفون: Yanovski, Joshua, Dang, Hoang-Hai, Jung, Ralf, Dreyer, Derek

المساهمون: European Research Council

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

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