Automated Program Repair, What Is It Good For? Not Absolutely Nothing!
Yuriy Brun
Automated Program Repair, What Is It Good For? Not Absolutely Nothing!
11:19
My Model is Unfair, Do People Even Care?
Yuriy Brun
My Model is Unfair, Do People Even Care?
10:40
Passport: Improving Automated Formal Verification Using Identifiers
Yuriy Brun
Passport: Improving Automated Formal Verification Using Identifiers
12:36
Teaser: Passport: Improving Automated Formal Verification Using Identifiers
Yuriy Brun
Teaser: Passport: Improving Automated Formal Verification Using Identifiers
1:07
Get your PhD at the UMass Laboratory for Advanced Software Engineering Research
Yuriy Brun
Get your PhD at the UMass Laboratory for Advanced Software Engineering Research
2:12
Blindspots in Python and Java APIs Result in Vulnerable Code
Yuriy Brun
Blindspots in Python and Java APIs Result in Vulnerable Code
0:57
Proofster: Automated Formal Verification
Yuriy Brun
Proofster: Automated Formal Verification
4:50
Seldonian Toolkit: Building Software with Safe and Fair Machine Learning
Yuriy Brun
Seldonian Toolkit: Building Software with Safe and Fair Machine Learning
4:56
TacTok: Semantics-Aware Proof Synthesis
Yuriy Brun
TacTok: Semantics-Aware Proof Synthesis
14:49
eQual: Informing Early Design Decisions (full-length video)
Yuriy Brun
eQual: Informing Early Design Decisions (full-length video)
20:41
eQual: Informing Early Design Decisions (teaser video)
Yuriy Brun
eQual: Informing Early Design Decisions (teaser video)
1:59
Causal Testing: Understanding Defects' Root Causes
Yuriy Brun
Causal Testing: Understanding Defects' Root Causes
7:28
Preventing Undesirable Behavior of Intelligent Machines (ICSSP and ICGSE 2020 Keynote)
Yuriy Brun
Preventing Undesirable Behavior of Intelligent Machines (ICSSP and ICGSE 2020 Keynote)
30:47
SEAMS 2020 Most Influential Paper Award Talk (for SEAMS 2007 paper)
Yuriy Brun
SEAMS 2020 Most Influential Paper Award Talk (for SEAMS 2007 paper)
20:08
Themis: Automatically Testing Software for Discrimination
Yuriy Brun
Themis: Automatically Testing Software for Discrimination
5:00