Conference Publications

• Ravi Hosabettu, Ganesh Gopalakrishnan and Mandayam Srivas Verifying Advanced Microarchitectures that Support Speculation and Exceptions Gzipped Postscript File, Twelfth International Conference on Computer Aided Verification, 2000.
  The paper is © Springer-Verlag. See the LNCS series Homepage.

• Ravi Hosabettu, Ganesh Gopalakrishnan and Mandayam Srivas A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm Without a Reorder Buffer, Gzipped Postscript File, Tenth IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Bad Herrenalb, Germany, 1999.
  The paper is © Springer-Verlag. See the LNCS series Homepage.

• Ravi Hosabettu, Mandayam Srivas and Ganesh Gopalakrishnan Proof of Correctness of a Processor with Reorder Buffer using the Completion Functions Approach, Gzipped Postscript File, Eleventh International Conference on Computer Aided Verification, Trento, Italy, 1999.
  The paper is © Springer-Verlag. See the LNCS series Homepage.

• Ravi Hosabettu, Mandayam Srivas and Ganesh Gopalakrishnan Decomposing the Proof of Correctness of Pipelined Microprocessors, Gzipped Postscript File, Tenth International Conference on Computer Aided Verification, BC, Canada, 1998.
  The paper is © Springer-Verlag. See the LNCS series Homepage.

• Abdel Mokkedem, Ravi Hosabettu and Ganesh Gopalakrishnan. Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem, Gzipped Postscript File, Second International Conference on Formal Methods in Computer-Aided Design, Palo Alto, USA, 1998.

• G. Gopalakrishnan, R. Ghughal, R. Hosabettu, A. Mokkedem and R. Nalumasu Formal Modeling and Validation Applied to a Commercial Coherent Bus: A Case Study , Gzipped PostScript File, IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Montreal, Canada, 1997.

• Ravi Hosabettu and Asish Mukhopadhyay Computing a Weighted Centerpoint of a Special Configuration of Points in Linear Time, Seventh SIAM Conference on Discrete Mathematics, Albuquerque, New Mexico, 1994.

• Asish Mukhopadhyay, Alok Aggarwal and Ravi Hosabettu On the Ordinary Line Problem in Computational Geometry, Fourth National Seminar on Theoretical Computer Science, IIT Kanpur, India, 1994.

Journal Publications

• Asish Mukhopadhyay, Alok Aggarwal and Ravi Hosabettu On the Ordinary Line Problem in Computational Geometry, Nordic Journal of Computing, Volume 4, Winter 1997.

Other Reports

• Ravi Hosabettu Cache Coherency Verification for Avalanche (CS 611 term project report), Gzipped Postscript File.