Takaaki Tateishi

20 papers A* 3A 2B 1C 2Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Grammar- and Coverage-based Augmentation of Programs for Training LLMs.
ASEW
Shin Saito, Takaaki Tateishi, Yasuharu Katsuno
2025 J jnl
Translating PL/I Macro Procedures into Java Using Automatic Templatization and Large Language Models.
CoRR
Takaaki Tateishi, Yasuharu Katsuno
2023 B conf
Datetime Feature Recommendation Using Textual Information.
KES
Satoshi Masuda, Takaaki Tateishi, Toshihiro Takahashi
2023 J jnl
Matching of Descriptive Labels to Glossary Descriptions.
CoRR
Toshihiro Takahashi, Takaaki Tateishi, Michiaki Tatsubori
2023 — conf
Unleashing the Potential of Data Lakes with Semantic Enrichment Using Foundation Models.
ISWC (Posters/Demos/Industry)
Nandana Mihindukulasooriya, Sarthak Dash, Sugato Bagchi, Md. Faisal Mahbub Chowdhury, Alfio Massimiliano Gliozzo, Ariel Farkash, Michael R. Glass, Igor Gokhman, Oktie Hassanzadeh, Nhan Pham, Gaetano Rossiello, Boris Rozenberg, Yehoshua Sagron, Dharmashankar Subramanian, Toshihiro Takahashi, Takaaki Tateishi, Long Vu
2022 A* conf
Semantic Feature Discovery with Code Mining and Semantic Type Detection.
AAAI
Kavitha Srinivas, Takaaki Tateishi, Daniel Karl I. Weidele, Udayan Khurana, Horst Samulowitz, Toshihiro Takahashi, Dakuo Wang, Lisa Amini
2019 J jnl
Automatic smart contract generation using controlled natural language and template.
IBM J. Res. Dev.
Takaaki Tateishi, Sachiko Yoshihama, Naoto Sato, Shin Saito
2018 — conf
Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic.
iThings/GreenCom/CPSCom/SmartData
Naoto Sato, Takaaki Tateishi, Shunichi Amano
2016 J jnl
Editor's Meesage to Special Issue on Software Engineering.
J. Inf. Process.
Takaaki Tateishi
2013 J jnl
Path- and index-sensitive string analysis based on monadic second-order logic.
ACM Trans. Softw. Eng. Methodol.
Takaaki Tateishi, Marco Pistoia, Omer Tripp
2011 A conf
Path- and index-sensitive string analysis based on monadic second-order logic.
ISSTA
Takaaki Tateishi, Marco Pistoia, Omer Tripp
2011 — conf
Static discovery and remediation of code-embedded resource dependencies.
Integrated Network Management
Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi
2009 J jnl
Information-Flow-Based Access Control for Web Browsers.
IEICE Trans. Inf. Syst.
Sachiko Yoshihama, Takaaki Tateishi, Naoshi Tabuchi, Tsutomu Matsumoto
2009 A* conf
Modular string-sensitive permission analysis with demand-driven precision.
ICSE
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby
2007 — conf
DHTML Accessibility Checking Based on Static JavaScript Analysis.
HCI (7)
Takaaki Tateishi, Hisashi Miyashita, Naoshi Tabuchi, Shin Saito, Kouichi Ono
2007 C conf
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis.
APSEC
Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi
2007 C conf
Secure Behavior of Web Browsers to Prevent Information Leakages.
APSEC
Takaaki Tateishi, Naoshi Tabuchi
2007 A conf
Verifying the Consistency of Security Policies by Abstracting into Security Types.
ICWS
Kouichi Ono, Yuichi Nakamura, Fumiko Satoh, Takaaki Tateishi
2006 A* conf
Automated Verification Tool for DHTML.
ASE
Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito
2001 — conf
An Axiomatic Formalization of UML Models.
pUML
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama