Bill Lin, UCSD

Overview Group Publications

Publications

Below is the current complete list of publications (over 130 papers) and patents. Each category is in reverse chronological order. For papers in a specific area, click on the correponding button to the right.

Awarded Patents

Design Environment and a Design Method for Hardware/Software Co-Design. United States Patent 5,870,588. Issued in February 1999.

System and Method for Generating a Hazard-Free Asynchronous Circuit. United States Patent 5,748,487. Issued in May 1998.

Journals

Bill Lin, Isaac Keslassy, "The Interleaved Matching Switch Architecture," IEEE Transactions on Communications, vol. 57, no. 12, December 2009. [paper]

Rohit Sunkam Ramanujam, Bill Lin, "A Layer-Multiplexed 3D On-Chip Network Architecture," IEEE Embedded Systems Letters, accepted for publication. [paper]

Shan Yan, Bill Lin, "Joint Multicast Routing and Network Design Optimization for Networks-on-Chip," IET Computers & Digital Techniques, accepted for publication. [paper]

Michael Tartre, Bill Lin, "Frame-based Multicast Switching," IEEE Communications Letters, accepted for publication. [paper]

Jerry Chou, Bill Lin, Subhabrata Sen, Oliver Spatscheck, "Proactive Surge Protection: A Defense Mechanism for Bandwidth-Based Attacks," IEEE/ACM Transaction on Networking (ToN), accepted for publication. [paper]

Vassos Soteriou, Rohit Sunkam Ramanujam, Blll Lin, Li-Shiuan Peh, "A High-Throughput Distributed Shared-Buffer NoC Router," IEEE Computer Architecture Letters, vol. 8, no. 1, April 2009. [paper]

Shan Yan, Bill Lin, "Custom Networks-on-Chip Architectures with Multicast Routing," IEEE Transactions on VLSI Systems, vol. 17, no. 3, March 2009. [paper]

Rohit Sunkam Ramanujam, Blll Lin, "Weighted Random Routing on Torus Networks," IEEE Computer Architecture Letters, vol. 8, no. 1, January 2009. [paper]

Jerry Chou, Bill Lin, "Coarse Circuit Switching by Default, Re-Routing Over Circuits for Adaptation," Journal of Optical Networking, vol. 8, no. 1, pp. 33-50, January 2009. [paper]

Bill Lin, Jun Xu, "DRAM is Plenty Fast for Wirespeed Statistics Counting," ACM Performance Evaluation Review, vol. 36, no. 2, pp. 45-50, September 2008. [paper]

Rohit Sunkam Ramanujam, Bill Lin, "Randomized Partially-Minimal Routing on Three-Dimensional Mesh Networks," IEEE Computer Architecture Letters, vol. 7, no. 2, pp. 37-40, July 2008. [paper]

Bill Lin, "Compiling Concurrent Programs for Embedded Sequential Execution," Integration: the VLSI Journal, Elsevier Press, vol. 40, no. 2, pp. 106-117, February 2007.

Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Gjalt de Jong, Bill Lin, Diederik Verkest, Francky Catthoor, "System Specification for Applications with Dynamic Data Storage and Intensive Data Transfer," SBmicro Journal of Solid State Devices and Circuits. pp. 24-31, January 1999.

Kenneth Yun, Bill Lin, David Dill, Srinivas Devadas, "Performance-driven Synthesis of Asynchronous Controllers," IEEE Transactions on Computer-Aided Design, vol. 17, no. 9, September 1998. [paper]

Milton Sawasaki, Chantal Ykman, Bill Lin, "Externally Hazard-Free Implementations of Asynchronous Control Circuits," IEEE Transactions on Computer-Aided Design, vol. 16, no. 6, August 1997. [paper]

Steven Vercauteren, Bill Lin, "Hardware/Software Communication and System Integration for Embedded Architectures," Design Automation for Embedded Systems, (Kluwer Journal Press), vol. 2, no. 3/4, May 1997.

Hugo De Man, Ivo Bolsens, Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diederik Verkest, "Hardware-Software Codesign of Digital Telecommunication Systems," Proceedings of the IEEE, vol. 85, (no.3):391-418, March 1997. [paper]

Chi-Ying Tsui, Jose Monteiro, Massoud Pedram, Alvin M. Despain, Srinivas Devadas, Bill Lin, "Power Estimation Methods for Sequential Logic Circuits," IEEE Transactions on VLSI Systems, vol. 3, no. 3, pp. 404-416, September 1995. (Best Journal Paper Award). [paper]

Bill Lin, Srinivas Devadas, "Synthesis of Hazard-Free Multi-Level Logic Implementations under Multiple-Input Changes from Binary Decision Diagrams," IEEE Transactions on Computer-Aided Design, vol. 14, (no.8):974-985, August 1995. [paper]

Steven Vercauteren, Bill Lin, Hugo De Man, "A High-Level Asynchronous Compiler for System Interface Modules," DSP Applications Journal, 1994.

Peter Vanbekbergen, Gert Goossens, Bill Lin, Hugo De Man, "A Generalised State Assignment Theory for Transformations on Signal Transition Graphs," Journal on VLSI Signal Processing, (Kluwer Academic Press), vol. 7, (no.1-2):101-115, February 1994. [paper]

Takayasu Sakurai, Bill Lin, A. Richard Newton, "Fast Simulated Diffusion: An Optimization Algorithm for Multi-Minimum Problems and Application to MOSFET Parameter Extraction," IEEE Transactions on Computer-Aided Design, vol. 11, (no.2):228-234, February 1992.

Xuejun Du, Gary D. Hachtel, Bill Lin, A. Richard Newton, "MUSE: A Multi-level State Encoding Algorithm for State Assignment," IEEE Transactions on Computer-Aided Design, vol. 10, (no.1):28-38, January 1991.

Bill Lin, A. Richard Newton, "A Circuit Disassembly Technique for Synthesizing Symbolic Layouts from Mask Descriptions," IEEE Transactions on Computer-Aided Design, vol. 9, (no.9):959-969, September 1990.

Peer-Reviewed Conference and Symposium Proceedings

Haiquan Zhao, Hao Wang, Bill Lin, Jun Xu, "Design and Performance Analysis of a DRAM-based Statistics Counter Array Architecture," ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Princeton, NJ, October 19-20, 2009. [paper]

Rohit Sunkam Ramanujam, Bill Lin, "A Novel 3D Layer-Multiplexed On-Chip Network," ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Princeton, NJ, October 19-20, 2009.

Rohit Sunkam Ramanujam, Bill Lin, "Weighted Random Oblivious Routing on Torus Networks," ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Princeton, NJ, October 19-20, 2009. [paper]

Hao Wang, Bill Lin, "A Block-Based Reservation Architecture for the Implementation of Large Packet Buffers," ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Princeton, NJ, October 19-20, 2009. [paper]

Jerry Chou, Bill Lin, "Optimal Multi-Path Routing and Bandwidth Allocation under Utility Max-Min Fairness," IEEE International Workshop on Quality of Service (IWQoS), Charleston, SC, July 13-15, 2009. [paper] [slides]

Hao Wang, Bill Lin, "Succinct Priority Indexing Strucutures for the Management of Large Priority Queues," IEEE International Workshop on Quality of Service (IWQoS), Charleston, SC, July 13-15, 2009. [paper] [slides]

Chia-Wei Chang, Seungjoon Lee, Bill Lin, Jia Wang, "The Taming of The Shrew: Mitigating Low-Rate TCP-Targeted Attack," International Conference on Distributed Computing Systems (ICDCS), Montreal, Quebec, Canada, June 22-26, 2009. [paper]

Bill Lin, Jun Xu, Nan Hua, Haiquan Zhao, "A Randomized Interleaved DRAM Architecture for the Maintenance of Exact Statistics Counters," ACM SIGMETRICS, Seattle, WA June 15-19, 2009. [paper]

Nan Hua, Bill Lin, Jun Xu, Haiquan Zhao, "BRICK: A Novel Exact Active Statistics Counter Architecture," ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), November 2008, pp. 89-98. [paper] [slides]

Nan Hua, Haiquan Zhao, Bill Lin, Jun Xu, "Rank-Indexed Hashing: A Compact Construction of Bloom Filters and Variants," IEEE Conference on Network Protocols (ICNP), October 2008, pp. 73-82. [paper]

