Fetching the paper…
Reading the bibliography…
Gradual typing enables developers to annotate types of their own choosing, offering a flexible middle ground between no type annotations and a fully statically typed language.
A coefficient of agreement for nominal scales
Jacob Cohen. 1960 · 1960
Earlier work this paper cites.
The discovery of grounded theory; strategies for qualitative research
Barney G Glaser, Anselm L Strauss, and Elizabeth Strutzel. 1968 · 1968
Earlier work this paper cites.
The Measurement of Observer Agreement for Categorical Data
J. Richard Landis and Gary G. Koch. 1977 · 1977
Earlier work this paper cites.
Isolating cause-effect chains from computer programs
Andreas Zeller. 2002 · 2002
Earlier work this paper cites.
Gradual Typing for Objects. In ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings (Lecture Notes in Computer Science, Vol. 4609) , Erik Ernst (Ed.). Springer, 2–27
Jeremy G. Siek and Walid Taha. 2007 · 2007
Earlier work this paper cites.
GenProg: A Generic Method for Automatic Software Repair
Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer. 2012 · 2012
Earlier work this paper cites.
Automatic patch generation learned from human-written patches.. In International Conference on Software Engineering (ICSE) . 802–811
Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim. 2013 · 2013
Earlier work this paper cites.
SemFix: program repair via semantic analysis. In 35th International Conference on Software Engineering, ICSE ’13, San Francisco, CA, USA, May 18-26, 2013 . 772–781
Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013 · 2013
Earlier work this paper cites.
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis . 24–36
Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. 2015 · 2015
Earlier work this paper cites.
Angelix: Scalable multiline program patch synthesis via symbolic analysis. In Proceedings of the 38th international conference on software engineering . 691–701
Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2016 · 2016
Earlier work this paper cites.
A survey on software fault localization
W Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, and Franz Wotawa. 2016 · 2016
Earlier work this paper cites.
Python probabilistic type inference with natural language support. In Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016 . 607–618
Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, and Baowen Xu. 2016 · 2016
Earlier work this paper cites.
Automatically Reducing Tree-Structured Test Inputs. In ASE
Satia Herfert, Jibesh Patra, and Michael Pradel. 2017 · 2017
Earlier work this paper cites.
Learning to Represent Programs with Graphs. In International Conference on Learning Representations (ICLR)
Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi. 2018 · 2018
Earlier work this paper cites.
Deep learning type inference. In Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018 , Gary T. Leavens, Alessandro Garcia, and Corina S. Pasareanu (Eds.). ACM, 152–162
Vincent J. Hellendoorn, Christian Bird, Earl T. Barr, and Miltiadis Allamanis. 2018 · 2018
Earlier work this paper cites.
SentencePiece: A simple and language independent subword tokenizer and detokenizer for Neural Text Processing. In Conference on Empirical Methods in Natural Language Processing
Taku Kudo and John Richardson. 2018 · 2018
Earlier work this paper cites.
DeepBugs: A learning approach to name-based bug detection
Michael Pradel and Koushik Sen. 2018 · 2018
Earlier work this paper cites.
Perses: syntax-guided program reduction. In Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018 , Michel Chaudron, Ivica Crnkovic, Marsha Chechik, and Mark Harman (Eds.). ACM, 361–371
Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, and Zhendong Su. 2018 · 2018
Earlier work this paper cites.
Getafix: Learning to Fix Bugs Automatically. In OOPSLA . 159:1–159:27
Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra. 2019 · 2019
Earlier work this paper cites.
Phoenix: Automated data-driven synthesis of repairs for static analysis violations. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . 613–624
Rohan Bavishi, Hiroaki Yoshida, and Mukul R Prasad. 2019 · 2019
Cited alongside, same era.
SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Zimin Chen, Steve Kommrusch, Michele Tufano, Louis-Noël Pouchet, Denys Poshyvanyk, and Martin Monperrus. 2019 · 2019
Cited alongside, same era.
Automated program repair
Claire Le Goues, Michael Pradel, and Abhik Roychoudhury. 2019 · 2019
Cited alongside, same era.
NL2Type: Inferring JavaScript function types from natural language information. In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 . 304–315
Rabee Sohail Malik, Jibesh Patra, and Michael Pradel. 2019 · 2019
Cited alongside, same era.
Ahmed Elnaggar, Wei Ding, Llion Jones, Tom Gibbs, Tamas Feher, Christoph Angerer, Silvia Severini, Florian Matthes, and Burkhard Rost. 2021 · 2021
Later among the works it cites.
An empirical study of flaky tests in python. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) . IEEE, 148–158
Martin Gruber, Stephan Lukasczyk, Florian Kroiß, and Gordon Fraser. 2021 · 2021
Later among the works it cites.
GraphCodeBERT: Pre-training Code Representations with Data Flow. In 9th International Conference on Learning Representations, ICLR 2021, Virtual Event, Austria, May 3-7, 2021 . OpenReview.net
Daya Guo, Shuo Ren, Shuai Lu, Zhangyin Feng, Duyu Tang, Shujie Liu, Long Zhou, Nan Duan, Alexey Svyatkovskiy, Shengyu Fu, Michele Tufano, Shao Kun Deng, Colin B. Clement, Dawn Drain, Neel Sundaresan, Jian Yin, Daxin Jiang, and Ming Zhou. 2021 · 2021
Later among the works it cites.
An Empirical Study of Type-Related Defects in Python Projects
Faizan Khan, Boqi Chen, Daniel Varro, and Shane Mcintosh. 2021 · 2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
On learning meaningful code changes via neural machine translation. In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 . 25–36
Michele Tufano, Jevgenija Pantiuchina, Cody Watson, Gabriele Bavota, and Denys Poshyvanyk. 2019 · 2019
Cited alongside, same era.
Neural Program Repair by Jointly Learning to Localize and Repair. In ICLR
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, and Rishabh Singh. 2019 · 2019
Cited alongside, same era.
A Study of Bug Resolution Characteristics in Popular Programming Languages
Jie M. Zhang, Feng Li, Dan Hao, Meng Wang, Hao Tang, Lu Zhang, and Mark Harman. 2021 · 2019
Cited alongside, same era.
Typilus: Neural Type Hints. In PLDI
Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, and Zheng Gao. 2020 · 2020
Cited alongside, same era.
Hoppity: Learning graph transformations to detect and fix bugs in programs. In International Conference on Learning Representations (ICLR)
Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, and Ke Wang. 2020 · 2020
Cited alongside, same era.
CodeBERT: A Pre-Trained Model for Programming and Natural Languages. In Findings of the Association for Computational Linguistics: EMNLP 2020, Online Event, 16-20 November 2020 (Findings of ACL, Vol. EMNLP 2020) , Trevor Cohn, Yulan He, and Yang Liu (Eds.). Association for Computational Linguistics, 1536–1547
Zhangyin Feng, Daya Guo, Duyu Tang, Nan Duan, Xiaocheng Feng, Ming Gong, Linjun Shou, Bing Qin, Ting Liu, Daxin Jiang, and Ming Zhou. 2020 · 2020
Cited alongside, same era.
CoCoNuT: combining context-aware neural translation models using ensemble for program repair. In ISSTA ’20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020 , Sarfraz Khurshid and Corina S. Pasareanu (Eds.). ACM, 101–114
Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, and Lin Tan. 2020 · 2020
Cited alongside, same era.
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings
Diego Marcilio, Carlo A. Furia, Rodrigo Bonifácio, and Gustavo Pinto. 2020 · 2020
Cited alongside, same era.
Demystifying Code Summarization Models
Yu Wang, Fengjuan Gao, and Linzhang Wang. 2021 · 2021
Later among the works it cites.
Qihao Zhu, Zeyu Sun, Yuan-an Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, and Lu Zhang. 2021 · 2021
Later among the works it cites.
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
Zimin Chen, Steve James Kommrusch, and Martin Monperrus. 2022 · 2022
Later among the works it cites.
The Evolution of Type Annotations in Python: An Empirical Study. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Singapore, Singapore) (ESEC/FSE 2022) . Association for Computing Machinery, New York, NY, USA, 209–220
Luca Di Grazia and Michael Pradel. 2022 · 2022
Later among the works it cites.
Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations
Khashayar Etemadi, Nicolas Harrand, Simon Larsén, Haris Adzemovic, Henry Luong Phu, Ashutosh Verma, Fernanda Madeiral, Douglas Wikström, and Martin Monperrus. 2023 · 2022
Later among the works it cites.
Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python. In Proceedings of the 44th International Conference on Software Engineering (Pittsburgh, Pennsylvania) (ICSE ’22) . Association for Computing Machinery, New York, NY, USA, 2241–2252
Amir M. Mir, Evaldas Latoškinas, Sebastian Proksch, and Georgios Gousios. 2022 · 2022
Later among the works it cites.
PyTER: Effective Program Repair for Python Type Errors. In ESEC/FSE
Wonseok Oh and Hakjoo Oh. 2022 · 2022
Later among the works it cites.
What Do They Capture? A Structural Analysis of Pre-Trained Language Models for Source Code. In Proceedings of the 44th International Conference on Software Engineering (Pittsburgh, Pennsylvania) (ICSE ’22) . Association for Computing Machinery, New York, NY, USA, 2377–2388
Yao Wan, Wei Zhao, Hongyu Zhang, Yulei Sui, Guandong Xu, and Hai Jin. 2022 · 2022
Later among the works it cites.
Less training, more repairing please: revisiting automated program repair via zero-shot learning. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022 , Abhik Roychoudhury, Cristian Cadar, and Miryung Kim (Eds.). ACM, 959–971
Chunqiu Steven Xia and Lingming Zhang. 2022 · 2022
Later among the works it cites.
Neural Program Repair with Execution-based Backpropagation. In ICSE
He Ye, Matias Martinez, and Martin Monperrus. 2022 · 2022
Later among the works it cites.
Impact of code language models on automated program repair. In Proceedings of the 45th International Conference on Software Engineering (ICSE 2023). Association for Computing Machinery
Nan Jiang, Kevin Liu, Thibaud Lutellier, and Lin Tan. 2023 · 2023
Later among the works it cites.
Automated program repair in the era of large pre-trained language models. In Proceedings of the 45th International Conference on Software Engineering (ICSE 2023). Association for Computing Machinery
Chunqiu Steven Xia, Yuxiang Wei, and Lingming Zhang. 2023 · 2023
Later among the works it cites.
Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT
Chunqiu Steven Xia and Lingming Zhang. 2023 · 2023
Later among the works it cites.
Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python. In Proceedings of the 44th International Conference on Software Engineering (Pittsburgh, Pennsylvania) (ICSE ’22) . Association for Computing Machinery, New York, NY, USA, 2019–2030
Yun Peng, Cuiyun Gao, Zongjie Li, Bowei Gao, David Lo, Qirun Zhang, and Michael Lyu. 2022 · 2030
Closest in time.