Zhendong Ang
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Umang Mathur2×
- Aarti Guptaonce
- Ankush Desaionce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Ranking Formal Specifications using LLMs | LMPL 2025 | 2025-10-12 |
An LLM-driven four-metric rating workflow scores mined first-order specifications (generalizability, criticality, distinguishability, visibility) by prompting… | ||
| Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separatio... | CPP 2024 | 2024-01-15 |
Provides a library of definitions, lemmas and proof rules that let one switch between array and tree views (mutually derivable) to localize updates, formalizes… | ||
| Predictive Monitoring against Pattern Regular Languages | POPL 2024 | 2024-01-14 |
Shows a conditional hardness result: predictive monitoring against regular languages requires at least O(n^α) lower bound time under fine-grained assumptions… | ||
| nothing matches | ||