Shan Yan, Bill Lin, "Design of Application-Specific 3D Networks-on-Chip Architectures," IEEE Conference on Computer Design (ICCD), October 2008, pp. 142-149. [paper]

Rohit Sunkam Ramanujam, Bill Lin, "Near-Optimal Oblivious Routing on Three-Dimensional Mesh Networks," IEEE Conference on Computer Design (ICCD), October 2008, pp. 134-141. [paper] [slides]

Jerry Chou, Bill Lin, Subhabrata Sen, Oliver Spatscheck, "Proactive Surge Protection: A Defense Mechanism for Bandwidth-Based Attacks," 17th Usenix Security Symposium, San Jose, CA, July 28-August 1, 2008. [paper] [slides]

Shan Yan, Bill Lin, "Application-Specific Network-on-Chip Architecture Synthesis based on Set Partitions and Steiner Trees," 13th Asia and South Pacific Design Automation Conference (ASP-DAC), Seoul, Korea, January 21-24, 2008, pp. 277-282. [paper]

Bill Lin, Isaac Keslassy, "Frame-Aggregated Concurrent Matching Switch," ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Orlando, FL, December 3-4, 2007, pp. 107-116. [paper] [slides]

Jerry Chou, Bill Lin, Subhabrata Sen, Oliver Spatscheck, "Minimizing Collateral Damage by Proactive Surge Protection," ACM SIGCOMM 2007 Workshop on Large-Scale Attack Defense (LSAD), Kyoto, Japan, August 27, 2007, pp. 97-104. [paper] [slides]

Shan Yan, Bill Lin "Stream Execution of Wide-Issue Clustered VLIW Architectures," ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), San Diego, CA, June 13-15, 2007, pp. 158-160.

Hao Wang, Bill Lin, "Pipelined van Emde Boas Tree: Algorithms, Analysis, and Applications," IEEE Infocom, Anchorage, AK, May 7-11, 2007, pp. 2471-2475. [paper] [slides]

Hao Wang, Bill Lin, "On the Efficient Implementation of Pipelined Heaps for Network Processing," IEEE Global Communications Conference (Globecom'06), November 27-December 1, 2006.

Mayank Kabra, Siddhartha Saha, Bill Lin, "Fast Buffer Memory with Deterministic Packet Departures," IEEE Hot Interconnects XIV, Stanford, CA, August 23-25, 2006, pp. 67-72. [paper] [slides]

Bill Lin, Isaac Keslassy, "The Concurrent Matching Switch Architecture," IEEE Infocom, Barcelona, Spain, April 2006. [paper] [slides]

Bill Lin, "A Simple Rate Quantization Method for Service Guarantees with Input-Queued Switches," 43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September 28-30, 2005.

Bill Lin, Isaac Keslassy, "A Scalable Switch for Service Guarantees," IEEE Hot Interconnects XIII, Stanford, CA, August 2005, pp. 93-99. [paper] [slides]

Stefano Santi, Bill Lin, Ljupco Kocarev, Gian Mario Maggio, Riccardo Rovatti, Gianluca Setti, "On the Impact of Traffic Statistics on Quality of Service for Networks on Chip," IEEE International Symposium on Circuits and Systems (ISCAS'05), Kobe, Japan, May, 2005.

Michael Roeder, Bill Lin, "Maintaining Exact Statistics Counters with a Multi-Level Counter Memory," IEEE Global Communications Conference (Globecom'04), Dallas, Texas, vol. 2, pp. 576-581, November, 2004.

Ranjita Bhagwan, Bill Lin, "Design of a High-Speed Packet Switch for Fine-Grained Quality-of-Service Guarantees," IEEE International Conference on Communications (ICC'00), New Orleans, vol. 3, pp. 1430-1434, June 2000.

Ranjita Bhagwan, Bill Lin, "Fast and Scalable Priority Queue Architecture for High-Speed Network Switches," IEEE Infocom, Tel Aviv, vol. 2, pp. 538-547, March 2000. [paper]

Bryan Talbot, Timothy Sherwood, Bill Lin, "IP Caching for Terabit Speed Routers," IEEE Global Communications Conference (Globecom'99), Rio de Janeiro, Brazil, vol. 2, pp. 1565-1569, December, 1999.

Xiaohan Zhu, Bill Lin, "Compositional Software Synthesis of Communicating Processes", International Conference on Computer Design, pp. 646-651, October 1999.

James Hurt, Andrew May, Xiaohan Zhu, Bill Lin, "Design and Implementation of High-Speed Symmetric Crossbar Schedulers," IEEE International Conference on Communications (ICC'99), Vancouver, pp. 253-258, June, 1999.

Xiaohan Zhu, Bill Lin, "Hardware Compilation for FPGA-based Configurable Computing Machines," ACM/IEEE Design Automation Conference, New Orleans, LA, pp. 697-702, June 1999.

Bill Lin, "Design Technology for Embedded Computing," The 5th Asia Pacific Conference on Hardware Description Languages (Invited Paper), pp. 502-505, June 1998.

Bill Lin, "Software Synthesis of Process-Based Concurrent Programs," ACM/IEEE Design Automation Conference, pp. 502-505, June 1998.

Bill Lin, "Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling," Design Automation and Test in Europe Conference, February 1998.

Steven Vercauteren, Diederik Verkest, Gjalt de Jong, Bill Lin, "Efficient Verification using Generalized Partial Order Analysis," Design Automation and Test in Europe Conference (Best Paper Award Nomination), February 1998.

Steven Vercauteren, Diederik Verkest, Gjalt de Jong, Bill Lin, "Derivation of Formal Representations from Process-based Specification and Implementation Models," IEEE International Symposium on System Synthesis, pp. 16-23, September 1997.

Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Gjalt de Jong, Bill Lin, Hugo De Man, "A System Design Methodology for Telecommunication Network Applications," The Seventh Great Lakes Symposium on VLSI, p. 64-69, March 1997.

Sven Wuytack, Francky Catthoor, Gjalt De Jong, Bill Lin, Hugo De Man, "Flow Graph Balancing for Minimizing the Required Memory Bandwidth," IEEE International Symposium on System Synthesis, p. 127-132, November 1996.

Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diederik Verkest, Ivo Bolsens, Hugo De Man, "Designing Single-Chip Systems," The 2nd International Conference on ASIC (Invited Paper), p. T6-11, October 1996.

Eric Verlind, Gjalt De Jong, Bill Lin, "Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems," ACM/IEEE Design Automation Conference, p. 55-58, June 1996.

Tilman Kolks, Steven Vercauteren, Bill Lin, "Control Resynthesis for Control-Dominated Asynchronous Designs," International Symposium on Advanced Research in Asynchronous Circuits and Systems, p. 233-243, March 1996.

Hugo De Man, Ivo Bolsens, Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diederik Verkest, "Co-Design of DSP Systems," In collection entitled Hardware/Software Codesign, Kluwer Academic Publishing, January 1996. Editor. G. De Micheli.

Steven Vercauteren, Bill Lin, Hugo De Man, "Constructing Application-Specific Heterogeneous Embedded Architectures for Custom HW/SW Applications," ACM/IEEE Design Automation Conference, p. 521-526, June 1996.

Steven Vercauteren, Bill Lin, Hugo De Man, "A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures," ACM/IEEE Design Automation Conference, p. 678-683, June 1996.

Bill Lin, "A System Design Methodology for Software/Hardware Co-Development of Telecommunication Network Applications," ACM/IEEE Design Automation Conference, p. 672-677, June 1996.

Bill Lin, "System Design Tools for Broadband Telecom Network Applications," European Design and Test Conference, p. 23-26, March 1996.

Bill Lin, Steven Vercauteren, Hugo De Man, "Embedded Architecture Co-Synthesis and System Integration," International Workshop on Hardware/Software Codesign, p. 2-9, March 1996.

Robert M. Fuhrer, Bill Lin, Steven M. Nowick. "Symbolic Hazard-Free Minimization and Encoding of Asynchronous Finite State Machines," IEEE International Conference on Computer-Aided Design, p. 604-611, November 1995.

Eric Verlind, Gjalt De Jong, Bill Lin, "Efficient Timing Analysis of Highly Concurrent Systems," ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, p. 282-293, November 1995.

Bill Lin, Gjalt De Jong, Carl Verdonck, Sven Wuytack, Francky Catthoor, "Background Memory Management for Dynamic Data Structures Intensive Processing Systems," IEEE International Conference on Computer-Aided Design, p. 515-520, November 1995.

Chantal Ykman, Bill Lin. "Efficient State Assignment Framework for Asynchronous State Graphs," International Conference on Computer Design, p. 692-697, October 1995.

Milton Sawasaki, Chantal Ykman, Bill Lin. "Externally Hazard-Free Implementations of Asynchronous Control Circuits," ACM/IEEE Design Automation Conference, p. 718-724, June 1995.

Hugo De Man, Ivo Bolsens, Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diederik Verkest, "Co-Design of DSP Systems," NATO Advanced Study Institute Workshop on Hardware/Software Codesign, Lake Como, Italy, June 1995.

Bill Lin, Gjalt de Jong, Tilman Kolks. "Hierarchical Optimization of Asynchronous Circuits," ACM/IEEE Design Automation Conference, p. 712-717, June 1995.

Robert M. Fuhrer, Bill Lin, Steven M. Nowick. "Symbolic Hazard-Free Minimization and Encoding of Asynchronous Finite State Machines," International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1995.

Chantal Ykman, Bill Lin. "Optimized State Assignment for Asynchronous Control Circuits," 2nd Working Conference on Asynchronous Design Methodologies, p. 118-127, May 1995.

Robert M. Fuhrer, Bill Lin, Steven M. Nowick. "Algorithms for the Optimal State Assignment of Asynchronous State Machines," Advanced Research in VLSI, Chapel-Hill, NC, p. 59-75, March 1995.

Bill Lin, Gjalt de Jong, Tilman Kolks. "Modeling and Optimization of Hierarchical Synchronous Circuits," European Design and Test Conference, p. 144-149, February 1995.

Kenneth Yun, Bill Lin, David Dill, Srinivas Devadas, "Performance-driven Synthesis of Asynchronous Controllers," IEEE International Conference on Computer-Aided Design, p. 550-557, November 1994.

Gert Goossens, Ivo Bolsens, Bill Lin, Francky Catthoor, "Design of Heterogeneous ICs for Mobile and Personal Communication Systems," IEEE International Conference on Computer-Aided Design (Invited Paper), p. 524-531, November 1994. [paper]

Bill Lin, Steven Vercauteren, "Synthesis of Concurrent System Interface Modules with Automatic Protocol Conversion Generation," IEEE International Conference on Computer-Aided Design, p. 101-108, November 1994.

Bill Lin, Srinivas Devadas, "Synthesis of Hazard-Free Multi-Level Logic Implementations under Multiple-Input Changes from Binary Decision Diagrams," IEEE International Conference on Computer-Aided Design, p. 542-549, November 1994.

Peter Vanbekbergen, Gert Goossens, Bill Lin, "Modeling and Synthesis of Timed Asynchronous Circuits," European Design Automation Conference (EuroDAC), p. 460-465, September 1994.

Bill Lin, Chantal Ykman-Couvreur, Peter Vanbekbergen, "A General State Graph Transformation Framework for Asynchronous Synthesis," European Design Automation Conference (EuroDAC), p. 448-453, September 1994.

Jose Monteiro, Srinivas Devadas, Bill Lin, "Estimation of Switching Activity in Sequential Logic Circuits with Applications to Synthesis for Low Power," ACM/IEEE Design Automation Conference, p. 12-17, June 1994.

Gjalt De Jong, Bill Lin, "A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules," ACM/IEEE Design Automation Conference (Best Paper Award Nomination), p. 49-55, June 1994.

Eric Verlind, Tilman Kolks, Gjalt De Jong, Bill Lin, Hugo De Man, "A Time Abstraction Method for Efficient Verification of Communicating Systems," ACM/IEEE Design Automation Conference, p. 609-614, June 1994.

Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, and Alexander Yakovlev, "Basic Gate Implementation of Speed-Independent Circuits," ACM/IEEE Design Automation Conference, p. 56-62, June 1994.

Jose Monteiro, Srinivas Devadas, Bill Lin, Chi-Ying Tsui, Massoud Pedram, Alvin M. Despain, "Exact and Approximate Methods of Switching Activity Estimation in Sequential Logic Circuits," IEEE Workshop on Low-Power, p. 117-122, April 1994.

Peter Vanbekbergen, Chantal Ykman-Couvreur, Bill Lin, Hugo De Man, "A Generalised Signal Transition Graph Model for Specification of Complex System-Level Interfaces" European Design and Test Conference, Paris, France, p. 378-384, February 1994.

Tilman Kolks, Bill Lin, Hugo De Man, "Sizing and Verification of Communication Buffers for Communicating Processes," IEEE International Conference on Computer-Aided Design, Santa Clara, CA, p. 660-664, November 1993.

Tilman Kolks, Bill Lin, Hugo De Man, "Sizing of Communication Buffers for Communicating Signal Processors," IEEE Workshop on VLSI Signal Processing, Veldhoven, The Netherlands, p. 426-434, October 1993.

Bill Lin, "Efficient Symbolic Support Manipulation," International Conference on Computer Design, Cambridge, MA, p. 513-516, October 1993.

Bill Lin, Hugo De Man, "Low-Power Driven Technology Mapping under Timing Constraints," International Conference on Computer Design, Cambridge, MA, p. 421-427, October 1993.

Tilman Kolks, Bill Lin, Hugo De Man, "Sizing of Communication Buffers for Communicating Signal Processors," In collection entitled VLSI Signal Processing VI, p. 426-434, IEEE Press, New York. 1993. Editors L.Eggermont, P.Dewilde, E.Deprettere, and J.van Meerbergen.

Peter Vanbekbergen, Gert Goossens, Bill Lin, "Relational and Timing Semantics for a Timed Signal Transition Graph Model," ACM International Workshop on Timing Issues in Specification, Synthesis, and Analysis of Digital Systems, Malente, Germany, September 1993.

Milton Sawasaki, Bill Lin, Hugo De Man, "A Relational System and the Modeling of Metastability and its Effects in Signal Synchronization," ACM International Workshop on Timing Issues in Specification, Synthesis, and Analysis of Digital Systems, Malente, Germany, September 1993.

Bill Lin, Chantal Ykman-Couvreur, "Synthesis of Burst-Mode and Asynchronous Finite State Machines at the State Graph Level," ACM International Workshop on Timing Issues in Specification, Synthesis, and Analysis of Digital Systems, Malente, Germany, September 1993.

Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexander Yakovlev, "On the Conditions for Gate-Level Speed-Independence of Asynchronous Circuits," ACM International Workshop on Timing Issues in Specification, Synthesis, and Analysis of Digital Systems, Malente, Germany, September 1993.

Peter Vanbekbergen, Chantal Ykman-Couvreur, Bill Lin, Hugo De Man, "Generalizing Signal Transition Graphs for Modeling Mixed Asynchronous/Synchronous and Arbitration Behavior," International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1993.

Chantal Ykman-Couvreur, Peter Vanbekbergen, Bill Lin, "Concurrency Reduction Transformations on State Graphs for Asynchronous Circuit Synthesis," International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1993.

Bill Lin, Hugo De Man, "Low-Power Driven Technology Mapping under Timing Constraints," International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1993.

Chantal Ykman-Couvreur, Bill Lin, Gert Goossens, Hugo De Man, "Synthesis and Optimization of Asynchronous Controllers Based on Extended Lock Graph Theory," European Conference on Design Automation, Paris, France, p. 512-517, February 1993.

Bill Lin, "Synchronous Restructuring Algorithms for Optimizing Synchronous Circuits," IEEE Winter VLSI Workshop, Asilomar, CA, February 1993.

Bill Lin, "Restructuring Synchronous Logic Circuitry," European Conference on Design Automation, Paris, France, p. 205-209, February 1993.

Bill Lin, "Specification and Compilation of Asynchronous Interface Circuits," Dagstuhl Seminar, Dagstuhl, Germany, December 1992.

Peter Vanbekbergen, Gert Goossens, Bill Lin, Hugo De Man, "A Generalised State Assignment Theory for Transformations on Signal Transition Graphs," IEEE International Conference on Computer-Aided Design, Santa Clara, CA, p. 112-117, November 1992.

Mark Beardslee, Bill Lin, Alberto Sangiovanni-Vincentelli, "Communication Complexity Based Logic Partitioning," European Design Automation Conference (EuroDAC), Hamburg, Germany, September 1992.

Bill Lin, "Specification and Compilation of Asynchronous Interface Circuits," ACiD-WG Workshop on Asynchronous Interfacing, Leuven, Belgium, September 1992.

Bill Lin, A. Richard Newton, "Exact Removal of Redundant State Registers using Binary Decision Diagrams," In collection entitled Very Large Scale Integration. Elsevier Science Publishers B.V. and North Holland Press. 1992. Editors A. Halass and P. Denyer.

Bill Lin, Olivier Coudert, Jean Christophe Madre, "Symbolic Prime Generation for Multiple-Valued Functions," ACM/IEEE Design Automation Conference, p. 40-44, June 1992.

Bill Lin, A. Richard Newton, "Implicit Manipulation of Equivalence Classes using Binary Decision Diagrams," International Conference on Computer Design, Cambridge, MA, October 1991.

Bill Lin, Gregory S. Whitcomb, A. Richard Newton, "Symbolic Don't Cares and Equivalence in High-Level Synthesis," In collection entitled Logic and Architectural Synthesis. Elsevier Science Publishers B.V. and North Holland Press. 1991. Editors P. Michel and G. Saucier.

Bill Lin, A. Richard Newton, "Exact Removal of Redundant State Registers using Binary Decision Diagrams," Proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, p. 277-286, August 1991.

Bill Lin, A. Richard Newton, "Implicit Manipulation of Equivalence Classes using Binary Decision Diagrams," International Workshop on Logic Synthesis, Raleigh, NC, May 1991.

Bill Lin, A. Richard Newton, "Exact Removal of Redundant State Registers using Binary Decision Diagrams," International Workshop on Logic Synthesis, Raleigh, NC, May 1991.

Bill Lin A. Richard Newton, "Efficient Symbolic Manipulation of Equivalence Relations and Classes," International Workshop on Formal Methods in VLSI Design, Miami, FL, January 1991.

Herve J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, A. Sangiovanni-Vincentelli, "Implicit State Enumeration of Finite State Machines Using BDD's," IEEE International Conference on Computer-Aided Design, Santa Clara, CA, p. 130-133, November 1990.

Bill Lin, Herve J. Touati, A. Richard Newton, "Don't Care Minimization of Multi-Level Sequential Logic Networks," IEEE International Conference on Computer-Aided Design, Santa Clara, CA, p. 414-417, November 1990.

Bill Lin, Fabio Somenzi, "Minimization of Symbolic Relations," IEEE International Conference on Computer-Aided Design (Distinguished Paper Citation), Santa Clara, CA, p. 88-91, November 1990.

Bill Lin, A. Richard Newton, "Synthesis of Multiple Level Logic from Symbolic High-Level Description Languages," In collection entitlted Very Large Scale Integration. Elsevier Science Publishers B.V. and North Holland Press. 1990. Editors G. Musgrave and U. Lauther.

Bill Lin, Gregory S. Whitcomb, A. Richard Newton, "Symbolic Don't Cares and Equivalence in High-Level Synthesis," Proceedings of the IFIP TC 10/WG 10.5 International Working Conference on Logic and Architectural Synthesis, Paris, France, May 1990.

Bill Lin, A. Richard Newton, "A Generalized Approach to the Constrained Cubical Embedding Problem," International Conference on Computer Design, Cambridge, Massachusetts, p. 400-403, October 1989.

Bill Lin, A. Richard Newton, "Synthesis of Multiple Level Logic from Symbolic High-Level Description Languages," Proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (Distinguished Paper Citation), Federal Republic of Germany, p. 187-196, August 1989.

Cho W. Moon, Bill Lin, Hamid Savoj, Robert K. Brayton, "Technology Mapping for Sequential Logic Synthesis," International Workshop on Logic Synthesis, Raleigh, NC, May 1989.

Bill Lin, A. Richard Newton, "Restructuring State Machine and State Assignment: Relationship to Minimizing Logic Across Latch Boundaries," International Workshop on Logic Synthesis, Raleigh, NC, May 1989.

Bill Lin, A. Richard Newton, "KAHLUA: A Hierarchical Circuit Disassembler," ACM/IEEE Design Automation Conference (Best Paper Award), Miami, Florida, p. 311-317, June 1987.