Kanna Shimizu

According to our database, Kanna Shimizu authored at least 11 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

RecQR: Using Recommendation Systems for Query Reformulation to correct unseen errors in spoken dialog systems.

Manik Bhandari, Mingxian Wang, Oleg Poliannikov, Kanna Shimizu

Proceedings of the 17th ACM Conference on Recommender Systems, 2023

Record Deduplication for Entity Distribution Modeling in ASR Transcripts.

Tianyu Huang, Chung Hoon Hong, Carl Wivagg, Kanna Shimizu

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

Personalized Dense Retrieval on Global Index for Voice-enabled Conversational Systems.

Masha Belyi, Charlotte Dzialo, Chaitanya Dwivedi, Prajit Muppidi, Kanna Shimizu

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing: EMNLP 2023, 2023

2022

Iterative Stratified Testing and Measurement for Automated Model Updates.

Elizabeth Dekeyser, Nicholas Comment, Shermin Pei, Rajat Kumar, Shruti Rai, Fengtao Wu, Lisa A. Haverty, Kanna Shimizu

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing: EMNLP 2022 - Industry Track, Abu Dhabi, UAE, December 7, 2022

2009

Effective implementation of the cell broadband engine^TM isolation loader.

Masana Murase, Kanna Shimizu, Wilfred Plouffe, Masaharu Sakamoto

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2007

Cell Broadband Engine processor vault security architecture.

Kanna Shimizu, H. Peter Hofstee, John S. Liberty

IBM J. Res. Dev., 2007

2006

Verification of the cell broadband engine^TM processor.

Kanna Shimizu, Sanjay Gupta, Tatsuya Koyama, Takashi Omizo, Jamee Abdulhafiz, Larry McConville, Todd Swanson

Proceedings of the 43rd Design Automation Conference, 2006

2002

Using Formal Specifications for Functional Validation of Hardware Designs.

Kanna Shimizu, David L. Dill

IEEE Des. Test Comput., 2002

Deriving a simulation input generator and a coverage metric from a formal specification.

Kanna Shimizu, David L. Dill

Proceedings of the 39th Design Automation Conference, 2002

2001

A Specification Methodology by a Collection of Compact Properties as Applied to the Intel^® Itanium^TM Processor Bus Protocol.

Kanna Shimizu, David L. Dill, Ching-Tsun Chou

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Monitor-Based Formal Specification of PCI.

Kanna Shimizu, David L. Dill, Alan J. Hu

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000