SynGuar: guaranteeing generalization in programming by example

Mapping Intimacies ◽

10.1145/3468264.3468621 ◽

2021 ◽

Author(s):

Bo Wang ◽

Teodora Baluta ◽

Aashish Kolluri ◽

Prateek Saxena

Keyword(s):

Programming By Example

Get full-text (via PubEx)

Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists

Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems ◽

10.1145/3313831.3376442 ◽

2020 ◽

Cited By ~ 4

Author(s):

Ian Drosos ◽

Titus Barik ◽

Philip J. Guo ◽

Robert DeLine ◽

Sumit Gulwani

Keyword(s):

Programming By Example

Get full-text (via PubEx)

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

2020 IEEE International Conference on Big Data (Big Data) ◽

10.1109/bigdata50022.2020.9377818 ◽

2020 ◽

Author(s):

Hiroko Nagashima ◽

Yuka Kato

Keyword(s):

Data Imputation ◽

Imputation Model ◽

Model Based ◽

Programming By Example

Get full-text (via PubEx)

Guiding dynamic programing via structural probability for accelerating programming by example

Proceedings of the ACM on Programming Languages ◽

10.1145/3428292 ◽

2020 ◽

Vol 4 (OOPSLA) ◽

pp. 1-29

Author(s):

Ruyi Ji ◽

Yican Sun ◽

Yingfei Xiong ◽

Zhenjiang Hu

Keyword(s):

Dynamic Programing ◽

Programming By Example

Get full-text (via PubEx)

AESOP: Adaptive Event detection SOftware using Programming by example

2015 IEEE International Symposium on Technologies for Homeland Security (HST) ◽

10.1109/ths.2015.7225262 ◽

2015 ◽

Author(s):

Ashwin Thangali ◽

Harsha Prasad ◽

Sai Kethamakka ◽

David Demirdjian ◽

Neal Checka

Keyword(s):

Event Detection ◽

Programming By Example ◽

Detection Software

Get full-text (via PubEx)

Language constructs for programming by example

Proceedings of the third ACM-SIGOIS conference on Office automation systems - ◽

10.1145/15433.15858 ◽

1986 ◽

Author(s):

Robert V. Rubin

Keyword(s):

Language Constructs ◽

Programming By Example

Get full-text (via PubEx)

Programming by Example

Encyclopedia of Machine Learning ◽

10.1007/978-0-387-30164-8_674 ◽

2011 ◽

pp. 805-805

Author(s):

Thomas Zeugmann ◽

Pascal Poupart ◽

James Kennedy ◽

Xin Jin ◽

Jiawei Han ◽

...

Keyword(s):

Programming By Example

Get full-text (via PubEx)

Programming-by-example for audio: synthesizing digital signal processing programs

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design - FARM 2018 ◽

10.1145/3242903.3242906 ◽

2018 ◽

Cited By ~ 1

Author(s):

Mark Santolucito ◽

Kate Rogers ◽

Aedan Lombardo ◽

Ruzica Piskac

Keyword(s):

Signal Processing ◽

Digital Signal Processing ◽

Digital Signal ◽

Programming By Example

Get full-text (via PubEx)

Live Programming By Example

Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems - CHI EA '19 ◽

10.1145/3290607.3313266 ◽

2019 ◽

Cited By ~ 1

Author(s):

Mark Santolucito ◽

William T. Hallahan ◽

Ruzica Piskac

Keyword(s):

Programming By Example ◽

Live Programming

Get full-text (via PubEx)

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

2019 IEEE International Conference on Big Data (Big Data) ◽

10.1109/bigdata47090.2019.9006578 ◽

2019 ◽

Author(s):

Hiroko Nagashima ◽

Yuka Kato

Keyword(s):

Imputation Method ◽

Data Imputation ◽

Programming By Example

Get full-text (via PubEx)

Predicting a Correct Program in Programming by Example

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_23 ◽

2015 ◽

pp. 398-414 ◽

Cited By ~ 17

Author(s):

Rishabh Singh ◽

Sumit Gulwani

Keyword(s):

Programming By Example ◽

Correct Program

Get full-text (via PubEx)