Repairing Regex-Dependent String Functions

Authors: Chida, Nariyoshi, Terauchi, Tachio

Source: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2024 39th IEEE/ACM International Conference on. :294-305 Oct, 2024

Relation: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE)

RULER: Prebugging with Proxy-Based Programming

Authors: Repenning, Alexander, Basawapatna, Ashok

Source: 2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) VL-HCC Visual Languages and Human-Centric Computing (VL/HCC), 2024 IEEE Symposium on. :275-281 Sep, 2024

Relation: 2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

Program Synthesis for Geometric Modeling

Authors: Pascual, Romain^Aff9, Le Gall, Pascale^Aff9, Belhaouari, Hakim^Aff10, Arnould, Agnès^Aff10

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Escobar, Santiago, editor^Aff7, Titolo, Laura, editor^Aff8

Source: Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings. 16117:135-153

PYEVOLVE: Automating Frequent Code Changes in Python ML Systems

Authors: Dilhara, Malinda, Dig, Danny, Ketkar, Ameya

Source: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2023 IEEE/ACM 45th International Conference on. :995-1007 May, 2023

Relation: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)

The Role of Interactive Program Synthesis in the Future of Software Development

Authors: Shaout, Adnan, Ditty, Javid, Carr, Kyle

Source: Cureus Journal of Computer Science. 2(1)

Contextual State Pattern Determination-Based Heuristic Program Synthesis

Authors: Pan, Hao^Aff7, Dou, Quansheng^{Aff6, Aff7}, Wang, Huixian^Aff7, Zhang, Shun^Aff7

Contributors: Li, Gang, Series Editor^Aff1, Filipe, Joaquim, Series Editor^Aff2, Xu, Zhiwei, Series Editor^Aff3, Tan, Ying, editor^Aff4, Shi, Yuhui, editor^Aff5

Source: Data Mining and Big Data : 9th International Conference, DMBD 2024, Ho Chi Minh City, Vietnam, December 13–17, 2024, Proceedings, Part I. 2356:151-162

Leveraging EUD and Generative AI for Ethical Phishing Campaigns

Authors: Breve, Bernardo^Aff14, Buono, Paolo^Aff11, Caruccio, Loredana^Aff12, Cau, Federico Maria^Aff13, Cimino, Gaetano^Aff12, Desolda, Giuseppe^Aff11, Deufemia, Vincenzo^Aff12, Lanzilotti, Rosa^Aff11, Spano, Lucio Davide^Aff13, Tucci, Cesare^Aff11

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Santoro, Carmen, editor^Aff7, Schmidt, Albrecht, editor^Aff8, Matera, Maristella, editor^Aff9, Bellucci, Andrea, editor^Aff10

Source: End-User Development : 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16–18, 2025, Proceedings. 15713:264-282

RoboART: Artistic Robot Programming in Mixed Reality

Authors: Fronchetti, Felipe, Popiela, Miles, Spinola, Rodrigo, Brixey, Shawn

Source: 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) VRW Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), 2024 IEEE Conference on. :1192-1193 Mar, 2024

Relation: 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW)

Rigel: Transforming Tabular Data by Declarative Mapping

Authors: Chen, R., Weng, D., Huang, Y., Shu, X., Zhou, J., Sun, G., Wu, Y.

Source: IEEE Transactions on Visualization and Computer Graphics IEEE Trans. Visual. Comput. Graphics Visualization and Computer Graphics, IEEE Transactions on. 29(1):128-138 Jan, 2023

TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair

Authors: Li, Yeting, Li, Shuaimin, Xu, Zhiwu, Cao, Jialun, Chen, Zixuan, Hu, Yun, Chen, Haiming, Cheung, Shing-Chi

Source: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2021 IEEE/ACM 43rd International Conference on. :1210-1222 May, 2021

Relation: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)

Neural Network Approach to Program Synthesis for Tabular Transformation by Example

Authors: Ujibashi, Y., Takasu, A.

