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

Personal website:http://people.cs.umass.edu/~brun/

Twitter:https://twitter.com/YuriyBrun

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