Cross-language code search using static and dynamic analyses

Mathew, George; Stolee, Kathryn T.

doi:10.1145/3468264.3468538

Cited by 24 publications

(4 citation statements)

References 82 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…FaCoY , Aroma (Luan et al, 2019), COSAL (Mathew & Stolee, 2021) Corder (Bui et al, 2021b), Cosco (Saieva et al, 2023) Code Completion BMN (Bruch et al, 2009), MSE (Hindle et al, 2012), Naturalize , Cache LM (Tu et al, 2014), DeepSyn (Raychev et al, 2016b), PHOG , Deep3 (Raychev et al, 2016a), Hellendoorn & Devanbu (2017) , White et al (2015), Pointer Mixture Network ), Parvez et al (2018, SLM (Alon et al, 2020), Pythia (Svyatkovskiy et al, 2019), NLM IntelliCode , CugLM , eWASH , LongCoder Code Translation lpSMT (Nguyen et al, 2013), Karaivanov et al (2014), mppSMT (Nguyen et al, 2015) Tree2Tree , Grammar Tree2Tree (Drissi et al, 2018) TransCoder (Rozière et al, 2020), TransCoder-ST (Rozière et al, 2022, TransCoder-IR (Szafraniec et al, 2023), BabelTower (Wen et al, 2022), SDA-Trans , Self-Debugging (Chen et al, 2023c), CoTran (Jana et al, 2023), MuST (Zhu et al, 2022b) , BIKER , , SAR (Bui et al, 2019) HaPiM (Zhou et al, 2023b) Cloze Test…”

Section: Code Searchmentioning

confidence: 99%

School of Mechanical Engineering, Shanghai Jiao Tong University, 200240, Shanghai, China

Zhuang

Huang

et al. 2019

Mathematical Biosciences and Engineering

View full text Add to dashboard Cite

The crystallization kinetics and melting behavior of nylon 10,10 in neat nylon 10,10 and in nylon 10,10 -montmorillonite (MMT) nanocomposites were systematically investigated by differential scanning calorimetry. The crystallization kinetics results show that the addition of MMT facilitated the crystallization of nylon 10,10 as a heterophase nucleating agent; however, when the content of MMT was high, the physical hindrance of MMT layers to the motion of nylon 10,10 chains retarded the crystallization of nylon 10,10, which was also confirmed by polarized optical microscopy. However, both nylon 10,10 and nylon 10,10 -MMT nanocomposites exhibited multiple melting be-havior under isothermal and nonisothermal crystallization conditions. The temperature of the lower melting peak (peak I) was independent of MMT content and almost remained constant; however, the temperature of the highest melting peak (peak II) decreased with increasing MMT content due to the physical hindrance of MMT layers to the motion of nylon 10,10 chains.

show abstract

Section: Code Searchmentioning

confidence: 99%

School of Mechanical Engineering, Shanghai Jiao Tong University, 200240, Shanghai, China

Zhuang

Huang

et al. 2019

Mathematical Biosciences and Engineering

View full text Add to dashboard Cite

show abstract

“…Code search techniques [1,21,25,26,33,38,39] repair a given erroneous program using code snippets. However, these methods have no knowledge of the program's structure where that code fragment came from.…”

Section: Related Workmentioning

confidence: 99%

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

Orvalho¹,

Janota²,

Manquinho³

2022

Preprint

View full text Add to dashboard Cite

Due to the vast number of students enrolled in Massive Open Online Courses (MOOCs), there has been an increasing number of automated program repair techniques focused on introductory programming assignments (IPAs). Such state-of-the-art techniques use program clustering to take advantage of previous correct student implementations to repair a given new incorrect submission. Usually, these repair techniques use clustering methods since analyzing all available correct student submissions to repair a program is not feasible. The clustering methods use program representations based on several features such as abstract syntax tree (AST), syntax, control flow, and data flow. However, these features are sometimes brittle when representing semantically similar programs.This paper proposes InvAASTCluster, a novel approach for program clustering that takes advantage of dynamically generated program invariants observed over several program executions to cluster semantically equivalent IPAs. Our main objective is to find a more suitable representation of programs using a combination of the program's semantics, through its invariants, and its structure, through its anonymized abstract syntax tree. The evaluation of InvAASTCluster shows that the proposed program representation outperforms syntax-based representations when clustering a set of different correct IPAs. Furthermore, we integrate InvAASTCluster into a state-of-the-art clustering-based program repair tool and evaluate it on a set of IPAs. Our results show that InvAASTCluster advances the current state-of-the-art when used by clustering-based program repair tools by repairing a larger number of students' programs in a shorter amount of time.

show abstract

“…We can also improve the current factors, such as algorithmic structure, which our binary classification treats broadly. A more quantitative approach like cross-language AST similarity [27], or the decomposition of the structure into small features, could refine results.…”

Section: A Impact Of Design and Contextmentioning

confidence: 99%

Understanding Similar Code through Comparative Comprehension

Middleton

Stolee

2022

2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

Self Cite

View full text Add to dashboard Cite

Any problem in code may have multiple solutions that differ in details large and small. Because modern software development is characterized by an abundance of searchable and reusable code, effective developers must be able to judge not only the meaning of new algorithms but also the differences between alternatives. Therefore, we use a multi-method study to explore how developers perform comparative comprehensionthe cognitive activity of understanding how algorithms behave relative to each other.To explore how developers compare code, we performed a controlled experiment with 16 developers in a mixed think-aloud and interview format and another 95 developers in a survey format. In this experiment, participants investigated whether a pair of code snippets would demonstrate equivalent behavior when run, controlling for differences in behavior, programming languages, algorithmic structures, and meaningful names. Overall, our results describe how comparison fits into learning, reviewing, and reusing code. Our task observations shed light on how developers move between code similarities at different levels-textual, structural, and schematic-when simultaneously inspecting multiple snippets. In our experiment, developers made more accurate conclusions about behavior given similar languages and structures, with names acting as additional evidence in interaction with other cues, but they also overestimated whether behavior is equivalent in many cases. From this, we identify challenges developers face in comprehending alternatives and we highlight opportunities to better support developers in comparison activities.

show abstract

Cross-language code search using static and dynamic analyses

Cited by 24 publications

References 82 publications

School of Mechanical Engineering, Shanghai Jiao Tong University, 200240, Shanghai, China

School of Mechanical Engineering, Shanghai Jiao Tong University, 200240, Shanghai, China

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

Understanding Similar Code through Comparative Comprehension

Contact Info

Product

Resources

About