Sotabase

Career

· Tenure Stream Assistant Professor, University of Toronto2025–
· Research Scientist, Amazon Web Services2024–2025
· Research Intern, Microsoft Research2023–2023
· Research Intern, Meta Platforms2022–2022
· Intern, CertiK2021–2021
· MS in Computer Science, Columbia University2019–2021
· PhD in Computer Science, Columbia University2019–2024
· Summer intern student, Carnegie Mellon University2018–2018
· Research assistant, Tsinghua University2017–2018
· B.Eng. in Computer Science and Technology, Tsinghua University2015–2019

Publications (40)

CLN2INV: Learning Loop Invariants with Continuous Logic Networks
International Conference on Learning Representations · 2019
68
cited
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
USENIX Symposium on Operating Systems Design and Implementation · 2021
68
cited
Learning nonlinear loop invariants with gated continuous logic networks
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2020
62
cited
Effect of laser heat input on the interface morphology during laser joining of CFRTP and 6061 aluminum alloy
2020
58
cited
The effect of cooling rates on crystallization and low-velocity impact behaviour of carbon fibre reinforced poly(aryl ether ketone) composites
Composites Part B: Engineering · 2023
50
cited
Superheat-resistant polyimides with ultra-low coefficients of thermal expansion
2020
48
cited
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
USENIX Symposium on Operating Systems Design and Implementation · 2022
44
cited
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Symposium on Operating Systems Principles · 2021
43
cited
Transparent and soluble polyimide films from 1,4:3,6-dianhydro-D-mannitol based dianhydride and diamines containing aromatic and semiaromatic units: Preparation, characterization, thermal and mechanical properties
2018
43
cited
Giallar: push-button verification for the qiskit Quantum compiler
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2022
34
cited
Dual-Switching Electrochromism and Electrofluorochromism Derived from Diphenylamine-Based Polyamides with Spirobifluorene/Pyrene as Bridged Fluorescence Units.
ACS Applied Materials and Interfaces · 2020
32
cited
Synthesis and properties of polyimides derived from 2,2′-dichloro-4,4′,5,5′-biphenyltetracarboxylic dianhydride
Polymer · 2019
27
cited
Construction of high-performance, high-temperature shape memory polyimides bearing pyridine and trifluoromethyl group
2020
25
cited
Synthesis of polyimides with lower H 2 O‐absorption and higher thermal properties by incorporation of intramolecular H‐bonding
2020
24
cited
High-contrast electrochromic and electrofluorescent dual-switching materials based on 2-diphenylamine-(9,9-diphenylfluorene)-functionalized semi-aromatic polymers
2016
23
cited
Exploring of the Quantum Capacitance of Mos2/Graphene Heterostructures for Supercapacitor Electrodes
Social Science Research Network · 2023
22
cited
Gleipnir: toward practical error analysis for Quantum programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
20
cited
Synthesis of Superheat-Resistant Polyimides with Enhanced Dielectric Constant by Introduction of Cu(ΙΙ)-Coordination
Polymers · 2020
16
cited
Study on the Overmolding Process of Carbon-Fiber-Reinforced Poly (Aryl Ether Ketone) (PAEK)/Poly (Ether Ether Ketone) (PEEK) Thermoplastic Composites
Materials · 2023
15
cited
Highly optical transparency and thermally stable polyimides containing pyridine and phenyl pendant
Designed Monomers and Polymers · 2017
14
cited
Sotabase
Jianan Yao | Researcher Profile | Sotabase | Sotabase