Mike Kaufman

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 6

Top Topics

Conflict Resolution

Program Synthesis

Top Venues

ICSE (Companion Volume)

Publications

Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). ISSTA (2022)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? CoRR (2021)
Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. CoRR (2021)
Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. ICSE (2021)
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk, Chao Wang
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (Companion Volume) (2020)
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Chao Wang
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (SEIP) (2020)