Jiawei Chen -

Registered user since Thu 21 Oct 2021

Name:Jiawei Chen

Country:United States

Affiliation:University of Michigan

Contributions

2026

SPLASH

Author of Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities within the OOPSLA-track

FM

Author of A General Framework for Robust Quantitative Semantics of Signal Temporal Logic within the Research Track-track

2024

ICFP

Author of Synchronous Programming with Refinement Types within the ICFP Papers and Events-track
Author of Synchronous Programming with Refinement Types within the Artifact Evaluation-track

2022

FTSCS

Author of Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation within the Formal Techniques for Safety-Critical Systems-track