FilesExpand file tree

 update

/

materials

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

 

History

History

History

 

 

 update

/

materials

/

Copy path

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
AfzalGT22.pdf		AfzalGT22.pdf
AfzalMSRChallenge2018.pdf		AfzalMSRChallenge2018.pdf
AfzalQualitative20.pdf		AfzalQualitative20.pdf
AfzalSOSRepair19.pdf		AfzalSOSRepair19.pdf
AfzalSimulation21.pdf		AfzalSimulation21.pdf
AfzalTuringTest2018.pdf		AfzalTuringTest2018.pdf
ChenDIRTY2022.pdf		ChenDIRTY2022.pdf
ChenVarCLR2022.pdf		ChenVarCLR2022.pdf
CokerBehavior2017.pdf		CokerBehavior2017.pdf
CokerBehavior2017.slides.pptx		CokerBehavior2017.slides.pptx
CokerEvaluating2015.pdf		CokerEvaluating2015.pdf
CokerEvaluating2015.slides.pptx		CokerEvaluating2015.slides.pptx
CokerQualitative2019.pdf		CokerQualitative2019.pdf
CokerQualitative2019.slides.pdf		CokerQualitative2019.slides.pdf
CokerSASS2015.pdf		CokerSASS2015.pdf
CokerSASS2015.slides.pptx		CokerSASS2015.slides.pptx
DagstuhlAPR2017.pdf		DagstuhlAPR2017.pdf
DagstuhlGI2018.pdf		DagstuhlGI2018.pdf
DingLyuGI2019.pdf		DingLyuGI2019.pdf
DingOSSFuzz21.pdf		DingOSSFuzz21.pdf
DramkoCDecompilerIssueTaxonomy.pdf		DramkoCDecompilerIssueTaxonomy.pdf
DramkoDIREData2022.pdf		DramkoDIREData2022.pdf
Duerschmid2024ROSInfer.pdf		Duerschmid2024ROSInfer.pdf
Duerschmid2024ROSInfer.slides.pdf		Duerschmid2024ROSInfer.slides.pdf
Eladawy24icse.pdf		Eladawy24icse.pdf
HutchisonRobustness2018.pdf		HutchisonRobustness2018.pdf
JaffeDecompilerNames2018.pdf		JaffeDecompilerNames2018.pdf
KatzDetecting2020.pdf		KatzDetecting2020.pdf
KatzRIOT2020.pdf		KatzRIOT2020.pdf
KatzRNN2018.pdf		KatzRNN2018.pdf
KatzRNN2018.slides.pdf		KatzRNN2018.slides.pdf
KatzUnderstanding2017.pdf		KatzUnderstanding2017.pdf
KeSearchRepair2015.pdf		KeSearchRepair2015.pdf
KeSearchRepair2015.slides.pdf		KeSearchRepair2015.slides.pdf
KerryExceptions2016.pdf		KerryExceptions2016.pdf
KinneerDissimilarity2018.pdf		KinneerDissimilarity2018.pdf
KinneerDissimilarity2018.slides.pdf		KinneerDissimilarity2018.slides.pdf
KinneerManaging2018.pdf		KinneerManaging2018.pdf
KinneerManaging2018.slides.pdf		KinneerManaging2018.slides.pdf
KolakROS20.pdf		KolakROS20.pdf
LacomisDIRE2019.pdf		LacomisDIRE2019.pdf
LacomisSMTRenaming2018.pdf		LacomisSMTRenaming2018.pdf
LeGouesClarifications2017.pdf		LeGouesClarifications2017.pdf
LeGouesDoubleBlind2018.pdf		LeGouesDoubleBlind2018.pdf
LeGouesGuest2017.pdf		LeGouesGuest2017.pdf
LeGouesManyBugs2015.pdf		LeGouesManyBugs2015.pdf
LeLikelyInvariants2016.pdf		LeLikelyInvariants2016.pdf
MorenoDART2019.pdf		MorenoDART2019.pdf
OliveiraCrossover2016.pdf		OliveiraCrossover2016.pdf
OliveiraRepresentation2018.pdf		OliveiraRepresentation2018.pdf
OmarSemantic2017.pdf		OmarSemantic2017.pdf
RamosMLMMG23.pdf		RamosMLMMG23.pdf
SOAR21.pdf		SOAR21.pdf
SSBSE2014.pdf		SSBSE2014.pdf
ShypulaSuperoptimization2022.pdf		ShypulaSuperoptimization2022.pdf
SmithOverfitting2015.pdf		SmithOverfitting2015.pdf
SotoMSRChallenge2016.pdf		SotoMSRChallenge2016.pdf
SotoMSRChallenge2017.pdf		SotoMSRChallenge2017.pdf
SotoMSRChallenge2018.pdf		SotoMSRChallenge2018.pdf
SotoProbabilistic2018.pdf		SotoProbabilistic2018.pdf
TianRecommendation2016.pdf		TianRecommendation2016.pdf
Timperley2022ROSDiscover.pdf		Timperley2022ROSDiscover.pdf
Timperley2022ROSDiscover.slides.pdf		Timperley2022ROSDiscover.slides.pdf
TimperleyBugZooPoster2018.pdf		TimperleyBugZooPoster2018.pdf
TimperleyBugZooPoster2018.poster.pdf		TimperleyBugZooPoster2018.poster.pdf
TimperleyCrashing2018.pdf		TimperleyCrashing2018.pdf
TimperleyMBFL2017.pdf		TimperleyMBFL2017.pdf
WeimerTrustedRepair2016.pdf		WeimerTrustedRepair2016.pdf
WeintropCoBlox2018.pdf		WeintropCoBlox2018.pdf
XuanBachDeductive2016.pdf		XuanBachDeductive2016.pdf
XuanBachHistory2016.pdf		XuanBachHistory2016.pdf
XuanBachJFIX2017.pdf		XuanBachJFIX2017.pdf
XuanBachOverfitting2018.pdf		XuanBachOverfitting2018.pdf
XuanBachOverfittingJF2018.pdf		XuanBachOverfittingJF2018.pdf
XuanBachS32017.pdf		XuanBachS32017.pdf
XuanBachSynthesisEngines2016.pdf		XuanBachSynthesisEngines2016.pdf
Ye2023PreciseBugCollector.pdf		Ye2023PreciseBugCollector.pdf
botse19.pdf		botse19.pdf
canelas2024physunits.pdf		canelas2024physunits.pdf
coker21framefix.pdf		coker21framefix.pdf
cruz22crayons.pdf		cruz22crayons.pdf
deSouzaFitness2018.pdf		deSouzaFitness2018.pdf
debSyntaxAllYouNeed.pdf		debSyntaxAllYouNeed.pdf
durieux20msr.pdf		durieux20msr.pdf
groce22cc.pdf		groce22cc.pdf
groceBitcoinFuzzing.pdf		groceBitcoinFuzzing.pdf
groceFuzzTheMutants.pdf		groceFuzzTheMutants.pdf
icse2020transform.pdf		icse2020transform.pdf
jainContextualPMT.pdf		jainContextualPMT.pdf
jainOracleGap.pdf		jainOracleGap.pdf
kinneer20acsos.pdf		kinneer20acsos.pdf
kinneer21taas.pdf		kinneer21taas.pdf
leach2022issre.pdf		leach2022issre.pdf
legoues-cacm2019.pdf		legoues-cacm2019.pdf
legoues21ieeesw.pdf		legoues21ieeesw.pdf
memocode19cody.pdf		memocode19cody.pdf
motwani20tse.pdf		motwani20tse.pdf
msr19rvt.pdf		msr19rvt.pdf
pldi19.pdf		pldi19.pdf
raoCATLM.pdf		raoCATLM.pdf
View all files