Collaborated with:I.Dillig Y.Smaragdakis V.Wüstholz M.Christakis Jacob Van Geffen J.Wei J.Chen Y.Feng G.Kastrinis G.Balatsouras N.Prokopaki-Kostopoulou
Talks about:placement (1) structur (1) singular (1) program (1) pattern (1) complex (1) automat (1) analysi (1) symbol (1) signal (1)
Person: Kostas Ferles
DBLP: Ferles:Kostas
Contributed to:
20172018
2018
2018Wrote 4 papers:
- ESEC-FSE-2017-FerlesWCD
- Failure-directed program trimming (KF, VW, MC, ID), pp. 174–185.
- ESEC-FSE-2018-WeiCFFD #complexity #fuzzing #named
- Singularity: pattern fuzzing for worst case complexity (JW, JC, YF, KF, ID), pp. 213–223.
- CC-2018-KastrinisBFPS #alias #analysis #data type #performance
- An efficient data structure for must-alias analysis (GK, GB, KF, NPK, YS), pp. 48–58.
- PLDI-2018-FerlesGDS #automation #reasoning
- Symbolic reasoning for automatic signal placement (KF, JVG, ID, YS), pp. 120–134.