David Hopkins
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1994–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISCAS | Design Considerations of Monolithically Integrated Voltage Regulators for Multicore Processors. | Hesam Fathi Moghadam, Jieun Jang, Michael Dayringer, Thipok Rak-amnouykit, Guanghua Shu, Anatoly Yakovlev, Yue Zhang, David Hopkins |
| 2015 | FOSSACS | Fragments of ML Decidable by Nested Data Class Memory Automata. | Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong |
| 2012 | CAV | Hector: An Equivalence Checker for a Higher-Order Fragment of ML. | David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong |
| 2011 | ICALP | A Fragment of ML Decidable by Visibly Pushdown Automata. | David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong |
| 2009 | CAV | Homer: A Higher-Order Observational Equivalence Model checkER. | David Hopkins, C.-H. Luke Ong |
| 2008 | SC | High-radix crossbar switches enabled by proximity communication. | Hans Eberle, Pedro Javier Garca, Jos Flich, Jos Duato, Robert J. Drost, Nils Gura, David Hopkins, Wladek Olesinski |
| 2000 | SIGUCCS | Web Documentation Project at the University of Delaware. | David Hopkins |
| 1994 | WSC | USMED: broadening the impact of simulation analysis methodology (panel). | Russell R. Barton, Lee Schruben, James C. Ford, David Hopkins, David Goldsman, Kevin J. Healy |