Source: IEEE Access Access, IEEE. 10:24864-24876 2022

VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction

Authors: Nguyen, Thanh-Dat, Do-Viet, Tung, Nguyen-Duy, Hung, Luu, Tuan-Hai, Le, Hung, Le, Bach, Thongtanunam, Patanamon

Source: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :704-716

Availability: http://dl.acm.org/doi/10.1145/3650212.3680314

Method for Selecting a Data Imputation Model Based on Programming by Example for Data Analysts

Authors: Nagashima, Hiroko, Kato, Yuka

Source: 2020 IEEE International Conference on Big Data (Big Data) Big Data (Big Data), 2020 IEEE International Conference on. :4147-4156 Dec, 2020

Relation: 2020 IEEE International Conference on Big Data (Big Data)

Phoenix: A Tool for Automated Data-Driven Synthesis of Repairs for Static Analysis Violations

Authors: Yoshida, Hiroaki, Bavishi, Rohan, Hotta, Keisuke, Nemoto, Yusuke, Prasad, Mukul R., Kikuchi, Shinji

Source: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2020 IEEE/ACM 42nd International Conference on. :53-56 Oct, 2020

Relation: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Programming by Example Made Easy

Authors: Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu

Source: ACM Transactions on Software Engineering and Methodology. 33:1-36

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Programming by example, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Program synthesis, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2307.07965

Query Reverse Engineering of Pre-deleted Uncorrelated Operators

Authors: Dou, Quansheng^{Aff7, Aff9}, Wang, Huixian^Aff8, Tang, Huanling^Aff9, Pan, Hao^Aff8, Zhang, Shun^Aff9

Contributors: Filipe, Joaquim, Editorial Board Member^Aff1, Ghosh, Ashish, Editorial Board Member^Aff2, Prates, Raquel Oliveira, Editorial Board Member^Aff3, Zhou, Lizhu, Editorial Board Member^Aff4, Tan, Ying, editor^Aff5, Shi, Yuhui, editor^Aff6

Source: Data Mining and Big Data : 8th International Conference, DMBD 2023, Sanya, China, December 9–12, 2023, Proceedings, Part II. 2018:45-58

Formal XAI via Syntax-Guided Synthesis

Authors: Bjørner, Katrine^Aff8, Judson, Samuel^Aff9, Cano, Filip^Aff10, Goldman, Drew^Aff11, Shoemaker, Nick^Aff9, Piskac, Ruzica^Aff9, Könighofer, Bettina^Aff10

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^{Aff5, Aff7}, Yung, Moti, Editorial Board Member^Aff6

Source: Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. 14380:119-137

Data Imputation Method based on Programming by Example: APREP-S

Authors: Nagashima, Hiroko, Kato, Yuka

Source: 2019 IEEE International Conference on Big Data (Big Data) Big Data (Big Data), 2019 IEEE International Conference on. :4412-4421 Dec, 2019

Relation: 2019 IEEE International Conference on Big Data (Big Data)

Programming Not Only by Example

Authors: Peleg, Hila, Shoham, Sharon, Yahav, Eran

Source: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2018 IEEE/ACM 40th International Conference on. :1114-1124 May, 2018

Relation: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)

Neurosymbolic Models for Computer Graphics

Authors: Ritchie, D, Guerrero, P, Jones, RK, Mitra, NJ, Schulz, A, Willis, KDD, Wu, J

Source: Computer Graphics Forum. 42:545-568

Subject Terms: FOS: Computer and information sciences, Computer Science - Graphics, CCS Concepts • Computing methodologies → Shape modeling, Programming by example, 0202 electrical engineering, electronic engineering, information engineering, Computer vision • Software and its engineering → Domain specific languages, 02 engineering and technology, Texturing, Reflectance modeling, Neural networks, Graphics (cs.GR)

Access URL: http://arxiv.org/abs/2304.10320
https://discovery-pp.ucl.ac.uk/id/eprint/10173727/