Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Fri 19 Jun 2020 14:40 - 15:00 at PLDI Research Papers live stream - Language Design II Chair(s): Mike Dodds

Fully-Homomorphic Encryption (FHE) offers powerful capabilities
by enabling secure offloading of both storage and computation,
and recent innovations in schemes and implementations have made
it all the more attractive. At the same time, FHE is notoriously
hard to use with a very constrained programming model, a very
unusual performance profile, and many cryptographic constraints.
Existing compilers for FHE either target simpler but less efficient
FHE schemes or only support specific domains where they can rely
on expert-provided high-level runtimes to hide complications.

This paper presents a new FHE language called Encrypted Vector
Arithmetic (EVA), which includes an optimizing compiler that
generates correct and secure FHE programs, while hiding all
the complexities of the target FHE scheme. Bolstered by our
optimizing compiler, programmers can develop efficient
general-purpose FHE applications directly in EVA. For example,
we have developed image processing applications using EVA,
with a very few lines of code.

EVA is designed to also work as an intermediate representation
that can be a target for compiling higher-level domain-specific
languages. To demonstrate this, we have re-targeted CHET, an
existing domain-specific compiler for neural network inference,
onto EVA. Due to the novel optimizations in EVA, its programs
are on average $5.3\times$ faster than those generated by CHET.
We believe that EVA would enable a wider adoption of FHE by
making it easier to develop FHE applications and domain-specific
FHE compilers.

Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-papers
14:20 - 15:40: PLDI Research Papers - Language Design II at PLDI Research Papers live stream
Chair(s): Mike DoddsGalois, Inc.

YouTube lightning session video

pldi-2020-papers14:20 - 14:40
Talk
Gérard BerryCollège de France, France, Manuel SerranoInria, France
pldi-2020-papers14:40 - 15:00
Talk
Roshan DathathriUniversity of Texas at Austin, USA, Blagovesta KostovaEPFL, Switzerland, Olli SaarikiviMicrosoft Research, Redmond, Wei DaiMicrosoft Research, n.n., Kim LaineMicrosoft Research, Redmond, Madan MusuvathiMicrosoft Research
pldi-2020-papers15:00 - 15:20
Talk
pldi-2020-papers15:20 - 15:40
Talk
Stefan K. MullerCarnegie Mellon University, USA, Kyle SingerWashington University in St. Louis, USA, Noah GoldsteinWashington University in St. Louis, USA, Umut A. AcarCarnegie Mellon University, USA, Kunal AgrawalWashington University in St. Louis, USA, I-Ting Angelina LeeWashington University in St. Louis, USA