pith. sign in

Bow-Yaw Wang

Identifiers

  • name variant Bow-Yaw Wang 0.60 · backfill

Papers (8)

  1. Quantitative Auditing of AI Fairness with Differentially Private Synthetic Data cs.CY · 2025 · author #2
  2. Defensive Design of Saturating Counters Based on Differential Privacy cs.CR · 2022 · author #4
  3. Analyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker cs.FL · 2022 · author #2
  4. Verifying Pufferfish Privacy in Hidden Markov Models cs.CR · 2020 · author #2 as printed: Bow-yaw Wang
  5. A Spin-based model checking for the simple concurrent program on a preemptive RTOS cs.OS · 2018 · author #3
  6. An Executable Sequential Specification for Spark Aggregation cs.DC · 2017 · author #6
  7. PAC Learning-Based Verification and Model Synthesis cs.SE · 2015 · author #6
  8. Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation cs.SE · 2015 · author #3

Mentions

  • 2504.21634 #2 · arxiv_oai · confidence 0.70 Bow-Yaw Wang
  • 2205.07480 #2 · arxiv_oai · confidence 0.70 Bow-Yaw Wang
  • 2206.00279 #4 · arxiv_oai · confidence 0.70 Bow-Yaw Wang
  • 2008.01704 #2 · arxiv_oai · confidence 0.70 Bow-yaw Wang
  • 1808.04239 #3 · arxiv_oai · confidence 0.70 Bow-Yaw Wang
  • 1702.02439 #6 · arxiv_oai · confidence 0.70 Bow-Yaw Wang
  • 1511.00754 #6 · arxiv_oai · confidence 0.70 Bow-Yaw Wang
  • 1502.04280 #3 · arxiv_oai · confidence 0.70 Bow-Yaw Wang
  • 1511.00754 #6 · backfill · confidence 0.70 Bow-Yaw Wang
  • 1502.04280 #3 · backfill · confidence 0.70 Bow-Yaw Wang

Frequent Coauthors