寺内 多智弘
テラウチ タチオ (Tachio Terauchi)
更新日: 04/15
論文
44
表示件数
-
Proceedings of the ACM on Programming Languages 8(POPL) 115-147 2024年1月 査読有り
-
In Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Leibniz International Proceedings in Informatics (LIPIcs) 272, pp.71:1-71:15, Schloss Dagstuhl Leibniz-Zentrum für Informatik 2023年8月 査読有り
-
コンピュータソフトウェア 40(2) 2_19-2_48 2023年6月 査読有り招待有り
-
Proceedings of the ACM on Programming Languages 7(PLDI) 1633-1656 2023年6月 査読有り
-
IEICE Transactions on Information and Systems E106.D(5) 959-975 2023年5月 査読有り
-
Proceedings of the ACM on Programming Languages 7(POPL) 2111-2140 2023年1月 査読有り
-
In Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Leibniz International Proceedings in Informatics (LIPIcs) 228, pp.15:1-15:18, Schloss Dagstuhl Leibniz-Zentrum für Informatik 2022年8月 査読有り
-
In Proceedings of the 43rd IEEE Symposium on Security and Privacy (S&P 2022), pp.2060-2077, IEEE Computer Society 2022年5月 査読有り
-
In Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021), Lecture Notes in Computer Science 12759, pp.742-766, Springer 2021年 査読有り
-
Journal of Computer Security 28(6) 607-634 2020年 査読有り
-
コンピュータソフトウェア 37(1) 1_39-1_52 2020年 査読有り招待有り
-
In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF 2019), pp.216-229, IEEE Computer Society 2019年 査読有り
-
In Proceedings of the 8th International Conference on Principles of Security and Trust (POST 2019), Lecture Notes in Computer Science 11426, pp.29-50, Springer 2019年 査読有り
-
In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), pp. 759-768, ACM 2018年 査読有り
-
Proceedings of the ACM on Programming Languages 2(POPL) 12:1-12:29 2018年 査読有り
-
In Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017), Lecture Notes in Computer Science 10204, pp.277-297, Springer 2017年 査読有り
-
In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017), ACM SIGPLAN Notices 52 (6), pp.362-375. ACM 2017年 査読有り
-
In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices 51 (1), pp.57-68, ACM. 2016年 査読有り
-
In Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Lecture Notes in Computer Science 9035, pp.149-163, Springer 2015年 査読有り
-
In Proceedings of the 22nd International Static Analysis Symposium (SAS 2015), Lecture Notes in Computer Science 9291, pp.128-144, Springer 2015年 査読有り