Logic optimization and synthesis: Trends and directions in industry. - Luca Gaetano Amarù; Patrick Vuillod; Jiong Luo; Janet Olson (DATE, 2017)

Enabling exact delay synthesis. - Luca Gaetano Amarù; Mathias Soeken; Patrick Vuillod; Jiong Luo; Alan Mishchenko; Pierre-Emmanuel Gaillardon; Janet Olson; Robert K. Brayton; Giovanni De Micheli (ICCAD, 2017)

Improvements to boolean resynthesis. - Luca Gaetano Amarù; Mathias Soeken; Patrick Vuillod; Jiong Luo; Alan Mishchenko; Janet Olson; Robert K. Brayton; Giovanni De Micheli (DATE, 2018)

SAT-based redundancy removal. - Krishanu Debnath; Rajeev Murgai; Mayank Jain; Janet Olson (DATE, 2018)

Test industry challenges and solutions as observed by the leading physical implementation solution provider : Invited Talk 2. - Janet Olson (ITC-Asia, 2023)