Search Results - "Programming by Examples"

Automatic Search-and-Replace From Examples With Coevolutionary Genetic Programming

Authors: Bartoli, Alberto De Lorenzo, Andrea Medvet, Eric et al.

Contributors: Bartoli, Alberto De Lorenzo, Andrea Medvet, Eric et al.

Source: IEEE Transactions on Cybernetics. 51:2612-2624

Subject Terms: regular expressions, Evolution, Molecular, Machine Learning, Models, Genetic, Diversity promotion, programming by examples (PBEs), 0202 electrical engineering, electronic engineering, information engineering, find-and-replace, Data Mining, 02 engineering and technology, Algorithms, Software

File Description: ELETTRONICO; application/pdf

Access URL: https://arts.units.it/bitstream/11368/2946745/1/2019-TCyb-EvolutionaryStringReplace.pdf
https://pubmed.ncbi.nlm.nih.gov/31199282
http://hdl.handle.net/11368/2946745
https://ieeexplore.ieee.org/document/8734703
https://dblp.uni-trier.de/db/journals/tcyb/tcyb51.html#BartoliLMT21
https://ieeexplore.ieee.org/document/8734703
https://pubmed.ncbi.nlm.nih.gov/31199282/
https://www.ncbi.nlm.nih.gov/pubmed/31199282
https://hdl.handle.net/11368/2946745
https://ieeexplore.ieee.org/document/8734703
https://doi.org/10.1109/TCYB.2019.2918337

Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning

Authors: Yuhong Wang Xin Li

Source: IEEE Access, Vol 9, Pp 71521-71534 (2021)

Subject Terms: deductive search, relational programming, miniKanren, functional programs, 0202 electrical engineering, electronic engineering, information engineering, deep learning, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, Programming by examples, TK1-9971

Access URL: https://ieeexplore.ieee.org/ielx7/6287639/9312710/09427519.pdf
https://doaj.org/article/ec9834cfe0bd4df1a3b25cc22e73b9cc
https://ieeexplore.ieee.org/abstract/document/9427519
https://dblp.uni-trier.de/db/journals/access/access9.html#WangL21d

Research Progress and Challenge of Programming by Examples

Authors: YAN Qian-yu, LI Yi, PENG Xin

Source: Jisuanji kexue, Vol 49, Iss 11, Pp 1-7 (2022)

Subject Terms: program synthesis, programming by examples, search strategy, ambiguity, Computer software, QA76.75-76.765, Technology (General), T1-995

File Description: electronic resource

Relation: https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2022-49-11-1.pdf; https://doaj.org/toc/1002-137X

Access URL: https://doaj.org/article/dca31f5e4c004dfd9cc573caa4848e68

Active learning approaches for learning regular expressions with genetic programming

Authors: BARTOLI, Alberto DE LORENZO, ANDREA MEDVET, Eric et al.

Contributors: BARTOLI, Alberto DE LORENZO, ANDREA MEDVET, Eric et al.

Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing. :97-102

Subject Terms: Machine Learning, 0202 electrical engineering, electronic engineering, information engineering, Entity Extraction, Information Extraction, Programming by Examples, 02 engineering and technology, Programming by Example

File Description: STAMPA; application/pdf

Access URL: http://hdl.handle.net/11368/2874805
https://dblp.uni-trier.de/db/conf/sac/sac2016.html#BartoliLMT16
https://core.ac.uk/display/53748739
https://doi.org/10.1145/2851613.2851668
https://hdl.handle.net/11368/2874805
https://doi.org/10.1145/2851613.2851668

S3: syntax- and semantic-guided repair synthesis via programming by examples

Authors: LE, Xuan-Bach D. CHU, Duc-Hiep LO, David et al.

Source: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. :593-604

Subject Terms: Symbolic execution, 0202 electrical engineering, electronic engineering, information engineering, Program repair, Software Engineering, 02 engineering and technology, Inductive synthesis, Programming by examples

File Description: application/pdf

Access URL: https://ink.library.smu.edu.sg/sis_research/3917
https://dblp.uni-trier.de/db/conf/sigsoft/fse2017.html#LeCLGV17
https://findanexpert.unimelb.edu.au/scholarlywork/1414941-s3--syntax--and-semantic-guided-repair-synthesis-via-programming-by-examples
https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=4919&context=sis_research
https://dl.acm.org/doi/10.1145/3106237.3106309
https://ink.library.smu.edu.sg/sis_research/3917/
https://core.ac.uk/display/155249378

Repairing DoS Vulnerability of Real-World Regexes

Authors: 千田 忠賢 寺内 多智弘

