Masaki Waga

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)

Frequent co-authors

Shoma Ansai (1)Shoma Ansai (1)Masaki Waga (1)

Papers (1)

Feb 24, 2026

Shoma Ansai +32w ago

A Case Study on Runtime Verification of a Continuous Deployment Process

FluxCD, a popular GitOps tool, sometimes misses image updates for up to 10 minutes, highlighting the need for runtime verification in continuous deployment pipelines.

Shoma Ansai, Shoma Ansai, Masaki Waga +1

Code Generation & Program Synthesis Distributed Systems & Hardware

Search

Masaki Waga

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)