학술논문

	o	ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야	ㄹ	와
ㅏ	あ a	ぁ	か ka	が ga	さ sa	ざ za	た ta	だ da		な na	は ha	ば ba	ぱ pa	ま ma	や ya	ゃ lya	ら ra	わ wa	ゎ lwa	ん n
l	い i	ぃ	き ki	ぎ gi	し si	じ zi	ち ti	ぢ di		に ni	ひ hi	び bi	ぴ pi	み mi			り ri
ㅜ	う u	ぅ	く ku	ぐ gu	す su	ず zu	つ tu	づ du	っ	ぬ nu	ふ hu	ぶ bu	ぷ pu	む mu	ゆ yu	ゅ lyu	る ru
ㅔ	え e	ぇ	け ke	げ ge	せ se	ぜ ze	て te	で de		ね ne	へ he	べ be	ぺ pe	め me			れ re
ㅗ	お o	ぉ	こ ko	ご go	そ so	ぞ zo	と to	ど do		の no	ほ ho	ぼ bo	ぽ po	も mo	よ yo	ょ lyo	ろ ro	を wo

	o	ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야	ㄹ	와
ㅏ	ア a	ァ	カ ka	ガ ga	サ sa	ザ za	タ ta	ダ da		ナ na	ハ ha	バ ba	パ pa	マ ma	ヤ ya	ャ lya	ラ ra	ワ wa	ヮ lwa		ン n
l	イ i	ィ	キ ki	ギ gi	シ si	ジ zi	チ ti	ヂ di		ニ ni	ヒ hi	ビ bi	ピ pi	ミ mi			リ ri
ㅜ	ウ u	ゥ	ク ku	グ gu	ス su	ズ zu	ツ tu	ヅ du	ッ	ヌ nu	フ hu	ブ bu	プ pu	ム mu	ユ yu	ュ lyu	ル ru			ヴ vu
ㅔ	エ e	ェ	ケ ke	ゲ ge	セ se	ゼ ze	テ te	デ de		ネ ne	ヘ he	ベ be	ぺ pe	メ me			レ re
ㅗ	オ o	ォ	コ ko	ゴ go	ソ so	ゾ zo	ト to	ド do		ノ no	ホ ho	ボ bo	ポ po	モ mo	ヨ yo	ョ lyo	ロ ro	ヲ wo		ーー

독일어
ä	Ä	ö	Ö	ü	Ü	ß
프랑스어
á	à	Á	À	é	è	É	È	ç	Ç	ê
스페인어
à	á	Á	é	É	í	Í	Ó	ó	Ú	ú	Ñ	ñ	ä	Ä

발행년	- (예 : 2010-2015)

전체선택

Equality Saturation Theory Exploration à la Carte

Academic Journal

Pal, A.; Saiki, B.; Tjoa, R.; Richey, C.; Zhu, A.; Flatt, O.; Willsey, M.; Tatlock, Z.; Nandi, C.

In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))

Web of Science Scopus Find it@PNU

Rewrite rule inference using equality saturation

Academic Journal

Nandi, C.; Willsey, M.; Zhu, A.; Wang, Y.R.; Saiki, B.; Anderson, A.; Schulz, A.; Grossman, D.; Tatlock, Z.

In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, October 2021, 5(OOPSLA))

Web of Science Scopus Find it@PNU

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting

Conference

Misback, E.; Chan, C.C.; Saiki, B.; Jun, E.; Tatlock, Z.; Panchekha, P.

In: UIST 2023 - Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, UIST 2023 - Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology. (UIST 2023 - Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, 29 October 2023)

Scopus Find it@PNU

Combining Precision Tuning and Rewriting

Conference

Saiki, B.; Nandi, C.; Tatlock, Z.; Flatt, O.; Panchekha, P.

In: Proceedings - Symposium on Computer Arithmetic, Proceedings - 2021 IEEE 28th Symposium on Computer Arithmetic, ARITH 2021. (Proceedings - Symposium on Computer Arithmetic, 2021, 2021-June:1-8)

Full Text (IEEE) Scopus Find it@PNU

A 128Gb MLC NAND-Flash device using 16nm planar cell

Conference

Helm, M.; Park, J.-K.; Ghalam, A.; Guo, J.; Wan Ha, C.; Hu, C.; Kim, H.; Kavalipurapu, K.; Lee, E.; Mohammadzadeh, A.; Nguyen, D.; Patel, V.; Pekny, T.; Saiki, B.; Song, D.; Tsai, J.; Viajedor, V.; Vu, L.; Wong, T.; Yun, J.H.; Ghodsi, R.; D'Alessandro, A.; Di Cicco, D.; Moschiano, V.

In: Digest of Technical Papers - IEEE International Solid-State Circuits Conference, 2014 IEEE International Solid-State Circuits Conference, ISSCC 2014 - Digest of Technical Papers. (Digest of Technical Papers - IEEE International Solid-State Circuits Conference, 2014, 57:326-327)

Full Text (IEEE) Scopus Find it@PNU

The uprooting of my two communities

Book

Saiki, B.

In: Japanese Americans: From Relocation to Redress, Revised Edition. (Japanese Americans: From Relocation to Redress, Revised Edition, 1 January 2013, :15-17)

Scopus Find it@PNU

부산대학교 도서관

메일 발송