Publications

2022

  1. OOPSLA’22
    Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors.
    Ferles, Kostas, Sepanski, Benjamin, Krishnan, Rahul, Bornholt, James, and Dillig, Isil
    In Object-Oriented Programming, Systems, Languages & Applications 2022
    PDF

2021

  1. POPL’21
    Verifying correct usage of context-free API protocols.
    Ferles, Kostas, Stephens, Jon, and Dillig, Isil
    In Symposium on Principles of Programming Languages 2021
    PDF
  2. Oakland’21
    SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
    Stephens, Jon, Ferles, Kostas, Mariano, Benjamin, Lahiri, Shuvendu, and Dillig, Isil
    In IEEE Symposium on Security and Privacy 2021
    PDF

2019

  1. VSTTE’19
    Formal verification of workflow policies for smart contracts in azure blockchain
    Wang, Yuepeng, Lahiri, Shuvendu K, Chen, Shuo, Pan, Rong, Dillig, Isil, Born, Cody, Naseer, Immad, and Ferles, Kostas
    In Working Conference on Verified Software: Theories, Tools, and Experiments 2019
    PDF

2018

  1. FSE’18
    Singularity: Pattern fuzzing for worst case complexity
    Wei, Jiayi, Chen, Jia, Feng, Yu, Ferles, Kostas, and Dillig, Isil
    In Foundations of Software Engineering 2018
    PDF
  2. PLDI’18
    Symbolic reasoning for automatic signal placement
    Ferles, Kostas, Van Geffen, Jacob, Dillig, Isil, and Smaragdakis, Yannis
    In Programming Language Design and Implementation 2018
    PDF
  3. CC’18
    An efficient data structure for must-alias analysis
    Kastrinis, George, Balatsouras, George, Ferles, Kostas, Prokopaki-Kostopoulou, Nefeli, and Smaragdakis, Yannis
    In Compiler Construction 2018
    PDF

2017

  1. FSE’17
    Failure-directed program trimming
    Ferles, Kostas, Wüstholz, Valentin, Christakis, Maria, and Dillig, Isil
    In Foundations of Software Engineering 2017
    PDF
  2. SOAP’17
    A datalog model of must-alias analysis
    Balatsouras, George, Ferles, Kostas, Kastrinis, George, and Smaragdakis, Yannis
    In State Of the Art in Program Analysis 2017
    PDF