Yuriy Brun

Registered user since Thu 5 May 2016

Name:Yuriy Brun
Bio:

I am a professor with the Manning College of Information and Computer Sciences at the University of Massachusetts. My research interests include software fairness, software self-repair, and formal verification. I received my PhD from the University of Southern California, and was a postdoc at the University of Washington. I am a recipient of the NSF CAREER Award, the SEAMS Most Influential (test of time) Paper Award, the IEEE Computer Society TCSE New Directions Award, the IEEE TCSC Young Achiever in Scalable Computing Award, five Best and Distinguished Paper Awards, a Google Inclusion Research Award and a Google Faculty Research Award, an Amazon Research Award, and a Microsoft Research Software Engineering Innovation Foundation Award. Learn about my most recent work here: https://www.youtube.com/embed/6M2Y3EG4fik

Country:United States
Affiliation:University of Massachusetts
Research interests:software engineering, self-adaptive systems, software discrimination and bias, software testing

Contributions

ICSE 2023 Author of Seldonian Toolkit: Building Software with Safe and Fair Machine Learning within the DEMO - Demonstrations-track
Author of Understanding Why and Predicting When Developers Adhere to Code-Quality Standards within the SEIP - Software Engineering in Practice-track
Author of Proofster: Automated Formal Verification within the DEMO - Demonstrations-track
Author of Better Automatic Program Repair by Using Bug Reports and Tests Together within the Technical Track-track
Author of Blindspots in Python and Java APIs Result in Vulnerable Code within the Journal-First Papers-track
Author of A Replication of "Better Automatic Program Repair by Using Bug Reports and Tests Together" within the Artifact Evaluation-track
Author of AVGUST: A Tool for Generating Usage-Based Tests from Videos of App Executions within the DEMO - Demonstrations-track
ESEC/FSE 2022 Journal First Co-Chair in Organizing Committee
Co-chair in Program Committee within the Journal First-track
Author of Avgust: Automating Usage-Based Test Generation from Videos of App Executions within the Research Papers-track
ASE 2022 Committee Member in Program Committee within the Journal-first Papers-track
ICSE 2022 Author of Fairkit-learn: A fairness evaluation and comparison toolkit within the DEMO - Demonstrations-track
Presenter of Publication practices (short talk + discussion) within the NFS - New Faculty Symposium-track
Author of Diversity-Driven Automated Formal Verification within the Technical Track-track
Workshops Co-Chair in Organizing Committee
SPLASH 2021 Author of TacTok: Semantics-Aware Proof Synthesis within the SIGPLAN Papers-track
SPLASH 2020 Author of TacTok: Semantics-Aware Proof Synthesis within the OOPSLA-track
DLS 2020 Author of Wasm/k: Delimited Continuations for WebAssembly within the DLS 2020-track
ESEC/FSE 2020 Author of eQual: Informing Early Design Decisions within the Research Papers-track
Childcare Highchair in Organizing Committee
Author of SOSRepair: Expressive Semantic Search for Real-World Program Repair within the Journal First-track
ASE 2020 Committee Member in Program Committee within the Research Papers-track
ICSE 2020 Author of Visualizing distributed system executions within the Journal First-track
Programme Committee in Program Committee within the Technical Papers-track
Author of Causal Testing: Understanding Defects' Root Causes within the Technical Papers-track
Author of Yuriy Brun within the New Faculty Symposium-track
SEAMS 2020 Author of SEAMS 2007 MIP: An architectural style for solving computationally intensive problems on large network within the SEAMS 2020-track
ICGSE 2020 Author of Preventing Undesirable Behavior of Intelligent Machines within the [Joint Event] - ICSSP/ICGSE-track
EXPLAIN 2019 Author of Causality and Fairness in Software within the EXPLAIN 2019-track
SPLASH 2019 Author of Formal Foundations of Serverless Computing within the OOPSLA-track
ICSE 2019 Chair in Program Committee within the Demonstrations-track
Author of Automatically Generating Precise Oracles from Structured Natural Language Specifications within the Technical Track-track
Demos Chair in Organizing Committee
Committee Member in Program Board within the Technical Track-track
ESEC/FSE 2018 Committee Member in Program Committee within the Research Papers-track
Author of Themis: Automatically Testing Software for Discrimination within the Demonstrations-track
Committee Member in Program Committee within the New Ideas and Emerging Results-track
Author of Software Fairness within the New Ideas and Emerging Results-track
* ICSE 2018 * Author of Poster T21: Making Well-Informed Software Design Decisions within the Posters -track
Session Chair of Friday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) (part of Posters )
Session Chair of Thursday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) (part of Posters )
Session Chair of Wednesday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) (part of Posters )
Committee Member in Program committee within the Technical Papers -track
Program Chair in Posters Program Committee within the Posters -track
Poster Chair in Organizing committee
Author of Do Automated Program Repair Techniques Repair Hard and Important Bugs? within the Journal first papers-track
ISSTA 2017 Committee Member in Program Committee within the Demonstrations-track
Session Chair of Lightning Talks (part of Demonstrations)
Demos Co-Chair in Organizing Committee
SPLASH 2012 Author of Speculative analysis of integrated development environment recommendations within the OOPSLA Research Papers-track