ライドシェアリングにおける非集中型データ統合キテクチャの適用
第15回データ工学と情報マネジメントに関するフォーラム, DEIM2023, Jxx-x, 2023年3月5日【査読なし】
関係データ交換フレームワークにおける弱適切なデータ公開ポリシの導出アルゴリズム
電子情報通信学会論文誌(D), Vol.J106-D, No.4, 2023 (採録決定)
操作変換を用いた双方向変換網の競合解決における操作変換制御の一検討
情報処理学会第85回全国大会7L-07, 2023年3月【査読なし】
Coordination Avoidance のためのセグメント分解作成手法
情報処理学会論文誌データベース（TOD）, 15(3), 75-86 (2022-10-13), ISSN: 1882-7799
A Theoretic Framework of Bidirectional Transformation between Systems and Models
Science China Information Science (SCIS), Volume 65, Article number: 202103, 2022.
Generic Recursive Lens Combinators and Their Calculation Laws
Theoretical Computer Science (TCS), Vol. 913, pp. 113-137, 2022.
Towards Bidirectional Live Programming for Incomplete Programs
44th International Conference on Software Engineering (ICSE 2022), Pittsburgh, PA, USA, May 21-29, 2022.
FedMe: Federated Learning via Model Exchange
SIAM International Conference on Data Mining (SDM), April 28-30, 2022.
A Survey on IoT Big Data Analytic Systems: Current and Future
IEEE Internet of Things Journal, 2022.
関係データ交換フレームワークにおける弱適切なデータ公開ポリシの存在を判定するアルゴリズム
電子情報通信学会ソフトウェアサイエンス研究会，SS2021-51，pp.54-59，2022年3月7日 【査読なし】
双方向変換網における操作変換を用いた競合解決手法
情報処理学会第84回全国大会 1L-06, 2022年3月【査読なし】
同時進行する独立な時系列データからのTransformerによる予測モデルの構築
情報処理学会第84回全国大会 6S-08, 2022年3月【査読なし】
統合型データベースにおける適応的2相ロックに基づく分散トランザクション制御
第14回データ工学と情報マネジメントに関するフォーラム, DEIM2022, J34-3, 2022年3月1日【査読なし】
Coordination Avoidance のためのセグメント分解手法
第14回データ工学と情報マネジメントに関するフォーラム, DEIM2022, J34-1, 2022年3月1日【査読なし】
匿名通信システムを介したデータ共有アーキテクチャの実現と評価
令和4年度電気・電子・情報関係学会東海支部連合大会, J4-1, 2022年8月30日【査読なし】
双方向変換と単方向変換の連鎖に基づく漸進的双方向化
日本ソフトウェア科学会第39回大会, ポスターセッション59-P, 2022年8月31日【査読なし】
Towards Automatic Synthesis of View Update Programs on Relations
Fifth Workshop on Software Foundations for Data Interoperability (SFDI 2021) (Colocaated with VLDB 2021), Copenhagen, Denmark, August 16, 2021.
Conflict Resolution for Data Updates by Multiple Bidirectional Transformations
Software Foundations for Data Interoperability. SFDI 2021. Communications in Computer and Information Science 1457 62-75, August, 2021.
Toward Recursive View Update Strategies on Relations (Short paper)
9th International Workshop on Bidirectional Transformations (BX 2021), Bergen, Norway, June 21, 2021.
BCDS Agent: An Architecture for Bidirectional Collaborative Data Sharing
Computer Software, Japan Society for Software Science and Technology, Vol.38, No.3, pp.41-57, 2021.
High-Dimensional Similarity Query Processing for Data Science
2021 ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), Singapore, August 14-18, 2021.
Consistent and Flexible Selectivity Estimation for High-Dimensional Data
2021 ACM SIGMOD International Conference on Management of Data (SIGMOD), Xi'an, China, June 20-25, 2021.
Model-Driven Engineering City Spaces via Bidirectional Model Transformations
Journal of Systems and Software, February 2021.
FLAME: Differentially Private Federated Learning in the Shuffle Model
The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), February 2-9, 2021.
P3GM: Private High-Dimensional Data Release via Privacy Preserving Phased Generative Model
37th IEEE International Conference on Data Engineering (ICDE), Chania, Greece, April 19-22, 2021.
Efficient Joinable Table Discovery in Data Lakes: A High-Dimensional Similarity-Based Approach
37th IEEE International Conference on Data Engineering (ICDE), Chania, Greece, April 19-22, 2021.
複数の双方向変換に対するデータ更新時の競合解決手法
情報処理学会第133回プログラミング研究発表会 2021年3月17日 情報処理学会プログラミング研究会
A Formal Approach to Secure Design of RESTful web APIs using SOFL
Proc. of the 10th International Workshop on SOFL + MSVL for Reliability and Security, colocated with ICFEM 2020, LNCS 12723, pp. 105-125, 2021.
Streaming Ranked-Tree-to-String Transducers
Theoretical Computer Science (published online first), Elsevier, January 2021.
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
Journal of Systems and Software, Vol. 170, December 2020.
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations
35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020), Melbourne, Australia, September 21-25, 2020. (Distinguished Paper Award)
A Counterexample-Guided Debugger for Non-Recursive Datalog
18th Asian Symposium on Programming Languages and Systems (APLAS 2020), Fukuoka City, Japan, November 30 - December 2, 2020.
Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints
2020 IEEE International Conference on Systems, Man, and Cybernetics, (SMC 2020, Toronto, ON, Canada, October 11-14, 2020. pp. 2842-2849
A Cheap Implementation of Resugaring in BIRDS based on Bidirectional Transformation
Fourth Workshop on Software Foundations for Data Interoperability (SFDI 2020), Tokyo, Japan, September 4-5, 2020. pp.116-130
Toward Programmable Strategy for Co-existence of Relational Schemes
Fourth Workshop on Software Foundations for Data Interoperability (SFDI 2020), Tokyo, Japan, September 4-5, 2020. pp.138-151
Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts
IEEE Open Journal of the Computer Society, 2020
Money Cannot Buy Everything: Trading Mobile Data with Controllable Privacy Loss
The 21st IEEE International Conference on Mobile Data Management (MDM), 2020
Secure and Efficient Trajectory-Based Contact Tracing using Trusted Hardware
The 7th International Workshop on Privacy and Security of Big Data @IEEE BigData 2020
PANDA: Policy-aware Location Privacy for Epidemic Surveillance
VLDB 2020. Demonstration.
Voice-Indistinguishability: Protecting Voiceprint with Differential Privacy under an Untrusted Server
ACM CCS 2020 (Poster Paper)
PGLP: Customizable and Rigorous Location Privacy through Policy Graph
The 25th European Symposium on Research in Computer Security (ESORICS) 2020
The Absolute Consistency Problem for Relational Schema Mappings with Functional Dependencies
IEICE Transactions on Information and Systems, Vol. E103-D, No. 11, pp. 2278-2288, November 2020. #
Towards Smart Data Sharing by Updatable Views
Fourth Workshop on Software Foundations for Data Interoperability (SFDI2020), Online, Communications in Computer and Information Science 1281, pp. 165-171, September 2020. #
Data Integration Models and Architectures for Service Alliances
Fourth Workshop on Software Foundations for Data Interoperability (SFDI2020), Online, Communications in Computer and Information Science 1281, pp. 152-164, September 2020. #
Toward Appropriate Data Publishing in Relational Data Exchange Framework
Fourth Workshop on Software Foundations for Data Interoperability (SFDI2020), Online, Communications in Computer and Information Science 1281, pp. 131-137, September 2020. #
Continuous Top-k Spatial-Keyword Search on Dynamic Objects
The VLDB Journal, accepted in Aug, 2020.
Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars
New Generation Computing, accepted, 2020. #
Similarity Query Processing for High-dimensional Data
46th International Conference on Very Large Data Bases (VLDB 2020), Tutorial, Tokyo, Japan, August 31 - September 4, 2020.
Fast Subtrajectory Similarity Search in Road Networks under Weighted Edit Distance Constraints
46th International Conference on Very Large Data Bases (VLDB 2020), Tokyo, Japan, August 31 - September 4, 2020.
Programmable View Update Strategies on Relations
46th International Conference on Very Large Data Bases (VLDB 2020), Tokyo, Japan, August 31 - September 4, 2020. #
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update
15th International Symposium on Functional and Logic Programming (FLOPS 2020), Japan, 2020. #
Involuotry Turing Machines
12th International Conference on Reversible Computation (RC 2020), Oslo, Norway, July 2020. #
Voice-Indistinguishability: Protecting Voiceprint in Privacy Preserving Speech Data Release
IEEE International Conference on Multimedia and Expo (ICME 2020), Oral Presentation, London, United Kingdom, July 6-10, 2020.
Efficient logging and querying for Blockchain-based cross-site genomic dataset access audit
BMC Medical Genomics, 2020.
Secondary Indexを活用するNoSQLスキーマ推薦によるクエリ処理高速化
情報処理学会論文誌データベース（TOD）, 13(1), 20-32 (2020-01-27), 1882-7799
Monotonic Cardinality Estimation of Similarity Selection: A Deep Learning Approach
2020 ACM SIGMOD International Conference on Management of Data (SIGMOD), Portland, USA, June 14-19, 2020.
Federated SGD under Local Differential Privacy with Top-k Dimension Selection
25th International Conference on Database Systems for Advanced Applications (DASFAA 2020), Jeju, South Korea, May 21-24, 2020.
Protecting Spatiotemporal Event Privacy in Continuous Location-Based Services
IEEE Transactions on Knowledge and Data Engineering (TKDE), 2020.
Providing Input-Discriminative Protection for Local Differential Privacy
36th IEEE International Conference on Data Engineering (ICDE), Dallas, USA, April 20-24, 2020.
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence
SIAM Conference on Parallel Processing for Scientific Computing (PP 2020), Seatle, Washington, United States, February 13-15, 2020. #
エンティティ解決手法を応用したデータクリーニングのための不整合検出
第12回データ工学と情報マネジメントに関するフォーラム, DEIM2020, D8-1, 2020年3月4日【査読なし】
科学メタデータクリーニングのための自律分散型データ共有・更新システムに向けて
第12回データ工学と情報マネジメントに関するフォーラム, DEIM2020, D8-2, 2020年3月4日【査読なし】
統合型データベースにおける適応的2相ロックに基づく分散トランザクション制御
第12回データ工学と情報マネジメントに関するフォーラム, DEIM2020, H2-4, 2020年3月2日【査読なし】
Trace-based Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations
Workshop on Specification, Testing, and Verification for Error Prevention and Detection, in 2020 IEEE 20th Int’l Conf. on Software Quality, Reliability and Security Companion (QRS-C), pp. 87-90. 2020
Trading Location Data with Bounded Personalized Privacy Loss
Third Workshop on Software Foundations for Data Interoperability (SFDI 2019+), Fukuoka, Japan, October 28, 2019.
Towards a Complete Picture of Lens Laws
Third Workshop on Software Foundations for Data Interoperability (SFDI 2019+), Fukuoka, Japan, October 28, 2019.
Toward a view-based data cleaning architecture
Third Workshop on Software Foundations for Data Interoperability (SFDI 2019+), Fukuoka, Japan, October 28, 2019.
Toward Co-existing Database Schemas based on Bidirectional Transformation
Third Workshop on Software Foundations for Data Interoperability (SFDI 2019+), Fukuoka, Japan, October 28, 2019. #
Distributed transaction management for P2P-based update propagation
Third Workshop on Software Foundations for Data Interoperability (SFDI 2019+), Fukuoka, Japan, October 28, 2019.
Model-Driven Design of City Spaces via Bidirectional Transformations
EEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 15-20, 2019. #
iPregel: Vertex-centric Programmability vs Memory Efficiency and Performance, Why Choose?
Parallel Computing, Vol. 86, August 2019, 45-56. #
Query Autocompletion with Edit Distance-based Error Tolerance
The VLDB Journal, accepted in Aug, 2019.
Generalizing the Pigeonhole Principle for Similarity Search in Hamming Space
IEEE Transactions on Knowledge and Data Engineering (TKDE), accepted in Feb, 2019.
Pigeonring: A Principle for Faster Thresholded Similarity Search
45th International Conference on Very Large Data Bases (VLDB 2019), Los Angeles, USA, August 26-30, 2019.
PriSTE: Protecting Spatiotemporal Event Privacy in Continuous Location-Based Services
45th International Conference on Very Large Data Bases (VLDB 2019), Demonstration, Los Angeles, USA, August 26-30, 2019.
Streaming Ranked-Tree-to-String Transducers
24th International Conference on Implementation and Application of Automata (CIAA 2019), Kosice, Slovakia, July 22-25, 2019.
Efficient framework for processing top-k queries with replication in mobile ad hoc networks
GeoInformatica, 2019.
Geo-Graph-Indistinguishability: Protecting Location Privacy for LBS over Road Networks
33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec'19), Charleston, USA, July 15-17, 2019.
When and where do you want to hide? Recommendation of location privacy preferences with local differential privacy
33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec'19), Short Paper, Charleston, USA, July 15-17, 2019.
Autocompletion for Prefix-Abbreviated Input
2019 ACM SIGMOD International Conference on Management of Data (SIGMOD), Amsterdam, the Netherlands, June 30-July 5, 2019.
Supporting both Range Queries and Frequency Estimation with Local Differential Privacy
17th IEEE Conference on Communications and Network Security (CNS 2019), Washington, D.C., USA, June 10-12, 2019.
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels
33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019), Rio de Janeiro, Brizil, May 20-24, 2019. #
Incrementalization of Vertex-Centric Programs
33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019), Rio de Janeiro, Brizil, May 20-24, 2019. #
PriSTE: From Location Privacy to Spatiotemporal Event Privacy
35th IEEE International Conference on Data Engineering (ICDE), short paper, Macau SAR, China, April 8-11, 2019.
Blockchain-based Bidirectional Updates on Fine-grained Medical Data
First International Workshop on Blockchain and Data Management (BlockDM 2019), Macau SAR, China, April 8, 2019. #
POET: Privacy on the Edge with Bidirectional Data Transformations
IEEE International Conference on Pervasive Computing and Communications (PerCom 2019), March 11-15, 2019, Kyoto, Japan. #
Controlling and Sharing Distributed Data for Implementing Service Alliance
IEEE Second Workshop on Software Foundations for Data Interoperability(SFDI 2019), Kyoto University, Japan, February 27, 2019. #
Toward BX-based Architecture for Controlling and Sharing Distributed Data
IEEE Second Workshop on Software Foundations for Data Interoperability(SFDI 2019), Kyoto University, Japan, February 27, 2019.
Towards Bidirectional Synchronization between Communicating Processes and Session Types
IEEE Second Workshop on Software Foundations for Data Interoperability(SFDI 2019), Kyoto University, Japan, February 27, 2019. #
Flexible framework for data integration and update propagation: system aspect
IEEE Second Workshop on Software Foundations for Data Interoperability(SFDI 2019), Kyoto University, Japan, February 27, 2019.
Engineering Adaptive Software Systems
Communications of NII Shonan Meetings, Springer, 2019, ISBN 978-981-13-2184-9.
Bidirectional Transformations for Self-Adaptive Systems
Engineering Adaptive Software Systems, Communications of NII Shonan Meetings, Springer, 2019. pp. 95-114.
Design and Engineering of Adaptive Software Systems
Engineering Adaptive Software Systems, Communications of NII Shonan Meetings, Springer, 2019. pp. 1-33.
Secondary index を活用する NoSQL スキーマ推薦によるクエリ処理高速化
The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG), 2019
双方向変換を用いたコードクローン間の選択的な更新伝播手法
情報処理学会プログラミング研究会, 2019年3月18日【unrefereed presentation】
データ交換フレームワークにおける問合せ解像度に基づいたデータ公開
電子情報通信学会ソフトウェアサイエンス研究会, SS2018-44, 2019年1月16日【査読なし】
圧縮XML文書に対するXQuery問合せ評価の効率化
電子情報通信学会ソフトウェアサイエンス研究会, SS2018-43, 2019年1月16日【査読なし】
道路ネットワークにおける位置情報プライバシー
第11回データ工学と情報マネジメントに関するフォーラム, DEIM2019, I6-3, 2019年3月6日【査読なし】
中継可能な協調型輸送の提案とアルゴリズムの効率化
第11回データ工学と情報マネジメントに関するフォーラム, DEIM2019, H6-4, 2019年3月6日【査読なし】
ビューに基づくデータクリーニング方式の提案
第11回データ工学と情報マネジメントに関するフォーラム, DEIM2019, C1-1, 2019年3月4日【査読なし】
Secondary index を活用する NoSQL スキーマ推薦による Query 処理高速化
第11回データ工学と情報マネジメントに関するフォーラム, DEIM2019, H2-4, 2019年3月4日【査読なし】
木から文字列への決定性トップダウン変換の等価性判定アルゴリズムの実用性について
コンピュータソフトウェア, 35 巻 (2018) 4 号, 日本ソフトウェア科学会. pp. 52-71.
Putback-based Bidirectional Model Transformations
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), Lake Buena Vista, Florida, United States, Gothenburg, Sweden, November 4-9, 2018. #
ConTPL: Controlling Temporal Privacy Leakage in Differentially Private Continuous Data Release
44th International Conference on Very Large Data Bases (VLDB 2018), Demonstration, Rio de Janeiro, Brazil, August 27-31, 2018.
Principles and practice of bidirectional programming in BiGUL
Lecture Notes in International Summer School on Bidirectional Transformations, Oxford, LNCS 9715, 2018. #
Quantifying Differential Privacy in Continuous Data Release under Temporal Correlations
IEEE Transactions on Knowledge and Data Engineering (TKDE), 2018.
Top-k Query Processing with Replication Strategy in Mobile Ad Hoc Networks
19th IEEE International Conference on Mobile Data Management(MDM 2018), Aalborg, Denmark, June 25-28, 2018.
On Early Statistical Requirements Validation of Cyber-Physical Space Systems
4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018), Gothenburg, Sweden, May 27, 2018. #
A Common Framework Using Expected Types for Several Type Debugging Approaches
International Symposium on Functional and Logic Programming (FLOPS 2018), Nagoya, Japan, May 8-11, 2018.
Towards a visual editor for lens combinators (extended abstract)
International Workshop on Bidirectional Transformations (BX 2018), Nice, France, April 10, 2018.
A Lightweight Data Sharing System based on Bidirectional Transformations (Experience paper)
International Workshop on Bidirectional Transformations (BX 2018), Nice, France, April 10, 2018. #
Geo識別不能性を用いた経路端点の曖昧化
日本データベース学会和文論文誌 Vol.16-J, Article No.19, 2018年3月.
Principles and practice of bidirectional programming in BiGUL
Lecture notes at International Summer School on Bidirectional Transformations in Oxford (in 2016), LNCS 9715, 2018. #
An axiomatic basis for bidirectional programming
Symposium on Principles of Programming Languages (POPL 2018), Los Angeles, Califoria, USA, Janurary 7-13, 2018. #
Purpose-Feature Relationship Mining from Online Reviews towards Purpose-Oriented Recommendation
IEICE Transaction on Information and Systems, Vol.E101-D, No.4, pp.1021-1029, 2018
Detecting Anomalous Reviewers and Estimating Summaries from Early Reviews Considering Heterogeneity
IEICE Transaction on Information and Systems, Vol.E101-D, No.4, pp.1003-1011, 2018
非負値行列分解を用いた時系列リンク予測
情報処理学会論文誌データベース（TOD） 10(4), 6-10, 2017-12-13
Trend and applications of Big Data and IoT techniques
Keynote Talk, The 8th International Symposium on Information and Communication Technology (SoICT 2017), Nha Trang, Viet Nam, December 7-8, 2017.
On Additivity in Transformation Languages
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, Texas, USA, September 17-22, 2017.
DDO-Free XQuery
The 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany, September 1, 2017.
How to Balance Privacy and Money through Pricing Mechanism in Personal Data Market
The 2017 ACM SIGIR Workshop On eCommerce, Tokyo, Japan, August 2017.
Towards Variability Management in Bidirectional Model Transformation
41st IEEE Annual Computer Software and Applications Conference (COMPSAC 2017), Torino, Turin, Italy, July 4-8, 2017.
Cell-based Provenance for Scientific Data
ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL2017), poster, DOI: 10.1109/JCDL.2017.7991594, Toronto, Ontario, Canada, June 19-23, 2017.
The Absolute Consistency Problem of Graph Schema Mappings with Uniqueness Constraints
The 9th International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2017), Barcelona, Spain, May 21 - 25, 2017.
Bidirectional Certified Programming
6th International Workshop on Bidirectional Transformation (BX 2017), Uppsala, Sweden, April 24, 2017.