Konstantinos Sagonas
- Stateless Model Checking for TSO and PSO
2015/01/09 by Parosh Abdulla, Stavros Aronis, Abdulla, Parosh +9 · 3 citations
Computer Science · #D.1.3 #D.2.4 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
- Scalable Tree-based Register Automata Learning
2024/01/25 by Simon Dierl, Dierl, Simon, Paul Fiterău-Broştean +9 · 3 citations
Computer Science · #Algorithms and Data Compression #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning and Algorithms #Optimization and Search Problems
- Stateless model checking for TSO and PSO
2016/07/07 by Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig +4 · 1 citation
Computer Science · Engineering · #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Radiation Effects in Electronics
- Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
2023/07/29 by Parosh Aziz Abdulla, Mohamed Faouzi Atig, Abdulla, Parosh Aziz +11 · 1 citation
Computer Science · Engineering · #D.3 #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Radiation Effects in Electronics #Security and Verification in Computing #Software Engineering (cs.SE)
- Parsimonious Optimal Dynamic Partial Order Reduction
2024/05/18 by Parosh Aziz Abdulla, Abdulla, Parosh Aziz, Mohamed Faouzi Atig +7 · 1 citation
Engineering · Physics and Astronomy · #Advanced Algorithms and Applications #FOS: Computer and information sciences #Model Reduction and Neural Networks #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Linear Scan Register Allocation in a High-Performance Erlang Compiler
2001/12/20 by Erik M. J. Johansson, Erik Johansson, Konstantinos Sagonas · 1 citation
Computer Science · #Allocator #Compiler #Computer science #Dynamic compilation #Erlang (programming language) #Formal Methods in Verification #Functional programming #Just-in-time compilation #Logic, programming, and type systems #Operating system #Parallel Computing and Optimization Techniques #Parallel computing #Processor register #Programming language #Register (sociolinguistics) #Register allocation