Kostas Ferles

According to our database1, Kostas Ferles authored at least 10 papers between 2017 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Verifying correct usage of context-free API protocols.
Proc. ACM Program. Lang., 2021

2020
Symbolic Reasoning for Automatic Signal Placement.
ACM SIGOPS Oper. Syst. Rev., 2020

Verifying Correct Usage of Context-Free API Protocols (Extended Version).
CoRR, 2020

2019
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2018
Symbolic Reasoning for Automatic Signal Placement (Extended Version).
CoRR, 2018

Singularity: pattern fuzzing for worst case complexity.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

An efficient data structure for must-alias analysis.
Proceedings of the 27th International Conference on Compiler Construction, 2018

2017
Failure-Directed Program Trimming (Extended Version).
CoRR, 2017

Failure-directed program trimming.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

A Datalog model of must-alias analysis.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017


  Loading...