Ákos Hajdu

32 papers A* 1A 2B 3C 1Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health.
SOAP@PLDI
Ákos Hajdu, Roman Lee, Gavin Weng, Nilesh Agrawal, Jérémy Dubreil
2025 J jnl
WhatsCode: Large-Scale GenAI Deployment for Developer Efficiency at WhatsApp.
CoRR
Ke Mao, Timotej Kapus, Cons T. Åhs, Matteo Marescotti, Daniel Ip, Ákos Hajdu, Sopot Cela, Aparup Banerjee
2024 — conf
Automated End-to-End Dynamic Taint Analysis for WhatsApp.
SIGSOFT FSE Companion
Sopot Cela, Andrea Ciancone, Per Gustafsson, Ákos Hajdu, Yue Jia, Timotej Kapus, Maksym Koshtenko, Will Lewis, Ke Mao, Dragos Martac
2024 A* conf
Enhancing Compositional Static Analysis with Dynamic Analysis.
ASE
Dino Distefano, Matteo Marescotti, Cons T. Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne
2024 — conf
PrivacyCAT: Privacy-Aware Code Analysis at Scale.
ICSE-SEIP
Ke Mao, Cons T. Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne
2023 J jnl
Pragmatic verification and validation of industrial executable SysML models.
Syst. Eng.
Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
2022 A conf
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp.
ICST
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
2022 — conf
InfERL: scalable and extensible Erlang static analysis.
Erlang Workshop
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano
2022 — conf
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).
TACAS (2)
Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár
2021 — conf
Bitvector Support in the Theta Formal Verification Framework.
LADC
Mihály Dobos-Kovács, Ákos Hajdu, András Vörös
2021 — conf
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).
TACAS (2)
Zsófia Ádám, Gyula Sallai, Ákos Hajdu
2020 — conf
Abstract: SMT-Friendly Formalization of the Solidity Memory Model.
SMT
Ákos Hajdu, Dejan Jovanovic
2020 — —
Effective Domain-Specific Formal Verification Techniques
Ákos Hajdu
2020 J jnl
Efficient Strategies for CEGAR-Based Model Checking.
J. Autom. Reason.
Ákos Hajdu, Zoltán Micskei
2020 — conf
Formal Specification and Verification of Solidity Contracts with Events (Short Paper).
FMBC@CAV
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
2020 J jnl
Formal Specification and Verification of Solidity Contracts with Events.
CoRR
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
2020 — conf
Model checking as a service: towards pragmatic hidden formal methods.
MoDELS (Companion)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
2020 A conf
SMT-Friendly Formalization of the Solidity Memory Model.
ESOP
Ákos Hajdu, Dejan Jovanovic
2020 J jnl
SMT-Friendly Formalization of the Solidity Memory Model.
CoRR
Ákos Hajdu, Dejan Jovanovic
2020 J jnl
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.
IEEE Access
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
2020 J jnl
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.
CoRR
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
2019 — conf
solc-verify: A Modular Verifier for Solidity Smart Contracts.
VSTTE
Ákos Hajdu, Dejan Jovanovic
2019 J jnl
solc-verify: A Modular Verifier for Solidity Smart Contracts.
CoRR
Ákos Hajdu, Dejan Jovanovic
2018 J jnl
Backward Reachability Analysis for Timed Automata with Data Variables.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
2018 J jnl
Industrial applications of the PetriDotNet modelling and analysis tool.
Sci. Comput. Program.
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
2017 — conf
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers.
FESCA@ETAPS
Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik
2017 B conf
Theta: A framework for abstraction refinement-based model checking.
FMCAD
Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik
2017 — conf
Towards Evaluating Size Reduction Techniques for Software Model Checking.
VPT@ETAPS
Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei
2016 C conf
A Configurable CEGAR Framework with Interpolation-Based Refinements.
FORTE
Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik
2016 B conf
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.
Petri Nets
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
2015 B conf
New Search Strategies for the Petri Net CEGAR Approach.
Petri Nets
Ákos Hajdu, András Vörös, Tamás Bartha
2014 J jnl
Extensions to the CEGAR Approach on Petri Nets.
Acta Cybern.
Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka