selected publications
-
academic article
- Implementing computational biology pipelines using VisFlow. International Journal of Data Mining and Bioinformatics. 17.0:115.0-131.0. 2017
- Compile-time area estimation for LUT-based FPGAs. ACM Transactions on Design Automation of Electronic Systems. 11:104-122. 2006
- High-level language abstraction for reconfigurable computing. Computer. 36:63-+. 2003
- Using The Reactive Current Profile Of A Feeder To Determine Optimal Capacitor Placement. IEEE Transactions on Power Delivery. 3:411-416. 1988
- A Portable Apparatus For Absolute Measurements Of The Earths Gravity. Metrologia. 18:145-152. 1982
- Plans For The Development Of A Portable Absolute Gravimeter With A Few Parts In 109 Accuracy. Tectonophysics. 52:107-116. 1979
-
conference paper
- Improving Security Assurance of Embedded Systems Through Systemic Dissolution of Architected Resources. Hawaii International Conference on System Sciences. 2012
- Increasing Computational Density of Application-Specific Systems. Electronic System-Level Synthesis Conference. 2011
- Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries. EuroMICRO Conference on Digital Systems Design. 2011
- Automated Preemptive Hardware Isolation of High-Risk Computing Applications. Secure and Resilient Cyber Architectures Conference. 2010