Manpreet Khaira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1991–1999
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | VLSID | Logic Verification of Very Large Circuits Using Shark. | Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman |
| 1996 | DAC | Word Level Model Checking - Avoiding the Pentium FDIV Error. | Edmund M. Clarke, Manpreet Khaira, Xudong Zhao |
| 1996 | FMCAD | Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. | Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao |
| 1991 | PPoPP | Parallelizing a New Class of Large Applications over High-speed Networks. | H. T. Kung, Peter Steenkiste, Marco Dimas Gubitoso, Manpreet Khaira |