“Linear Types for Large-Scale Systems Verification" received an ACM SIGPLAN Distinguished Paper Award.
...for his dissertation "Verifying a concurrent, crash-safe file system with sequential reasoning."
The Israeli Ministry of Finance and the Tel Aviv Stock Exchange will pilot the issuance of digital government bonds.
Researchers presented several exciting projects during VMware Explore 2022.
..."for impactful research in the theory and practice of secure multi-party computation, sustained educational leadership, and service to the IACR."
...for her dissertation "Improving computational and human efficiency in large-scale data analytics."
...for her dissertation "Theoretical Foundations for Practical Concurrent and Distributed Computation."
...for his work on "An Efficient Protocol for Secure Two-Party Computation in the Presence of Malicious Adversaries."
...for her work on "Lock-Free Locks Revisited."
...for his work "Graham: Synchronizing Clocks by Leveraging Local Clock Properties."
...for his work on "Rethinking the Library OS from the Top Down."
P4 is a language for expressing how packets are processed by the data plane of switches, network interface cards, routers or network appliances.
...for their work on "Don't shoot down TLB shootdowns!"
...for their work on “IOctopus: Outsmarting Nonuniform DMA.”
Sujata and Radhika made the 2020 AI 2000 Most Influential Scholar Nominees!
...and their work on "FairLedger: A Fair Blockchain Protocol for Financial Institutions"
Congratulations to Nadav Amit, Michael Wei and Vijay Chidambaram for winning Best Paper awards at ATC 2018.
ACM (SIGARCH) and IEEE (TCCA) have awarded Aasheesh the inaugural Outstanding Dissertation Award in computer architecture.
Title: Protocol-Aware Recovery for Consensus-Based Storage
"Black-box Concurrent Data Structures for NUMA Architectures" has been bestowed the significant honor of 2017 SIGPLAN Research Highlight Paper.