Search Results - Automatic Programming – Program transformation

Improving the numerical accuracy of programs by automatic transformation by Damouche, Nasrine, Martel, Matthieu, Chapoutot, Alexandre

“…The dangers of programs performing floating-point computations are well known. This is due to the sensitivity of the results to the way formulæ are written…”
Get full text

Automatic verification of behavior preservation at the transformation level for relational model transformation by Dyck, Johannes, Giese, Holger, Lambers, Leen

“…, for a given source and target model specified by the model transformation. However, until now there is no sound and automatic verification approach available at the transformation level, i.e…”
Get full text

Automatic differentiation for ML-family languages: Correctness via logical relations by Lucatelli Nunes, Fernando, Vákár, Matthijs

“… We demonstrate it by working out the case of automatic differentiation (AD) correctness: namely, we present a correctness proof of a dual numbers style AD code transformation for realistic functional languages in the ML-family…”
Get full text

Automatic bug localization using a combination of deep learning and model transformation through node classification by Yousofvand, Leila, Soleimani, Seyfollah, Rafe, Vahid

“…Bug localization is the task of automatically locating suspicious commands in the source code. Many automated bug localization approaches have been proposed…”
Get full text

Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations by Smeding, Tom J., Vákár, Matthijs I. L.

“…Where dual-numbers forward-mode automatic differentiation (AD) pairs each scalar value with its tangent value, dual-numbers reverse-mode AD attempts to achieve reverse AD using a similarly simple idea…”
Get full text

Automatic validation of code-improving transformations on low-level program representations by van Engelen, Robert, Whalley, David, Yuan, Xin

“…This paper presents a general approach for automatically validating code-improving transformations on low-level program representations…”
Get full text

Logic program proportions: Logic program proportions by Antić, Christian

“… into S ” as a mechanism for deriving similar programs by analogy-making. The idea is to instantiate a fragment of a recently introduced abstract algebraic framework of analogical proportions in the domain of logic programming…”
Get full text

Feedback-driven semi-supervised synthesis of program transformations by Gao, Xiang, Barke, Shraddha, Radhakrishna, Arjun, Soares, Gustavo, Gulwani, Sumit, Leung, Alan, Nagappan, Nachiappan, Tiwari, Ashish

“…While editing code, it is common for developers to make multiple related repeated edits that are all instances of a more general program transformation…”
Get full text

Mossad: defeating software plagiarism detection by Devore-McDonald, Breanna, Berger, Emery D.

“… This paper shows this is not the case. It presents an entirely automatic program transformation approach, MOSSAD, that defeats popular software plagiarism detection tools…”
Get full text

Applying MDE to the (semi-)automatic development of model transformations by Bollati, Verónica Andrea, Vara, Juan Manuel, Jiménez, Álvaro, Marcos, Esperanza

“…Model transformations play a key role in any software development project based on Model-Driven Engineering principles…”
Get full text

Neural Network Approach to Program Synthesis for Tabular Transformation by Example by Ujibashi, Yoshifumi, Takasu, Atsuhiro

“…Data transformation is a laborious and time-consuming task for analysts. Programming by example (PBE…”
Get full text

Mixed-language automatic differentiation by Pascual, Valérie, Hascoët, Laurent

“…As Automatic Differentiation (AD) usage is spreading to larger and more sophisticated applications, problems arise for codes that use several programming languages…”
Get full text

Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies by Girbal, Sylvain, Vasilache, Nicolas, Bastoul, Cédric, Cohen, Albert, Parello, David, Sigler, Marc, Temam, Olivier

“… This challenge is addressed by working on the program representation itself, using a semi-automatic optimization approach to demonstrate that current compilers offen suffer from unnecessary…”
Get full text

Instrumentation of C++ Programs Using Automatic Source Code Transformations by Parragi, Z., Porkolab, Z.

“… Some of these tools work on the source code of the program, analyzing, measuring or transforming…”
Get full text

Automatic transformation of iterative loops into recursive methods by Insa, David, Silva, Josep

“… The transformation is described for the programming…”
Get full text

From Logic to Functional Logic Programs by HANUS, MICHAEL

“… By mapping logic programs into functional logic programs with a transformation based on inferring functional dependencies, we develop a fully automatic transformation which keeps the flexibility…”
Get full text

Automatic segmentation of coronary tree in CT angiography images by Gao, Zhifan, Liu, Xin, Qi, Song, Wu, Wanqing, Hau, William Kongto, Zhang, Heye

“…Summary In this study, we proposed an automatic approach to segment the three‐dimensional coronary tree from computed tomography angiography (CTA) image data…”
Get full text

Transformation-based diagnosis of student programs for programming tutoring systems by Xu, Songwen, Chee, Yam San

“… This paper describes a transformation-based approach to automate the diagnosis of students' programs for programming tutoring systems…”
Get full text

XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications by Arshad, Hamed, Horne, Ross, Johansen, Christian, Owe, Olaf, Willemse, Tim A.C.

“… Hence, this paper presents XACML2mCRL2, a tool for the automatic translation of XACML access control policies into mCRL2…”
Get full text

A Generic Approach to Automatic Deobfuscation of Executable Code by Yadegari, Babak, Johannesmeyer, Brian, Whitely, Ben, Debray, Saumya

“… used, but instead uses semantics-preserving program transformations to simplify away obfuscation code…”
Get full text