World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
41
Citations
10797
World Ranking
8651
National Ranking
3709

Research.com Recognitions

  • 2019 - ACM Distinguished Member
  • 2017 - ACM Senior Member

Overview

Yuriy Brun is affiliated with the University of Massachusetts Amherst in the United States. Their research primarily lies within the broad field of Computer Science, with a strong focus on several subfields such as Artificial Intelligence, Information Systems, Software, Computer Vision and Pattern Recognition, and Signal Processing.

The main topics covered by Yuriy Brun's body of work include Software Engineering Research, Software Testing and Debugging Techniques, Logic, Programming, and Type Systems, Advanced Malware Detection Techniques, Ethics and Social Impacts of AI, Adversarial Robustness in Machine Learning, and Data Visualization and Analytics.

Yuriy Brun has published extensively in a variety of academic venues. Frequent publication venues include:

  • arXiv (Cornell University)
  • ACM Transactions on Software Engineering and Methodology
  • IEEE Transactions on Software Engineering
  • Proceedings of the ACM on Programming Languages
  • Proceedings of the 44th International Conference on Software Engineering

Some of the recent papers authored or coauthored by Yuriy Brun are:

  • "Quality of Automated Program Repair on Real-World Defects" (2020) published in IEEE Transactions on Software Engineering
  • "Visualizing Distributed System Executions" (2020) published in ACM Transactions on Software Engineering and Methodology
  • "TacTok: semantics-aware proof synthesis" (2020) published in Proceedings of the ACM on Programming Languages
  • "Diversity-driven automated formal verification" (2022) published in Proceedings of the 44th International Conference on Software Engineering
  • "Passport: Improving Automated Formal Verification Using Identifiers" (2023) published in ACM Transactions on Programming Languages and Systems

Frequent collaborators in their research include the following individuals:

  • Emily First
  • Zhanna Kaufman
  • Talia Ringer
  • Alex Sanchez-Stern
  • Cindy Xiong

Yuriy Brun has been recognized by the Association for Computing Machinery (ACM) with distinctions such as ACM Distinguished Member in 2019 and ACM Senior Member in 2017.

Best Publications

  • Software Engineering for Self-Adaptive Systems : A Second Research Roadmap

    Rogério de Lemos;Holger Giese;Hausi A. Müller;Mary Shaw

  • Software Engineering for Self-Adaptive Systems: A Research Roadmap

    Betty H. Cheng;Rogério Lemos;Holger Giese;Paola Inverardi

  • Engineering Self-Adaptive Systems through Feedback Loops

    Yuriy Brun;Giovanna Marzo Serugendo;Cristina Gacek;Holger Giese

  • Fairness testing: testing software for discrimination

    Sainyam Galhotra;Yuriy Brun;Alexandra Meliou

  • Is the cure worse than the disease? overfitting in automated program repair

    Edward K. Smith;Earl T. Barr;Claire Le Goues;Yuriy Brun

  • The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs

    Claire Le Goues;Neal Holtschulte;Edward K. Smith;Yuriy Brun

  • Proactive detection of collaboration conflicts

    Yuriy Brun;Reid Holmes;Michael D. Ernst;David Notkin

  • Leveraging existing instrumentation to automatically infer invariant-constrained models

    Ivan Beschastnikh;Yuriy Brun;Sigurd Schneider;Michael Sloan

  • Repairing Programs with Semantic Code Search (T)

    Yalin Ke;Kathryn T. Stolee;Claire Le Goues;Yuriy Brun

  • Finding latent code errors via machine learning over program executions

    Yuriy Brun;Michael D. Ernst

  • The plastic surgery hypothesis

    Earl T. Barr;Yuriy Brun;Premkumar Devanbu;Mark Harman

  • Inferring models of concurrent systems from logs of their behavior with CSight

    Ivan Beschastnikh;Yuriy Brun;Michael D. Ernst;Arvind Krishnamurthy

  • Software fairness

    Unknown

  • Preventing undesirable behavior of intelligent machines.

    Philip S. Thomas;Bruno Castro da Silva;Andrew G. Barto;Stephen Giguere

  • Arithmetic computation in the tile assembly model: Addition and multiplication

    Yuriy Brun

  • Software engineering for self-adaptive systems: research challenges in the provision of assurances

    Rogério de Lemos;David Garlan;Carlo Ghezzi;Holger Giese

  • Early Detection of Collaboration Conflicts and Risks

    Yuriy Brun;Reid Holmes;Michael D. Ernst;David Notkin

  • That's What She Said: Double Entendre Identification

    Chloe Kiddon;Yuriy Brun

  • Automatic mining of specifications from invocation traces and method invariants

    Ivo Krka;Yuriy Brun;Nenad Medvidovic

  • Solving NP-complete problems in the tile assembly model

    Yuriy Brun

  • The four-color theorem

    Yuriy Brun

Frequent Co-Authors

Nenad Medvidovic
Nenad Medvidovic University of Southern California
Michael D. Ernst
Michael D. Ernst University of Washington
David Notkin
David Notkin University of Washington
Leon J. Osterweil
Leon J. Osterweil University of Massachusetts Amherst
Mary Shaw
Mary Shaw Carnegie Mellon University
Marin Litoiu
Marin Litoiu York University
Claire Le Goues
Claire Le Goues Carnegie Mellon University
Arvind Krishnamurthy
Arvind Krishnamurthy University of Washington
Hausi A. Müller
Hausi A. Müller University of Victoria
Luciano Baresi
Luciano Baresi Polytechnic University of Milan

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education options can open diverse career pathways for students interested in Computer Science and related fields. Today, many universities offer flexible online programs that allow you to balance studies with work or personal commitments.

For those aiming to specialize in big data and analytics, consider a program among the best data science masters online. These degrees provide critical skills in machine learning, statistics, and data visualization—often at a fraction of the on-campus cost.

If you are interested in project leadership and infrastructure, pursuing an online degree for construction management can help you launch or advance your career in this booming industry. Many of these programs are designed for working professionals.

Those looking to combine technical expertise with business acumen may benefit from a cheap mba online. These programs can be completed faster and more affordably than traditional MBAs, helping you progress quickly.

For maximum flexibility and speed, explore 1 year online masters programs. These intensive options let you earn a graduate degree in record time, accelerating your entry into new technical or managerial roles.

Best Scientists Citing Yuriy Brun

Trending Scientists