Dilip Sequeira

Implementing Proof by Pointing without a Structure Editor

Yves Bertot, Thomas Kleymann-Schreiber, Dilip Sequeira, 1997 .

Type inference with bounded quantification

Dilip Sequeira, 1998 .

The Vision Behind MLPerf: Understanding AI Inference Performance

Carole-Jean Wu, Gennady Pekhimenko, Thomas B. Jablin, 2021, IEEE Micro.