David Sheridan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2010–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | VLSID | A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions. | David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan |
| 2011 | DATE | Towards coverage closure: Using GoldMine assertions for generating design validation stimulus. | Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan |
| 2011 | ICDM | Signature Pattern Covering via Local Greedy Algorithm and Pattern Shrink. | Hyungsul Kim, Sungjin Im, Tarek F. Abdelzaher, Jiawei Han, David Sheridan, Shobha Vasudevan |
| 2011 | MEMOCODE | Automatic generation of assertions from system level design using data mining. | Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan |
| 2010 | DATE | GoldMine: Automatic assertion generation using data mining and static analysis. | Shobha Vasudevan, David Sheridan, Sanjay J. Patel, David Tcheng, William Tuohy, Daniel R. Johnson |