Filters








3,961 Hits in 4.3 sec

Generating Rule Suggestions in PBE Data Transformations

Kuldeep Reddy
2018 International Conference on Information and Knowledge Management  
This paper presents an idea for generating rule suggestions in performing programmingby-example data transformation operations.  ...  This paper proposes two new components in this system a) generating suggestions for new rules based on rules which have been given as input, in particular differences between structures in rule sequences  ...  They key modules are described in more detail below. Generate rule suggestions In the first part of system, the paper proposes a graph structure to store PBE data transformation rules.  ... 
dblp:conf/cikm/Reddy18 fatcat:vmig6pacuffhjarcyhda74xfcq

A Machine Learning Framework for Programming by Example

Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai
2013 International Conference on Machine Learning  
This generic learning framework lets us address problems beyond the scope of earlier PBE systems.  ...  In Programming by Example (PBE), a system attempts to infer a program from input and output examples alone, by searching for a composition of some set of base functions.  ...  While the set of all rules R will be infinite in general, we assume there are a finite number of clues suggesting a finite number of rules, so that R z is finite.  ... 
dblp:conf/icml/MenonTGLK13 fatcat:2tfu3hqei5ghhncnldd54ksfba

Textual Features for Programming by Example [article]

Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
2012 arXiv   pre-print
In Programming by Example, a system attempts to infer a program from input and output examples, generally by searching for a composition of certain base functions.  ...  In text processing, which is our domain of interest, clues arise from simple textual features: for example, if parts of the input and output strings are permutations of one another, this suggests that  ...  This suggests that a rule generating the string "Massachusetts" may be useful.  ... 
arXiv:1209.3811v1 fatcat:pozo3mwt3vb25gcoc7rqovbiwm

User Interaction Models for Disambiguation in Programming by Example

Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin Zorn, Sumit Gulwani
2015 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology - UIST '15  
Because of that, a key impedance in adoption of PBE systems is the lack of user confidence in the correctness of the program that was synthesized by the system.  ...  The other model uses active learning to ask directed example-based questions to the user on the test input data over which the user intends to run the synthesized program.  ...  of the suggested transforms.  ... 
doi:10.1145/2807442.2807459 dblp:conf/uist/MayerSGLMPSZG15 fatcat:uq62mdnznbcrld6dsuv5kh2azm

Foofah

Zhongjun Jin, Michael R. Anderson, Michael Cafarella, H. V. Jagadish
2017 Proceedings of the 2017 ACM International Conference on Management of Data - SIGMOD '17  
We implemented our technique in a system, Foofah, that efficiently searches the space of possible data transformation operations to generate a program that will perform the desired transformation.  ...  Data transformation is a critical first step in modern data analysis: before any analysis can be done, data from a variety of sources must be wrangled into a uniform format that is amenable to the intended  ...  The experiments show that our proposed PBE data transformation program synthesis technique is effective and efficient in generating perfect programs.  ... 
doi:10.1145/3035918.3064034 dblp:conf/sigmod/JinACJ17 fatcat:3lsdcqv2nnamre7z6xxge54ktu

EqFix: Fixing LaTeX Equation Errors by Examples [article]

Fengmin Zhu, Fei He
2021 arXiv   pre-print
In this paper, we present EqFix, a synthesis-based repairing system for LaTeX equations. It employs a set of fixing rules, and can suggest possible repairs for common errors in LaTeX equations.  ...  We evaluate EqFix on real-world examples and find that it can synthesize rules with high generalization ability.  ...  [4] propose a method for example-guided synthesis of recursive data structure transformations in functional programming languages. Nguyen et al.  ... 
arXiv:2107.00613v1 fatcat:kt4mbp2al5f7dp6blbcm3qz3dm

CLX: Towards verifiable PBE data transformation [article]

Zhongjun Jin, Michael Cafarella, H. V. Jagadish, Sean Kandel, Michael Minar, Joseph M. Hellerstein
2019 arXiv   pre-print
We propose a data transformation paradigm design CLX (pronounced "clicks") with a focus on facilitating verification for end users in a PBE-like data transformation.  ...  We experimentally compared the CLX prototype with both FlashFill, a state-of-the-art PBE data transformation tool, and Trifacta, an influential system supporting interactive data transformation.  ...  in PBE, remains a major bottleneck within existing PBE data transformation system designs.  ... 
arXiv:1803.00701v4 fatcat:fzjtmas7hzfxjgu3fuiz7kq7xe

Performance Properties of the Population Bioequivalence Approach for In Vitro Delivered Dose for Orally Inhaled Respiratory Products

Beth Morgan, Helen Strickland
2013 AAPS Journal  
These features suggest that more research is needed for statistical equivalency approaches for in vitro data.  ...  One of the recommended statistical tests for in vitro data is the population bioequivalence method (PBE).  ...  These features of the PBE methodology applied to in vitro delivered dose data, as summarized in this paper, suggest that further research for assessing equivalence is still warranted for in vitro data.  ... 
doi:10.1208/s12248-013-9543-x pmid:24249218 pmcid:PMC3889535 fatcat:zljaorqzcnbppcxqoxqqrwa6cu

An empirical study of cryptographic misuse in android applications

Manuel Egele, David Brumley, Yanick Fratantonio, Christopher Kruegel
2013 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13  
Developers use cryptographic APIs in Android with the intent of securing data such as passwords and personal information on mobile devices.  ...  We then suggest specific remediations based on our analysis towards improving overall cryptographic security in Android applications. 1. An oracle flips a fair coin b = {0, 1}. 2.  ...  Rule 4: Do not use constant salts for PBE.  ... 
doi:10.1145/2508859.2516693 dblp:conf/ccs/EgeleBFK13 fatcat:fdfdo5uccjcpphw2goifz55npi

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

Ian Drosos, Titus Barik, Philip J. Guo, Robert DeLine, Sumit Gulwani
2020 Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems  
This work suggests that presenting readable code to professional data scientists is an indispensable component of offering data wrangling tools in notebooks.  ...  We propose a unifed interaction model based on programming-by-example that generates readable code for a variety of useful data transformations, implemented as a Jupyter notebook extension called WREX.  ...  Acknowledgments We thank Arjun Radhakrishna, Ashish Tiwari, and Andrew Head for helpful discussions about tool and study design, and the data scientists at Microsoft who participated in the interviews  ... 
doi:10.1145/3313831.3376442 dblp:conf/chi/DrososBGDG20 fatcat:tc6v7ujolrauhhsokiellgudl4

On the fly synthesis of edit suggestions

Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
ACKNOWLEDGMENTS The authors would like to thank all members of the Prose team at Microsoft, Mark Wilson-Thomas and his colleagues from Visual Studio IntelliCode, Microsoft developers who participated in  ...  In contrast, Blue-Pencil can generate fully executable transformations.  ...  The key challenge that PBE engines solve is that of generalization: the synthesizer has to generalize from the given input-output examples to learn the transformation intended by the user.  ... 
doi:10.1145/3360569 fatcat:ea5z4cs4fzhp5edomgzwjguk6q

Correlation effects on ground-state properties of ternary Heusler alloys: First-principles study

V. D. Buchelnikov, V. V. Sokolovskiy, O. N. Miroshkina, M. A. Zagrebin, J. Nokelainen, A. Pulkkinen, B. Barbiellini, E. Lähderanta
2019 Physical review B  
Comparisons between SCAN and generalized gradient approximation (GGA) are discussed.  ...  Furthermore, in the case of ferromagnetic and non-magnetic Heusler compounds, GGA and SCAN display similar trends in the total energy as a function of lattice constant and tetragonal ratio.  ...  Generally, in the considered c/a range, the difference between SCAN and PBE for the magnetic moments is about 10 %.  ... 
doi:10.1103/physrevb.99.014426 fatcat:4i4xu2tm7jcoriaqjhxinljbde

Deep API Programmer: Learning to Program with APIs [article]

Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, Pushmeet Kohli
2017 arXiv   pre-print
We present DAPIP, a Programming-By-Example system that learns to program with APIs to perform data transformation tasks.  ...  The DSL consists of three family of APIs: regular expression-based APIs, lookup APIs, and transformation APIs.  ...  This limits the expressiveness of the PBE systems; for example, they do not allow semantic data transformations using arbitrary transformation functions such as obtaining month names from a date or abbreviating  ... 
arXiv:1704.04327v1 fatcat:vmm6t7kpwzexhofvrab7nf66fu

Learning Syntactic Program Transformations from Examples

Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjorn Hartmann
2017 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)  
Example edits may share the same structure but involve different variables and subexpressions, which must be generalized in a transformation at the right level of abstraction.  ...  Automatic program transformation tools can be valuable for programmers to help them with refactoring tasks, and for Computer Science students in the form of tutoring systems that suggest repairs to programming  ...  ACKNOWLEDGMENT This research was supported by the NSF Expeditions in Computing award CCF 1138996, NSF CAREER award IIS 1149799, CNPq/CAPES and a Google CS Capacity Award.  ... 
doi:10.1109/icse.2017.44 dblp:conf/icse/RolimSDPGGSH17 fatcat:a2szaop3z5gkpcik5qg4fdyi24

Learning Syntactic Program Transformations from Examples [article]

Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann
2016 arXiv   pre-print
We present REFAZER, a technique for automatically generating program transformations.  ...  Example edits may share the same structure but involve different variables and subexpressions, which must be generalized in a transformation at the right level of abstraction.  ...  In general, each synthesized rule in the transformation may be applicable to many locations in the code.  ... 
arXiv:1608.09000v1 fatcat:4myfw5l76bdrxoxgtnsh3dsbji
« Previous Showing results 1 — 15 out of 3,961 results