Source: 日本セキュリティ・マネジメント学会誌 / SECURITY MANAGEMENT. 2022, 36(3):16

Regex-based entity extraction with active learning and genetic programming

Authors: BARTOLI, Alberto DE LORENZO, ANDREA MEDVET, Eric et al.

Contributors: BARTOLI, Alberto DE LORENZO, ANDREA MEDVET, Eric et al.

Source: ACM SIGAPP Applied Computing Review. 16:7-15

Subject Terms: Machine Learning, 0202 electrical engineering, electronic engineering, information engineering, Entity Extraction, Information Extraction, Programming by Examples, 02 engineering and technology, Programming by Example

File Description: ELETTRONICO; application/pdf

Access URL: https://arts.units.it/retrieve/handle/11368/2880141/115779/2016_ACR_ActiveLearningRegex%20%281%29.pdf
http://hdl.handle.net/11368/2880141
http://dl.acm.org/citation.cfm?id=2993232
https://core.ac.uk/display/53749040
https://dl.acm.org/doi/10.1145/2993231.2993232
https://arts.units.it/handle/11368/2880141

Inference of Regular Expressions for Text Extraction from Examples

Authors: BARTOLI, Alberto DE LORENZO, ANDREA MEDVET, Eric et al.

Contributors: BARTOLI, Alberto DE LORENZO, ANDREA MEDVET, Eric et al.

Source: IEEE Transactions on Knowledge and Data Engineering. 28:1217-1230

Subject Terms: Information extraction, Programming by example, Genetic Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Heuristic search, Programming by examples, Multiobjective optimization

File Description: STAMPA; application/pdf

Access URL: https://arts.units.it/retrieve/handle/11368/2864925/89964/2015_TKDE_RegexInference%20%281%29.pdf
https://ieeexplore.ieee.org/document/7374717
http://hdl.handle.net/11368/2864925
https://arts.units.it/handle/11368/2864925
https://www.computer.org/csdl/journal/tk/2016/05/07374717/13rRUygT7ta
https://ieeexplore.ieee.org/document/7374717
https://dl.acm.org/doi/10.1109/TKDE.2016.2515587
https://dblp.uni-trier.de/db/journals/tkde/tkde28.html#BartoliLMT16
https://dl.acm.org/citation.cfm?id=2925390
https://ieeexplore.ieee.org/document/7374717
https://doi.org/10.1109/TKDE.2016.2515587
https://hdl.handle.net/11368/2864925

Explaining Code Examples in Introductory Programming Courses: LLM vs Humans

Authors: Narayanan, Arun Balajiee Lekshmi

Subject Terms: Large Language Models, Programming, Worked Examples, Code Explanations, ChatGPT, Worked Examples, Computer Science Education, CSEd, LLMs, Code Explanations

Rapido:Prototyping Interactive AR Experiences through Programming by Demonstration

Authors: Leiva, Germán Grønbæk, Jens Emil Klokmose, Clemens Nylandsted et al.

Source: Leiva, G, Grønbæk, J E, Klokmose, C N, Nguyen, C, Kazi, R H & Asente, P 2021, Rapido : Prototyping Interactive AR Experiences through Programming by Demonstration. in UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology, pp. 626-637, 34th Annual ACM Symposium on User Interface Software and Technology, UIST 2021, Virtual, Online, United States, 10/10/2021. https://doi.org/10.1145/3472749.3474774

Subject Terms: design by enaction, programming with examples, rapid prototyping

Relation: urn:ISBN:9781450386357

Availability: https://pure.au.dk/portal/en/publications/00019375-3458-4cd7-a2c7-a6bf6c1fa746
https://doi.org/10.1145/3472749.3474774
http://www.scopus.com/inward/record.url?scp=85118204730&partnerID=8YFLogxK

Synthesizing Relation-Aware Entity Transformation by examples

Authors: Wu, Jiarong Jiang, Yanyan Xu, Chang et al.

Subject Terms: Data transformation, Program synthesis, Programming by examples

Relation: https://doi.org/10.1145/3183440.3194963; http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000450109000103

Availability: http://repository.hkust.edu.hk/ir/Record/1783.1-92157
https://doi.org/10.1145/3183440.3194963
http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=&rft.volume=&rft.issue=&rft.date=2018&rft.spage=&rft.aulast=Wu&rft.aufirst=Jiarong&rft.atitle=Synthesizing+Relation-Aware+Entity+Transformation+by+examplesE&rft.title=Companion+Volume
http://www.scopus.com/record/display.url?eid=2-s2.0-85049685534&origin=inward
http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000450109000103

