P. Ezudheen

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 3

Top Topics

Convergence Theorem

Learning Scenarios

Iterative Algorithms

Top Venues

Proc. ACM Program. Lang.

Publications

P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza
Verifying Band Convergence for Sampled Control Systems. NFM (2020)
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan
Horn-ICE learning for synthesizing invariants and contracts. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Deepak D'Souza, P. Ezudheen, Pranav Garg, P. Madhusudan, Daniel Neider
Horn-ICE Learning for Synthesizing Invariants and Contracts. CoRR (2017)
P. Ezudheen, Priya Chandran, Joy Chandra, Biju Puthur Simon, Deepak Ravi
Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines. PADS (2009)