Skip to main navigation Skip to search Skip to main content
Qianchuan Ye

View Scopus Profile

Qianchuan Ye

Assistant professor 10 months

    20192024

    Research activity per year

    Personal profile

    Fingerprint

    Dive into the research topics where Qianchuan Ye is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further
    • 5 Article
    • 3 Conference contribution

    • A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata

      Zhou, Z., Ye, Q., Delaware, B. & Jagannathan, S., Jun 20 2024, In: Proceedings of the ACM on Programming Languages. 8, 203.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      6 Scopus citations

    • Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation

      Ye, Q. & Delaware, B., Apr 29 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA1, 144.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      2 Scopus citations

    • Taype: A Policy-Agnostic Language for Oblivious Computation

      Ye, Q. & Delaware, B., Jun 6 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 1001-1025 25 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      2 Scopus citations

    • Oblivious algebraic data types

      Ye, Q. & Delaware, B., Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, 3498696.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      8 Scopus citations

    • RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties

      Dickerson, R., Ye, Q., Zhang, M. K. & Delaware, B., 2022, Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Proceedings. Sergey, I. (ed.). Springer Science and Business Media Deutschland GmbH, p. 67-87 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13658 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      16 Scopus citations
    View all 8 Research outputs