Concepedia

Yanju Chen

YC

9

Publications

269

Citations

9

H-Index

2019

Active since

Affiliations

University of California, Santa Barbara(Current)

The University of Texas at Austin

Yanju Chen is an author at University of California, Santa Barbara specializing in computer science, engineering, and software engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware EngineeringFormal VerificationSoftware DesignComputer EngineeringBlockchain

Publications per year

2019–2023

9

Publications

9

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

Priyanka Bose, Dipanjan Das, Yanju Chen et al. · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 92 citations

Software Maintenance, Engineering, Verification +21

Ruben Martins, Jia Chen, Yanju Chen et al. · Proceedings of the VLDB Endowment · 2019 · 40 citations

Engineering, Domain-specific Program Synthesizers, Software Engineering +16

Maximal multi-layer specification synthesis

Yanju Chen, Ruben Martins, Yu Feng · 2019 · 31 citations · Full text

Artificial Intelligence, Structured Prediction, Engineering +26

Automated transpilation of imperative to functional code using neural-guided program synthesis

Benjamin Mariano, Yanju Chen, Yu Feng et al. · Proceedings of the ACM on Programming Languages · 2022 · 26 citations · Full text

Engineering, Compiler Technology, Software Engineering +22

Demystifying loops in smart contracts

Benjamin Mariano, Yanju Chen, Yu Feng et al. · 2020 · 19 citations · Full text

Software Maintenance, Blockchain Consensus Protocol, Engineering +21

Rows per page

1–5 of 9