Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Woosung Song

dblp:309/6056 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2023
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 100%
Network and information security
1 paper
Cryptographic primitives and cryptanalysis · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic primitives and cryptanalysis
homomorphic encryption
0.712023
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption · Proc. ACM Program. Lang. 2023
Compilers and program optimization
compiler optimization
0.712023
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption · Proc. ACM Program. Lang. 2023
Compilers and program optimization › domain-specific compilation
FHE compiler
0.712023
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption · Proc. ACM Program. Lang. 2023
Compilers and program optimization
intermediate representation
0.212023
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption · Proc. ACM Program. Lang. 2023

Methods — techniques the papers use, named apart from their topics

vectorization · 1.3loop fusion · 1.3multithreading · 0.7multi-threading · 0.7
YearPublicationVenuePosition
2023 HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
abstract
Homomorphic encryption (HE) is an encryption scheme that provides arithmetic operations on the encrypted data without doing decryption. For Ring-based HE, an encryption scheme that uses arithmetic operations on a polynomial ring as building blocks, performance improvement of unit HE operations has been achieved by two kinds of efforts. The first one is through accelerating the building blocks, polynomial operations. However, it does not facilitate optimizations across polynomial operations such as fusing two polynomial operations. The second one is implementing highly optimized HE operations in an amalgamated manner. The written codes have superior performance, but they are hard to maintain. To resolve these challenges, we propose HEaaN.MLIR, a compiler that performs optimizations across polynomial operations. Also, we propose Poly and ModArith, compiler intermediate representations (IRs) for integer polynomial arithmetic and modulus arithmetic on integer arrays. HEaaN.MLIR has compiler optimizations that are motivated by manual optimizations that HE developers do. These include optimizing modular arithmetic operations, fusing loops, and vectorizing integer arithmetic instructions. HEaaN.MLIR can parse a program consisting of the Poly and ModArith instructions and generate a high-performance, multithreaded machine code for a CPU. Our experiment shows that the compiled operations outperform heavily optimized open-source and commercial HE libraries by up to 3.06x in a single thread and 4.55x in multiple threads.
Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Jun-Bum Shin, Juneyoung Lee
Proc. ACM Program. Lang.2