| 2017 | ICCD | Pulse Ring Oscillator Tuning via Pulse Dynamics. | Aditya Dalakoti, Merritt Miller, Forrest Brewer |
| 2017 | VLSID | Low Complexity and Critical Path Based VLSI Architecture for LMS Adaptive Filter Using Distributed Arithmetic. | Mohd. Tasleem Khan, Shaik Rafi Ahamed, Forrest Brewer |
| 2016 | VLSID | A Novel Co-design Methodology for Optimizing ESD Protection Device Using Layout Level Approach. | Vishnuram Abhinav, Dheeraj Kumar Sinha, Amitabh Chatterjee, Forrest Brewer |
| 2013 | DATE | Formal verification of analog circuit parameters across variation utilizing SAT. | Merritt Miller, Forrest Brewer |
| 2011 | GLOBECOM | Automated MAC Protocol Generation with Multiple Neighborhoods and Acknowledgments Based on Symbolic Monte Carlo Simulation. | Jian Zhen, Forrest Brewer, Volkan Rodoplu |
| 2010 | GLOBECOM | A Methodology for Optimal MAC Protocol Generation: Case Study of a Synchronous MAC Channel. | Jian Zhen, Forrest Brewer, Volkan Rodoplu |
| 2010 | MEMOCODE | Design contest overview: Combined architecture for network stream categorization and intrusion detection (CANSCID). | Michael Pellauer, Abhinav Agarwal, Asif Khan, Man Cheuk Ng, Muralidaran Vijayaraghavan, Forrest Brewer, Joel S. Emer |
| 2009 | MEMOCODE | 2009 MEMOCODE Co-Design Contest. | Forrest Brewer, James C. Hoe |
| 2009 | VLSID | Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. | Nitin Kataria, Forrest Brewer, Joo Pedro Hespanha, Timothy Sherwood |
| 2008 | DATE | Synthesizing Synchronous Elastic Flow Networks. | Greg Hoover, Forrest Brewer |
| 2008 | ISCAS | Pulse-mode link for robust, high speed communications. | Merritt Miller, Greg Hoover, Forrest Brewer |
| 2008 | MEMOCODE | Latency-Insensitive Hardware/Software Interfaces. | Greg Hoover, Forrest Brewer, Chris Gill |
| 2007 | CASES | Towards understanding architectural tradeoffs in MEMS closed-loop feedback control. | Greg Hoover, Forrest Brewer, Timothy Sherwood |
| 2007 | MEMOCODE | MEMOCODE 2007 Co-Design Contest. | Forrest Brewer, James C. Hoe |
| 2006 | CASES | Extensible control architectures. | Greg Hoover, Forrest Brewer, Timothy Sherwood |
| 2006 | CASES | A case study of multi-threading in the embedded space. | Greg Hoover, Forrest Brewer, Timothy Sherwood |
| 2006 | DATE | Layout driven data communication optimization for high level synthesis. | Ryan Kastner, Wenrui Gong, Xin Hao, Forrest Brewer, Adam Kaplan, Philip Brisk, Majid Sarrafzadeh |
| 2005 | DAC | Structural search for RTL with predicate learning. | Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer |
| 2005 | ICCAD | Wirelength optimization by optimal block orientation. | Xin Hao, Forrest Brewer |
| 2005 | ICCAD | RTL SAT simplification by Boolean and interval arithmetic reasoning. | Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer |
| 2005 | ICCAD | Weighted control scheduling. | Aravind Vijayakumar, Forrest Brewer |
| 2005 | MEMOCODE | PyPBS design and methodologies. | Greg Hoover, Forrest Brewer |
| 2002 | DAC | Coping with buffer delay change due to power and ground noise. | Lauren Hui Chen, Malgorzata Marek-Sadowska, Forrest Brewer |
| 2000 | ICCD | Representing and Scheduling Looping Behavior Symbolically. | Steve Haynal, Forrest Brewer |
| 1999 | DAC | A Model for Scheduling Protocol-Constrained Components and Environments. | Steve Haynal, Forrest Brewer |
| 1999 | ISCAS | Shape-based sequential machine analysis. | Andrew Crews, Forrest Brewer |
| 1999 | ISCAS | Power and signal integrity improvement in ultra high-speed current mode logic. | Hien Ha, Forrest Brewer |
| 1998 | ICCAD | Efficient encoding for exact symbolic automata-based scheduling. | Steve Haynal, Forrest Brewer |
| 1997 | ICCAD | Scheduling and binding bounds for RT-level symbolic execution. | Chuck Monahan, Forrest Brewer |
| 1996 | DAC | Concurrent Analysis Techniques for Data Path Timing Optimization. | Chuck Monahan, Forrest Brewer |
| 1996 | DAC | Implementation of an Efficient Parallel BDD Package. | Tony Stornetta, Forrest Brewer |
| 1996 | ICCAD | Clock skew optimization for ground bounce control. | Ashok Vittal, Hein Ha, Forrest Brewer, Malgorzata Marek-Sadowska |
| 1995 | DAC | Symbolic Modeling and Evaluation of Data Paths. | Chuck Monahan, Forrest Brewer |
| 1995 | DATE | On applicability of symbolic techniques to larger scheduling problems. | Ivan P. Radivojevic, Forrest Brewer |
| 1995 | ICCD | Analysis of conditional resource sharing using a guard-based control representation. | Ivan P. Radivojevic, Forrest Brewer |
| 1994 | DAC | Incorporating Speculative Execution in Exact Control-Dependent Scheduling. | Ivan P. Radivojevic, Forrest Brewer |
| 1993 | DAC | High-Level Symbolic Construction Technique for High Performance Sequential Synthesis. | Andrew Seawright, Forrest Brewer |
| 1992 | DAC | Synthesis from Production-Based Specifications. | Andrew Seawright, Forrest Brewer |
| 1991 | DAC | Relevant Issues in High-Level Connectivity Synthesis. | Barry M. Pangrle, Forrest Brewer, Donald A. Lobo, Andrew Seawright |
| 1991 | MICRO | DISC: Dynamic Instruction Stream Computer. | Mario Nemirovsky, Forrest Brewer, Roger C. Wood |
| 1990 | MICRO | Interconnection synthesis with geometric constraints. | Forrest Brewer, Barry M. Pangrle, Andrew Seawright |
| 1987 | DAC | Knowledge Based Control in Micro-Architecture Design. | Forrest Brewer, Daniel Gajski |
| 1986 | DAC | An expert-system paradigm for design. | Forrest Brewer, Daniel Gajski |