David Hopkins

Publication Activity (10 Years)

Years Active: 1994-2018
Publications (10 Years): 3

Top Topics

Lambda Calculus

Computational Power

Multicore Processors

Top Venues

Publications

Hesam Fathi Moghadam, Jieun Jang, Michael Dayringer, Thipok Rak-amnouykit, Guanghua Shu, Anatoly Yakovlev, Yue Zhang, David Hopkins
Design Considerations of Monolithically Integrated Voltage Regulators for Multicore Processors. ISCAS (2018)
Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong
Fragments of ML Decidable by Nested Data Class Memory Automata. CoRR (2015)
Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong
Fragments of ML Decidable by Nested Data Class Memory Automata. FoSSaCS (2015)
David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong
Hector: An Equivalence Checker for a Higher-Order Fragment of ML. CAV (2012)
David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong
A Fragment of ML Decidable by Visibly Pushdown Automata. ICALP (2) (2011)
Jo C. Ebergen, Daniel F. Finchelstein, Russell Kao, Jon K. Lexau, David Hopkins
An Evaluation of Asynchronous Stacks. IEEE Des. Test Comput. 28 (5) (2011)
David Hopkins, C.-H. Luke Ong
Homer: A Higher-Order Observational Equivalence Model checkER. CAV (2009)
Hans Eberle, Pedro Javier García, Jose Flich, José Duato, Robert J. Drost, Nils Gura, David Hopkins, Wladek Olesinski
High-radix crossbar switches enabled by proximity communication. SC (2008)
Ron Ho, Tarik Ono, David Hopkins, Alex Chow, Justin Schauer, Frankie Y. Liu, Robert J. Drost
High Speed and Low Energy Capacitively Driven On-Chip Wires. IEEE J. Solid State Circuits 43 (1) (2008)
David Hopkins, Alex Chow, Robert Bosnyak, Bill Coates, Jo C. Ebergen, Scott Fairbanks, Jonathan Gainsley, Ron Ho, Jon K. Lexau, Frankie Liu, Tarik Ono, Justin Schauer, Ivan E. Sutherland, Robert J. Drost
Circuit Techniques to Enable 430Gb/s/mm2 Proximity Communication. ISSCC (2007)
Ron Ho, Tarik Ono, Frankie Liu, David Hopkins, Alex Chow, Justin Schauer, Robert J. Drost
High-Speed and Low-Energy Capacitively-Driven On-Chip Wires. ISSCC (2007)
Alex Chow, William S. Coates, David Hopkins
A Configurable Asynchronous Pseudorandom Bit Sequence Generator. ASYNC (2007)
Jo C. Ebergen, Alex Chow, Bill Coates, Justin Schauer, David Hopkins
An Asynchronous High-Throughput Control Circuit For Proximity Communication. ASYNC (2006)
Jo C. Ebergen, Daniel F. Finchelstein, Russell Kao, Jon K. Lexau, David Hopkins
A Fast and Energy-Efficient Stack. ASYNC (2004)
David Hopkins
Web Documentation Project at the University of Delaware. SIGUCCS (2000)
Russell R. Barton, Lee Schruben, James C. Ford, David Hopkins, David Goldsman, Kevin J. Healy
USMED: broadening the impact of simulation analysis methodology (panel). WSC (1994)