Miltiadis Allamanis

87 papers A* 16A 4Misc 1Journal 49Unranked 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
Disproving Program Equivalence with LLMs.
CoRR
Miltiadis Allamanis, Pengcheng Yin
2024 J jnl
Deep End-to-end Causal Inference.
Trans. Mach. Learn. Res.
Tomas Geffner, Javier Antorán, Adam Foster, Wenbo Gong, Chao Ma, Emre Kiciman, Amit Sharma, Angus Lamb, Martin Kukla, Nick Pawlowski, Agrin Hilmkil, Joel Jennings, Meyer Scetbon, Miltiadis Allamanis, Cheng Zhang
2024 J jnl
Do Large Code Models Understand Programming Concepts? A Black-box Approach.
CoRR
Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha
2024 A* conf
Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates.
ICML
Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha
2024 A* conf
NExT: Teaching Large Language Models to Reason about Code Execution.
ICML
Ansong Ni, Miltiadis Allamanis, Arman Cohan, Yinlin Deng, Kensen Shi, Charles Sutton, Pengcheng Yin
2024 J jnl
NExT: Teaching Large Language Models to Reason about Code Execution.
CoRR
Ansong Ni, Miltiadis Allamanis, Arman Cohan, Yinlin Deng, Kensen Shi, Charles Sutton, Pengcheng Yin
2024 A* conf
Unsupervised Evaluation of Code LLMs with Round-Trip Correctness.
ICML
Miltiadis Allamanis, Sheena Panthaplackel, Pengcheng Yin
2024 J jnl
Unsupervised Evaluation of Code LLMs with Round-Trip Correctness.
CoRR
Miltiadis Allamanis, Sheena Panthaplackel, Pengcheng Yin
2023 — conf
AdaptivePaste: Intelligent Copy-Paste in IDE.
ESEC/SIGSOFT FSE
Xiaoyu Liu, Jinu Jang, Neel Sundaresan, Miltiadis Allamanis, Alexey Svyatkovskiy
2023 J jnl
DIRE and its Data: Neural Decompiled Variable Renamings with Respect to Software Class.
ACM Trans. Softw. Eng. Methodol.
Luke Dramko, Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Graham Neubig, Bogdan Vasilescu, Claire Le Goues
2023 J jnl
Epicure: Distilling Sequence Model Predictions into Patterns.
CoRR
Miltiadis Allamanis, Earl T. Barr
2023 J jnl
JEMMA: An extensible Java dataset for ML4Code applications.
Empir. Softw. Eng.
Anjan Karmakar, Miltiadis Allamanis, Romain Robbes
2022 J jnl
AdaptivePaste: Code Adaptation through Learning Semantics-aware Variable Usage Representations.
CoRR
Xiaoyu Liu, Jinu Jang, Neel Sundaresan, Miltiadis Allamanis, Alexey Svyatkovskiy
2022 J jnl
CODIT: Code Editing With Tree-Based Neural Models.
IEEE Trans. Software Eng.
Saikat Chakraborty, Yangruibo Ding, Miltiadis Allamanis, Baishakhi Ray
2022 A* conf
CoRGi: Content-Rich Graph Neural Networks with Attention.
KDD
Jooyeon Kim, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Cheng Zhang, Miltiadis Allamanis
2022 J jnl
Deep End-to-end Causal Inference.
CoRR
Tomas Geffner, Javier Antorán, Adam Foster, Wenbo Gong, Chao Ma, Emre Kiciman, Amit Sharma, Angus Lamb, Martin Kukla, Nick Pawlowski, Miltiadis Allamanis, Cheng Zhang
2022 J jnl
Embedding and classifying test execution traces using neural networks.
IET Softw.
Foivos Tsimpourlas, Gwenyth Rooijackers, Ajitha Rajan, Miltiadis Allamanis
2022 J jnl
HEAT: Hyperedge Attention Networks.
CoRR
Dobrik Georgiev, Marc Brockschmidt, Miltiadis Allamanis
2022 J jnl
HEAT: Hyperedge Attention Networks.
Trans. Mach. Learn. Res.
Dobrik Georgiev, Marc Brockschmidt, Miltiadis Allamanis
2022 J jnl
Is Surprisal in Issue Trackers Actionable?
CoRR
James Caddy, Markus Wagner, Christoph Treude, Earl T. Barr, Miltiadis Allamanis
2022 J jnl
JEMMA: An Extensible Java Dataset for ML4Code Applications.
CoRR
Anjan Karmakar, Miltiadis Allamanis, Romain Robbes
2022 A* conf
Learning to Complete Code with Sketches.
ICLR
Daya Guo, Alexey Svyatkovskiy, Jian Yin, Nan Duan, Marc Brockschmidt, Miltiadis Allamanis
2022 J jnl
NS3: Neuro-Symbolic Semantic Code Search.
CoRR
Shushan Arakelyan, Anna Hakhverdyan, Miltiadis Allamanis, Christophe Hauser, Luis Garcia, Xiang Ren
2022 A* conf
NS3: Neuro-symbolic Semantic Code Search.
NeurIPS
Shushan Arakelyan, Anna Hakhverdyan, Miltiadis Allamanis, Luis Garcia, Christophe Hauser, Xiang Ren
2022 J jnl
Overwatch: Learning Patterns in Code Edit Sequences.
CoRR
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022 J jnl
Overwatch: learning patterns in code edit sequences.
Proc. ACM Program. Lang.
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022 A* conf
Simultaneous Missing Value Imputation and Structure Learning with Groups.
NeurIPS
Pablo Morales-Alvarez, Wenbo Gong, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Nick Pawlowski, Miltiadis Allamanis, Cheng Zhang
2021 J jnl
CoRGi: Content-Rich Graph Neural Networks with Attention.
CoRR
Jooyeon Kim, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Cheng Zheng, Miltiadis Allamanis
2021 A* conf
Copy That! Editing Sequences by Copying Spans.
AAAI
Sheena Panthaplackel, Miltiadis Allamanis, Marc Brockschmidt
2021 A conf
Fast and Memory-Efficient Neural Code Completion.
MSR
Alexey Svyatkovskiy, Sebastian Lee, Anna Hadjitofi, Maik Riechert, Juliana Vicente Franco, Miltiadis Allamanis
2021 J jnl
Learning to Generate Code Sketches.
CoRR
Daya Guo, Alexey Svyatkovskiy, Jian Yin, Nan Duan, Marc Brockschmidt, Miltiadis Allamanis
2021 A* conf
Self-Supervised Bug Detection and Repair.
NeurIPS
Miltiadis Allamanis, Henry Jackson-Flux, Marc Brockschmidt
2021 J jnl
Self-Supervised Bug Detection and Repair.
CoRR
Miltiadis Allamanis, Henry Jackson-Flux, Marc Brockschmidt
2021 Misc conf
Supervised learning over test executions as a test oracle.
SAC
Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis
2021 J jnl
VICause: Simultaneous Missing Value Imputation and Causal Discovery with Groups.
CoRR
Pablo Morales-Alvarez, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Miltiadis Allamanis, Cheng Zhang
2020 J jnl
Copy that! Editing Sequences by Copying Spans.
CoRR
Sheena Panthaplackel, Miltiadis Allamanis, Marc Brockschmidt
2020 J jnl
Fast and Memory-Efficient Neural Code Completion.
CoRR
Alexey Svyatkovskiy, Sebastian Lee, Anna Hadjitofi, Maik Riechert, Juliana Franco, Miltiadis Allamanis
2020 — conf
Flexeme: untangling commits using lexical flows.
ESEC/SIGSOFT FSE
Profir-Petru Pârtachi, Santanu Kumar Dash, Miltiadis Allamanis, Earl T. Barr
2020 J jnl
Learning to Encode and Classify Test Executions.
CoRR
Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis
2020 J jnl
Typilus: Neural Type Hints.
CoRR
Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao
2020 A* conf
Typilus: neural type hints.
PLDI
Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao
2019 J jnl
CodeSearchNet Challenge: Evaluating the State of Semantic Code Search.
CoRR
Hamel Husain, Ho-Hsiang Wu, Tiferet Gazit, Miltiadis Allamanis, Marc Brockschmidt
2019 A* conf
DIRE: A Neural Approach to Decompiled Identifier Naming.
ASE
Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu
2019 J jnl
DIRE: A Neural Approach to Decompiled Identifier Naming.
CoRR
Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu
2019 — conf
Generative Code Modeling with Graphs.
ICLR (Poster)
Marc Brockschmidt, Miltiadis Allamanis, Alexander L. Gaunt, Oleksandr Polozov
2019 — conf
Learning to Represent Edits.
ICLR (Poster)
Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
2019 — conf
Learning units-of-measure from scientific code.
SE4Science@ICSE
Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard
2019 A* conf
Program Synthesis and Semantic Parsing with Learned Code Idioms.
NeurIPS
Eui Chul Richard Shin, Miltiadis Allamanis, Marc Brockschmidt, Alex Polozov
2019 J jnl
Program Synthesis and Semantic Parsing with Learned Code Idioms.
CoRR
Richard Shin, Miltiadis Allamanis, Marc Brockschmidt, Oleksandr Polozov
2019 — conf
Structured Neural Summarization.
ICLR (Poster)
Patrick Fernandes, Miltiadis Allamanis, Marc Brockschmidt
2019 — conf
The adverse effects of code duplication in machine learning models of code.
Onward!
Miltiadis Allamanis
2018 J jnl
A Survey of Machine Learning for Big Code and Naturalness.
ACM Comput. Surv.
Miltiadis Allamanis, Earl T. Barr, Premkumar T. Devanbu, Charles Sutton
2018 A* conf
Constrained Graph Variational Autoencoders for Molecule Design.
NeurIPS
Qi Liu, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
2018 J jnl
Constrained Graph Variational Autoencoders for Molecule Design.
CoRR
Qi Liu, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
2018 — conf
Deep learning type inference.
ESEC/SIGSOFT FSE
Vincent J. Hellendoorn, Christian Bird, Earl T. Barr, Miltiadis Allamanis
2018 J jnl
Generative Code Modeling with Graphs.
CoRR
Marc Brockschmidt, Miltiadis Allamanis, Alexander L. Gaunt, Oleksandr Polozov
2018 J jnl
Learning to Represent Edits.
CoRR
Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
2018 — conf
Learning to Represent Programs with Graphs.
ICLR
Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi
2018 J jnl
Mining Semantic Loop Idioms.
IEEE Trans. Software Eng.
Miltiadis Allamanis, Earl T. Barr, Christian Bird, Premkumar T. Devanbu, Mark Marron, Charles Sutton
2018 — conf
Modelling Natural Language, Programs, and their Intersection.
NAACL-HLT (Tutorial Abstracts)
Graham Neubig, Miltiadis Allamanis
2018 — conf
RefiNym: using names to refine types.
ESEC/SIGSOFT FSE
Santanu Kumar Dash, Miltiadis Allamanis, Earl T. Barr
2018 J jnl
Structured Neural Summarization.
CoRR
Patrick Fernandes, Miltiadis Allamanis, Marc Brockschmidt
2018 J jnl
The Adverse Effects of Code Duplication in Machine Learning Models of Code.
CoRR
Miltiadis Allamanis
2018 J jnl
Tree2Tree Neural Translation Model for Learning Source Code Changes.
CoRR
Saikat Chakraborty, Miltiadis Allamanis, Baishakhi Ray
2017 J jnl
A Survey of Machine Learning for Big Code and Naturalness.
CoRR
Miltiadis Allamanis, Earl T. Barr, Premkumar T. Devanbu, Charles Sutton
2017 J jnl
Autofolding for Source Code Summarization.
IEEE Trans. Software Eng.
Jaroslav M. Fowkes, Pankajan Chanthirasegaran, Razvan Ranca, Miltiadis Allamanis, Mirella Lapata, Charles Sutton
2017 A* conf
Learning Continuous Semantic Representations of Symbolic Expressions.
ICML
Miltiadis Allamanis, Pankajan Chanthirasegaran, Pushmeet Kohli, Charles Sutton
2017 — —
Learning natural coding conventions
Miltiadis Allamanis
2017 J jnl
Learning to Represent Programs with Graphs.
CoRR
Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi
2017 J jnl
SmartPaste: Learning to Adapt Source Code.
CoRR
Miltiadis Allamanis, Marc Brockschmidt
2016 A* conf
A Convolutional Attention Network for Extreme Summarization of Source Code.
ICML
Miltiadis Allamanis, Hao Peng, Charles Sutton
2016 J jnl
A Convolutional Attention Network for Extreme Summarization of Source Code.
CoRR
Miltiadis Allamanis, Hao Peng, Charles Sutton
2016 J jnl
Learning Continuous Semantic Representations of Symbolic Expressions.
CoRR
Miltiadis Allamanis, Pankajan Chanthirasegaran, Pushmeet Kohli, Charles Sutton
2016 — conf
TASSAL: autofolding for source code summarization.
ICSE (Companion Volume)
Jaroslav M. Fowkes, Pankajan Chanthirasegaran, Razvan Ranca, Miltiadis Allamanis, Mirella Lapata, Charles Sutton
2016 J jnl
Tailored Mutants Fit Bugs Better.
CoRR
Miltiadis Allamanis, Earl T. Barr, René Just, Charles Sutton
2015 A* conf
Bimodal Modelling of Source Code and Natural Language.
ICML
Miltiadis Allamanis, Daniel Tarlow, Andrew D. Gordon, Yi Wei
2015 J jnl
Inducing Generalized Multi-Label Rules with Learning Classifier Systems.
CoRR
Fani A. Tzima, Miltiadis Allamanis, Alexandros Filotheou, Pericles A. Mitkas
2015 — conf
Suggesting accurate method and class names.
ESEC/SIGSOFT FSE
Miltiadis Allamanis, Earl T. Barr, Christian Bird, Charles Sutton
2014 J jnl
Autofolding for Source Code Summarization.
CoRR
Jaroslav M. Fowkes, Razvan Ranca, Miltiadis Allamanis, Mirella Lapata, Charles Sutton
2014 J jnl
Learning Natural Coding Conventions.
CoRR
Miltiadis Allamanis, Earl T. Barr, Charles Sutton
2014 — conf
Learning natural coding conventions.
SIGSOFT FSE
Miltiadis Allamanis, Earl T. Barr, Christian Bird, Charles Sutton
2014 J jnl
Mining Idioms from Source Code.
CoRR
Miltiadis Allamanis, Charles Sutton
2014 — conf
Mining idioms from source code.
SIGSOFT FSE
Miltiadis Allamanis, Charles Sutton
2013 — conf
Effective Rule-Based Multi-label Classification with Learning Classifier Systems.
ICANNGA
Miltiadis Allamanis, Fani A. Tzima, Pericles A. Mitkas
2013 A conf
Mining source code repositories at massive scale using language modeling.
MSR
Miltiadis Allamanis, Charles Sutton
2013 A conf
Why, when, and what: analyzing stack overflow questions by topic, type, and code.
MSR
Miltiadis Allamanis, Charles Sutton
2012 A conf
Evolution of a location-based online social network: analysis and models.
Internet Measurement Conference
Miltiadis Allamanis, Salvatore Scellato, Cecilia Mascolo