Projects

Three featured projects in depth, followed by the rest of my work at a glance.

More projects

AI for IT operations

IBM Research · 2023 – 2024
2 projects
  • 2024
    ScriptSmith · Generate, assess and refine Bash scripts for SREs, without an execution environment.
    AAAI'25PDF
  • 2023
    CodeSift · LLMs as a first-line filter for generated code, with no execution or reference code needed.
    CLOUD'24PDF

Cloud reliability & security

IBM Research · NC State · 2015 – 2021
10 projects
  • 2021
    Risk Quantification · Prioritizing hardening risks by each customer's running environment.
    ★ 2021 IBM Research Accomplishment
  • 2020
    Multi-Cloud Compliance · Ansible-operator policy controllers for CIS benchmarks on RHEL, AWS and Azure.
    ★ 2021 IBM Research Accomplishment
  • 2019
    SecureCode · Detecting risky scripts embedded in Ansible infrastructure code.
    ★ 2021 IBM Research AccomplishmentPDF
  • 2018
    HangFix · Localize the hang, match a root-cause pattern, generate a patch; fixed 40 of 42 real bugs.
    SoCC'20PDF
  • 2018
    FabZK · Privacy-preserving, auditable smart contracts on Hyperledger Fabric.
    DSN'19PDF
  • 2018
    Container Exploit Study · How well static and dynamic schemes detect container exploits.
    IC2E'19PDF
  • 2017
    DScope · Statically detecting data-corruption hang bugs in cloud servers.
    SoCC'18PDF
  • 2017
    TScope & TFix · A study of 156 timeout problems, TScope to identify timeout bugs, TFix to fix them.
    ★ IC2E best paper nomineePDF
  • 2015
    Hytrace · Hybrid static and runtime diagnosis of performance bugs.
    SoCC'17PDF
  • 2015
    CCM · Elastic application deployment and auto-scaling in private clouds.