Alexandra Silva Cornell University

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Reasoning & Chain-of-Thought (1)

Frequent co-authors

Thomas Lu (1)Qiancheng Fu (1)Kevin Batz (1)Oliver Bøving (1)

Papers (1)

Jul 15, 2026

Thomas Lu +111w ago

A Fast Quantitative Analyzer for NetKAT

Achieving orders of magnitude speedup in quantitative network analysis, this tool enables engineers to efficiently navigate complex design trade-offs.

Thomas Lu, Qiancheng Fu, Kevin Batz +9

Reasoning & Chain-of-Thought

Search

Alexandra Silva Cornell University

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)