Publications

Designing a quality voice: An analysis of listeners' reactions to synthetic voices
- - Mary Beth Rosson
  - A.J. Cecala
- 1986
- CHI 1986
Advising roles of a computer consultant
- - Jean McKendree
  - John M. Carroll
- 1986
- CHI 1986
Classifying users: A hard look at some controversial issues
- - Kathleen M. Potosnak
  - Philip J. Hayes
  - et al.
- 1986
- CHI 1986
Verifying deep logic hierarchies with ALEX
- - George M. Koppelman
  - Klim Maling
- 1980
- DAC 1980
A new look at logic synthesis
- - John A. Darringer
  - William H. Joyner
- 1980
- DAC 1980
Performance of a collision-free local bus network having asynchronous distributed control
- - Carl V. Kanadier
  - Gerald S. Shedler
- 1980
- ISCA 1980
Minimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- - Manuel Correia
  - Donald Cossman
  - et al.
- 1970
- DAC 1970
Quality of designs from an automatic logic generator (ALERT)
- - Theodore D. Friedman
  - Sih-Chin Yang
- 1970
- DAC 1970
LEDRO: LLM-Enhanced Design Space Reduction and Optimization for Analog Circuits
- - Dimple Vijay Kochar
  - Hanrui Wang
  - et al.
- 2025
- DAC 2025
NSFlow: An End-to-End FPGA Framework with Scalable Dataflow Architecture for Neuro-Symbolic AI
- - Hanchen Yang
  - Zishen Wan
  - et al.
- 2025
- DAC 2025