BLOOM: Bimodal Lattice One-Out-of-Many Proofs and ApplicationsVadim LyubashevskyNgoc Khanh Nguyen2022ASIACRYPT 2022
Translating Canonical SQL to Imperative Code in CoqVéronique BenzakenEveleyne Contejeanet al.2022SPLASH 2022
RAPID: Real-Time Alert Investigation with Context-aware Prioritization for Efficient Threat DiscoveryYushan LiuXiaokui Shuet al.2022ACSAC 2022
Prediction of Phase Diagrams and Associated Phase Structural PropertiesFederico ZipoliVictor Viterboet al.2022MRS-J 2022
Machine Learning based Discrimination for Excited State Promoted ReadoutUtkarsh AzadHelena Zhang2022SEC 2022
Toward Human-AI Co-creation to Accelerate Material DiscoveryDmitry ZubarevCarlos Raoni De Alencar Mendeset al.2022NeurIPS 2022
New Phase-Change Materials by Atomic-Level Engineering the Dopants for Extremely Low VthDrift at 85 °C and High Endurance 3D Crosspoint Memory : IBM/Macronix PCRAM Joint ProjectHuai-Yu ChengA. Grunet al.2022IEDM 2022
On the Write Schemes and Efficiency of FeFET 1T NOR Array for Embedded Nonvolatile Memory and BeyondYi XiaoYixin Xuet al.2022IEDM 2022