CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation

1 code implementation • ICLR 2022 • Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik

Designing a suitable representation for code-reasoning tasks is challenging in aspects such as the kinds of program information to model, how to combine them, and how much context to consider.

Exception type Variable misuse

Active operator inference for learning low-dimensional dynamical-system models from noisy data

no code implementations • 20 Jul 2021 • Wayne Isaac Tan Uy, Yuepeng Wang, Yuxiao Wen, Benjamin Peherstorfer

Furthermore, the connection between operator inference and projection-based model reduction enables bounding the mean-squared errors of predictions made with the learned models with respect to traditional reduced models.

Formal Specification and Verification of Smart Contracts for Azure Blockchain

1 code implementation • 20 Dec 2018 • Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig

In this paper, we describe the formal verification of Smart Contracts offered as part of the Azure Blockchain Content and Samples on github.

Programming Languages F.3.1