Congratulations Naama Ben-David, Gal Sela, and Adriana Szekeres!
...for "DBSP: Automatic Incremental View Maintenance for Rich Query Languages."
...for the 2013 paper, "Pinocchio: Nearly Practical Verifiable Computation."
Congratulations to Nadav Amit, Alex Conway, and Rob Johnson for winning distinguished paper and distinguished artifact awards.
Three papers explore advances in the memory sub-system, which significantly impacts the performance of existing and emerging workloads.
We seek researchers working in machine learning, systems, and related areas, but we'll also consider strong candidates in all areas.
“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.”