EarlyDLDetect: An Early Root-Cause Locator of Dangling Pointers and Memory Leaks von Gondow, Katsuhiko, Arahori, Yoshitaka

Volltext

Postmortem accurate IR-level state recovery for deployed concurrent programs von Hoshino, Shinji, Arahori, Yoshitaka, Gondow, Katsuhiko

Volltext

UCDetector: retain cycle detector for Swift language implemented on user-land von GONDOW, Katsuhiko, SHINYAMA, Yusuke, ARAHORI, Yoshitaka

Volltext

UCDetector：ユーザ空間で実装したSwift言語用の循環参照検知器 von 権藤, 克彦, 新山, 祐介, 荒堀, 喜貴

Volltext

A Quantitative Evaluation of Integer Boundary Values for Detecting Undefined Behaviors on Integer Overflow von MORIKAWA, Tomoya, ARAHORI, Yoshitaka, GONDOW, Katsuhiko

Volltext

Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing von Jitsunari, Yuma, Arahori, Yoshitaka, Gondow, Katsuhiko

Volltext

Introduction to the Special Issue on Programming and Programming Languages von MATSUDA, Kazutaka, KOMIYA, Tsuneyasu, ARAHORI, Yoshitaka, HOSHINO, Naohiko

Volltext

Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code von Kodama, Ryutaro, Arahori, Yoshitaka, Gondow, Kathuhiko

Volltext bestellen

Field-sensitive Data Flow Integrity von Shizukuishi, So, Arahori, Yoshitaka, Gondow, Katsuhiko

Volltext bestellen

特集「プログラミングおよびプログラミング言語」の編集にあたって von 松田, 一孝, 小宮, 常康, 荒堀, 喜貴, 星野, 直彦

Volltext

Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis von Shinyama, Yusuke, Arahori, Yoshitaka, Gondow, Katsuhiko

Volltext

How Do Programmers Express High-Level Concepts using Primitive Data Types? von Shinyama, Yusuke, Arahori, Yoshitaka, Gondow, Katsuhiko

Volltext

Analyzing Code Comments to Boost Program Comprehension von Shinyama, Yusuke, Arahori, Yoshitaka, Gondow, Katsuhiko

Volltext

Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code von Kodama, Ryutaro, Arahori, Yoshitaka, Gondow, Kathuhiko

Volltext

Field-sensitive Data Flow Integrity von So Shizukuishi, Arahori, Yoshitaka, Gondow, Katsuhiko

Volltext

整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価 von 森川, 知哉, 荒堀, 喜貴, 権藤, 克彦

Volltext

SHARED PATH ARBITRATION METHOD AND MULTI-SYSTEM von ARAHORI YOSHITAKA, MAEJIMA HIDEO

Volltext bestellen

TCBC: Trap Caching Bounds Checking for C von Arahori, Y., Gondow, K., Maejima, H.

Volltext bestellen

CLINICAL EFFICACY OF CEFPIROME SULFATE AGAINST Bacteroides SPECIES, Prevotella SPECIES AND Porphyromonas SPECIES von MIKAMO, HIROSHIGE, SATO, YASUMASA, HAYASAKI, YOH, TAMAYA, TERUHIKO, KAWAZOE, KYOKO, FURUTA, NORIO, IWASA, SHINICHI, ITO, MITSUAKI, NOMURA, MASAO, TSUKAHARA, YOJIRO, FURUI, KENJI, SAKAKIBARA, KATSUMI, HATTORI, SENEI, SUGIYAMA, MICHIYO, OHNISHI, NAOMI, HIROSE, REIKO, NAKAGAWA, MIKI, YAMADA, YOSHITAKA, IZUMI, KOJI, MORISHITA, SHIGEO, WAKITA, KATSUJI, ITO, TSUNEO, HORIBE, SHINJI, IIDA, KOJI, OHTA, TOSHIHARU, SHINOHARA, ARIYOSHI, HORI, MASASHI, KONDOH, HIDEAKI, KUMADA, TOSHIO, MURATA, SHUGO, HASHIYAMA, TOSHIKO, ARAHORI, KENJI, SHIRAKI, SHINICHIRO, TAKAGI, HIROSHI, MATSUNAMI, KAZUTOSHI, BABA, YOSHITAKA, WATANABE, KUNITOMO

Volltext

Study on the therapeutic effect of cefozopran on perinatal infection in pregnant women von Matsuda, Seiji

Volltext