Program Synthesis by Inductive Inference and Analogical Reasoning / 帰納推論と類推によるプログラムの合成 (<特集>「知的プログラミングの基礎」)

Authors: Setsuo ARIKAWA 有川 節夫

Source: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 1987, 2(3):299

Example-Based Generation of Custom Data Analysis Appliances

Authors: Mark Derthick Steven F Roth

Subject Terms: Applied computing not elsewhere classified, Programming with Examples, GUI Builder, Visual Query Language, Applied Computer Science

Availability: https://doi.org/10.1184/r1/6470054.v1
https://figshare.com/articles/journal_contribution/Example-Based_Generation_of_Custom_Data_Analysis_Appliances/6470054

A Framework for Mass-Market Inductive Program Synthesis

Authors: Polozov, Oleksandr Gulwani, Sumit Popović, Zoran

Contributors: Polozov, Oleksandr Gulwani, Sumit Popović, Zoran

Subject Terms: active learning, data wrangling, programming by examples, program synthesis, software engineering, user interaction models, Computer science, Computer engineering, Computer science and engineering

File Description: application/pdf

Relation: polozov-final-exam.pptx; presentation; Slides of the dissertation defense.; Polozov_washington_0250E_16986.pdf; http://hdl.handle.net/1773/40009

Availability: http://hdl.handle.net/1773/40009

about Programs

Authors: Sumit Gulwani The Pennsylvania State University CiteSeerX Archives

Contributors: Sumit Gulwani The Pennsylvania State University CiteSeerX Archives

Source: http://www.cis.upenn.edu/~alur/CIS673/gulwani10.pdf.

Subject Terms: General Terms Languages, Theory Keywords Deductive Synthesis, Inductive Synthesis, Programming by Examples, Programming by Demonstration, SAT Solving, SMT Solving, Machine Learning, Probabilistic Inference, Belief Propagation, Genetic Programming

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.9604; http://www.cis.upenn.edu/~alur/CIS673/gulwani10.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.9604
http://www.cis.upenn.edu/~alur/CIS673/gulwani10.pdf

Languages, Theory

Authors: Sumit Gulwani The Pennsylvania State University CiteSeerX Archives

Contributors: Sumit Gulwani The Pennsylvania State University CiteSeerX Archives

Source: http://research.microsoft.com/en-us/people/sumitg/pubs/ppdp10-synthesis.pdf.

Subject Terms: Inductive Synthesis, Programming by Examples, Programming by Demonstration, SAT Solving, SMT Solving, Machine Learning, Probabilistic Inference, Belief Propagation, Genetic Programming

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.168.3299

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.168.3299
http://research.microsoft.com/en-us/people/sumitg/pubs/ppdp10-synthesis.pdf

Automated synthesis of data extraction and transformation programs

Authors: Yaghmazadeh, Navid Dillig, Isil Pingali, Keshav et al.

Contributors: Yaghmazadeh, Navid Dillig, Isil Pingali, Keshav et al.

Subject Terms: Program synthesis, Programming-by-examples, Programming-by-natural-language, Databases

File Description: application/pdf

Relation: http://hdl.handle.net/2152/68138

Availability: http://hdl.handle.net/2152/68138
https://doi.org/10.15781/T2ZK56545

A framework for distributed synthesis of programs from input-output examples

Authors: Tremamunno, Luca thesis supervisor: Viroli, Mirko

Index Terms: Program synthesis,Programming by examples,Distributed computing, PeerReviewed, info:eu-repo/semantics/masterThesis

URL: http://amslaurea.unibo.it/23106/
http://amslaurea.unibo.it/23106

A framework for distributed synthesis of programs from input-output examples

Authors: Tremamunno, Luca thesis supervisor: Viroli, Mirko

Index Terms: Program synthesis,Programming by examples,Distributed computing, PeerReviewed, info:eu-repo/semantics/masterThesis

URL: https://amslaurea.unibo.it/id/eprint/23106/
https://amslaurea.unibo.it/id/eprint/23106

Publications.

Alternate Title: Izdanja.

Source: Croatian Journal of Education / Hrvatski Časopis za Odgoj i Obrazovanje. Dec2014, Vol. 16 Issue 4, p1215-1219. 5p.

Subject Terms: Nonfiction

Reviews & Products: Helping Them Grow up: A Handbook for the Partnership between Preschool Teachers & Parents (Book), Book of Proceedings, International Scientific Conference Child & Aesthetics Expression, Zadar 13 - 14 May 2011 (Book), Computer Programming: Instructions, Examples, Tasks & Solutions in the PostScript Programing Language Included (Book)

People: Simovic, Vladimir, Nježić, Zoran, Milanović, Mirjana, Bacalja, Robert