Repairing Regex-Dependent String Functions

Συγγραφείς: Chida, Nariyoshi, Terauchi, Tachio

Πηγή: 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

Συγγραφείς: Repenning, Alexander, Basawapatna, Ashok

Πηγή: 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

Συγγραφείς: Pascual, Romain^Aff9, Le Gall, Pascale^Aff9, Belhaouari, Hakim^Aff10, Arnould, Agnès^Aff10

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Dilhara, Malinda, Dig, Danny, Ketkar, Ameya

Πηγή: 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

Συγγραφείς: Shaout, Adnan, Ditty, Javid, Carr, Kyle

Πηγή: Cureus Journal of Computer Science. 2(1)

Contextual State Pattern Determination-Based Heuristic Program Synthesis

Συγγραφείς: Pan, Hao^Aff7, Dou, Quansheng^{Aff6, Aff7}, Wang, Huixian^Aff7, Zhang, Shun^Aff7

Συνεισφορές: Li, Gang, Series Editor^Aff1, Filipe, Joaquim, Series Editor^Aff2, Xu, Zhiwei, Series Editor^Aff3, Tan, Ying, editor^Aff4, Shi, Yuhui, editor^Aff5

Πηγή: 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

Συγγραφείς: 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

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Fronchetti, Felipe, Popiela, Miles, Spinola, Rodrigo, Brixey, Shawn

Πηγή: 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

Συγγραφείς: Chen, R., Weng, D., Huang, Y., Shu, X., Zhou, J., Sun, G., Wu, Y.

Πηγή: 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

Συγγραφείς: Li, Yeting, Li, Shuaimin, Xu, Zhiwu, Cao, Jialun, Chen, Zixuan, Hu, Yun, Chen, Haiming, Cheung, Shing-Chi

Πηγή: 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

Συγγραφείς: Ujibashi, Y., Takasu, A.

Πηγή: IEEE Access Access, IEEE. 10:24864-24876 2022

VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction

Συγγραφείς: Nguyen, Thanh-Dat, Do-Viet, Tung, Nguyen-Duy, Hung, Luu, Tuan-Hai, Le, Hung, Le, Bach, Thongtanunam, Patanamon

Πηγή: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :704-716

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3650212.3680314

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

Συγγραφείς: Nagashima, Hiroko, Kato, Yuka

Πηγή: 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

Συγγραφείς: Yoshida, Hiroaki, Bavishi, Rohan, Hotta, Keisuke, Nemoto, Yusuke, Prasad, Mukul R., Kikuchi, Shinji

Πηγή: 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

Συγγραφείς: Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu

Πηγή: ACM Transactions on Software Engineering and Methodology. 33:1-36

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2307.07965

Query Reverse Engineering of Pre-deleted Uncorrelated Operators

Συγγραφείς: Dou, Quansheng^{Aff7, Aff9}, Wang, Huixian^Aff8, Tang, Huanling^Aff9, Pan, Hao^Aff8, Zhang, Shun^Aff9

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Bjørner, Katrine^Aff8, Judson, Samuel^Aff9, Cano, Filip^Aff10, Goldman, Drew^Aff11, Shoemaker, Nick^Aff9, Piskac, Ruzica^Aff9, Könighofer, Bettina^Aff10

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Nagashima, Hiroko, Kato, Yuka

Πηγή: 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

Συγγραφείς: Peleg, Hila, Shoham, Sharon, Yahav, Eran

Πηγή: 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

Συγγραφείς: Ritchie, D, Guerrero, P, Jones, RK, Mitra, NJ, Schulz, A, Willis, KDD, Wu, J

Πηγή: Computer Graphics Forum. 42:545-568

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2304.10320
https://discovery-pp.ucl.ac.uk/id/eprint/10173727/