Dilip Sequeira

Publications by Year

Research Areas

Context-Aware Activity Recognition Systems, Advanced Data Processing Techniques, Advanced Neural Network Applications, Logic, programming, and type systems, Formal Methods in Verification

Most-Cited Works

• → MLPerf Inference Benchmark(2020)451 cited
• Implementing Proof by Pointing without a Structure Editor(1997)
• Type inference with bounded quantification(1998)
• → MLPerf MobileNet v1 quantized model(2019)
• → MLPerf Inference quantized BERT ONNX Model on SQuAD v1.1 dataset(2020)