BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Milos Gligoric
SearchCollections
Map detail
Milos Gligoric10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMilos GligoricAMilos GligoricResearcherLearning to Describe Solutions for Bug Reports Based on Developer DiscussionsWLearning to Describe So...preprint / 2022Compiler Testing using Template Java ProgramsWCompiler Testing using ...preprint / 2022Learning to Update Natural Language Comments Based on Code ChangesWLearning to Update Natu...preprint / 2020Inline TestsWInline Testspreprint / 2022Learning to Format Coq Code Using Language ModelsWLearning to Format Coq ...preprint / 2020Deep Generation of Coq Lemma Names Using Elaborated TermsWDeep Generation of Coq ...preprint / 2020QED at Large: A Survey of Engineering of Formally Verified SoftwareWQED at Large: A Survey ...preprint / 2020Impact of Evaluation Methodologies on Code SummarizationWImpact of Evaluation Me...preprint / 2022CoditT5: Pretraining for Source Code and Natural Language EditingWCoditT5: Pretraining fo...preprint / 2022
Person9 links

Milos Gligoric

Researcher

PaperLearning to Describe Solutions for Bug Reports Based on Developer DiscussionsAuthorship / preprint / 2022PaperCompiler Testing using Template Java ProgramsAuthorship / preprint / 2022PaperLearning to Update Natural Language Comments Based on Code ChangesAuthorship / preprint / 2020PaperInline TestsAuthorship / preprint / 2022PaperLearning to Format Coq Code Using Language ModelsAuthorship / preprint / 2020PaperDeep Generation of Coq Lemma Names Using Elaborated TermsAuthorship / preprint / 2020PaperQED at Large: A Survey of Engineering of Formally Verified SoftwareAuthorship / preprint / 2020PaperImpact of Evaluation Methodologies on Code SummarizationAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)