المؤلفون: Ranjit Jhala, Kenneth L. McMillan

المصدر: Logical Methods in Computer Science, Vol Volume 3, Issue 4 (2007)

مصطلحات موضوعية: computer science - logic in computer science, computer science - programming languages, computer science - software engineering, d.2.4, f.3.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/1152/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/4f73ce4098af480e994bea536452dbbc

المؤلفون: Ranjit Jhala, Niki Vazou

المؤلفون: Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, Ranjit Jhala

المصدر: Proceedings of the ACM on Programming Languages. 6:1180-1206

مصطلحات موضوعية: Safety, Risk, Reliability and Quality, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::db4c72bb7aac754b249b1775a60ebb68
https://doi.org/10.1145/3563330

المؤلفون: Shivani Doshi, Michael James, Ziteng Wang, Hila Peleg, Nadia Polikarpova, Ranjit Jhala, Zheng Guo

المصدر: Proceedings of the ACM on Programming Languages. 4:1-27

مصطلحات موضوعية: Fold (higher-order function), Computer science, Programming language, Type inference, Haskell, Program behavior, Safety, Risk, Reliability and Quality, computer.software_genre, computer, Software, Program synthesis, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f38b83394fc290270e756e3a67c64889
https://doi.org/10.1145/3428273

المؤلفون: Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan

المصدر: Proceedings of the ACM on Programming Languages
49th ACM SIGPLAN Symposium on Principles of Programming Languages

مصطلحات موضوعية: Safety, Risk, Reliability and Quality, Software

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc0edfeb948570db2ec2803d07929dbf
https://hdl.handle.net/21.11116/0000-0009-B26B-621.11116/0000-0009-CB9F-021.11116/0000-0009-B269-8

المؤلفون: Ranjit Jhala

المصدر: Lecture Notes in Computer Science ISBN: 9783031223365

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a133ad4ebdee1dd240ae296c60dcf4c6
https://doi.org/10.1007/978-3-031-22337-2_26

المؤلفون: Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala, Rami Gökhan Kıcı

المساهمون: Theoretical Computer Science, Network Institute

المصدر: CCS
von Gleissenthall, K, Klcl, R G, Stefan, D & Jhala, R 2021, Solver-Aided Constant-Time Hardware Verification . in CCS 2021 : Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security . Proceedings of the ACM Conference on Computer and Communications Security, vol. 2021, Association for Computing Machinery, pp. 429-444, 27th ACM Annual Conference on Computer and Communication Security, CCS 2021, Virtual, Online, Korea, Republic of, 15/11/21 . https://doi.org/10.1145/3460120.3484810
CCS 2021: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 429-444
STARTPAGE=429;ENDPAGE=444;TITLE=CCS 2021

مصطلحات موضوعية: Modularity (networks), Computer science, business.industry, chemistry.chemical_element, Solver, Modular design, side-channels, Set (abstract data type), Constant (computer programming), Xenon, chemistry, Verilog, hardware, constant-time, SDG 7 - Affordable and Clean Energy, business, verification, computer, Computer hardware, computer.programming_language, Electronic circuit

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af858411b27c9ac547e3c199a2642396
https://doi.org/10.1145/3460120.3484810

المؤلفون: Lee Pike, Aritra Sengupta, Martin Schäf, Michael Emmi, Willem Visser, Nicolás Rosner, Ranjit Jhala, Liana Hadarean

المصدر: ESEC/SIGSOFT FSE

مصطلحات موضوعية: business.industry, Software deployment, Computer science, Software security assurance, Scale (chemistry), Code (cryptography), Cloud computing, Software engineering, business, Heuristics, Automaton, Variety (cybernetics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6508955580adb9376bb9ec5b6581e7fe
https://doi.org/10.1145/3468264.3473934

المؤلفون: Ranjit Jhala, Rami Gökhan Kıcı, Alexander Bakst, Klaus von Gleissenthall, Deian Stefan

المساهمون: Theoretical Computer Science, Network Institute

المصدر: Proceedings of the ACM on Programming Languages, 3(POPL):59, 1-30. Association for Computing Machinery (ACM)
von Gleissenthal, K, Klcl, R G, Bakst, A, Stefan, D & Jhala, R 2019, ' Pretend synchrony: synchronous verification of asynchronous distributed programs ', Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 59, pp. 1-30 . https://doi.org/10.1145/3290372

مصطلحات موضوعية: Leader election, Correctness, SDG 16 - Peace, Computer science, Distributed computing, Concurrency, Message passing, SDG 16 - Peace, Justice and Strong Institutions, 020207 software engineering, 02 engineering and technology, Synchronization, Justice and Strong Institutions, Paxos, Asynchronous communication, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Protocol (object-oriented programming), Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d90e94a209ddcd3712755180e50c2c8
https://research.vu.nl/en/publications/f0a33e44-6120-41fd-9dce-e33b26b5b3ca

المؤلفون: Niki Vazou, Ranjit Jhala

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::22d68b6d259afd46d73e0c4de9d04213
https://doi.org/10.1561/9781680838855