◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Miloš Gligorić

22 papers hereh-index 293k citations107 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author8
  • last author14

Across the 22 of 22 papers where every author was matched, so the position is known.

fields
  • cs.SE13
  • cs.CL4
  • cs.PL3
  • cs.HC1
  • cs.LO1

identity via Semantic Scholar / OpenAlex

activity
20182026
most citedQED at Large: A Survey of Engineering of Formally Verified Software

49 citations · 89 across the 20 of their papers we have counts for

collaborators
Showing 2021Show all

4 papers · 1 filter

cs.CL2021

Learning to Describe Solutions for Bug Reports Based on Developer Discussions

Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric +1

When a software bug is reported, developers engage in a discussion to collaboratively resolve it. While the solution is likely formulated within the discussion, it is often buried…

cs.SE2021

Impact of Evaluation Methodologies on Code Summarization

Pengyu Nie, Jiyang Zhang, Junyi Jessy Li +2

There has been a growing interest in developing machine learning (ML) models for code summarization tasks, e.g., comment generation and method naming. Despite substantial increase…

cs.CL2021★ 2 cited

Learning to Generate Code Comments from Class Hierarchies

Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie +3

Descriptive code comments are essential for supporting code comprehension and maintenance. We propose the task of automatically generating comments for overriding methods. We formu…

cs.PL2021

Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning

Pengyu Nie, Karl Palmskog, Junyi Jessy Li +1

Naming conventions are an important concern in large verification projects using proof assistants, such as Coq. In particular, lemma names are used by proof engineers to effectivel…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.