Kostas Ferles
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | Split Grbner Bases for Satisfiability Modulo Finite Fields. | Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig |
| 2021 | SP | SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. | Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig |
| 2018 | CC | An efficient data structure for must-alias analysis. | George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis |
| 2018 | PLDI | Symbolic reasoning for automatic signal placement. | Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis |
| 2017 | PLDI | A Datalog model of must-alias analysis. | George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis |