KLEE 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (90)

A Nazareno AguirreAguirre, Nazareno University of Rio Cuarto and CONICET Precise Lazy Initialization for Programs with Complex Heap Inputs Automated Generation of Database Mocks with Symbolic Execution
B Alexey BabushkinBabushkin, Alexey Explyt Complex Test Input Generation in KLEE
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance What’s Up from Below? An Overview of Recent Advances in BINSEC
Josh BerdineBerdine, Josh SkipLabsUnited Kingdom Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs
Nicolas BerthierBerthier, Nicolas OCamlPro An Efficient Black-box Support of Advanced Coverage Criteria for KLEE
Leon BettscheiderBettscheider, Leon CISPA Helmholtz Center for Information Security Symbolic Grammar Mining
Agustín BordaBorda, Agustín Dept. of Computer Science FCEFQyN, University of Rio Cuarto Automated Generation of Database Mocks with Symbolic Execution
Tobias BrandtBrandt, Tobias Independent Symbolic Execution of Binary Code based on Formal ISA Semantics
Tevfik BultanBultan, Tevfik University of California at Santa BarbaraUnited States Software Complexity, Path Complexity, and Branch Selectivity
Frank BusseBusse, Frank Imperial College LondonUnited Kingdom Session Chair of Taming Path Explosion and Non-determinism (part of KLEE) Co-chair in Program Committee within the KLEE-track
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Session Chair of Opening & Keynote (part of KLEE) Closing Remarks Mixed Fixed-point and Floating-point Symbolic Execution Opening Remarks Chair in Program Committee within the KLEE-track
Zehua ChenChen, Zehua College of Computer, National University of Defense Technology Symbolic Execution Oriented Constraint Solving
Zhenbang ChenChen, Zhenbang School of Computer, National University of Defense Technology, ChinaChina Input Grammar Oriented Symbolic Execution Symbolic Execution Oriented Constraint Solving
Juan Manuel CopiaCopia, Juan Manuel IMDEA Software Institute; Universidad Politécnica de MadridSpain Precise Lazy Initialization for Programs with Complex Heap Inputs
Cesar CornejoCornejo, Cesar University of Rio Cuarto and CONICETArgentina Automated Generation of Database Mocks with Symbolic Execution
D Steven de Oliveirade Oliveira, Steven OCamlPro An Efficient Black-box Support of Advanced Coverage Criteria for KLEE
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium State Merging for Concolic Testing of Event-driven Applications
Dairo De RuckDe Ruck, Dairo DistriNet-KU Leuven Find Your Path: SoK on Path Selection Strategies in Symbolic Execution
Xuhua DingDing, Xuhua Singapore Management University Concretely Mapped Symbolic Memory Locations for Memory Error Detection FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers
Wei DongDong, Wei National University of Defense TechnologyChina Symbolic Execution Oriented Constraint Solving
Rolf DrechslerDrechsler, Rolf University of Bremen / DFKI GmbH Symbolic Execution of Binary Code based on Formal ISA Semantics
Arpita DuttaDutta, Arpita National University of SingaporeSingapore TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation
F Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos AiresUnited States Precise Lazy Initialization for Programs with Complex Heap Inputs Automated Generation of Database Mocks with Symbolic Execution
G Rohan GangarajuGangaraju, Rohan Purdue UniversityUnited States Accelerating Symbolic Execution by Targeted Control-flow Transformations
Sangharatna GodboleyGodboley, Sangharatna National Institute of Technology WarangalIndia SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines Towards Complete Fuzzing with KLEE
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Precise Lazy Initialization for Programs with Complex Heap Inputs
Lars GrunskeGrunske, Lars Humboldt-Universität zu Berlin Concolic Program Repair
Kanika GuptaGupta, Kanika National Institute of Technology, Warangal Towards Complete Fuzzing with KLEE
H Jiaqi HongHong, Jiaqi Independent Researcher Concretely Mapped Symbolic Memory Locations for Memory Error Detection
Weijiang HongHong, Weijiang National University of Defense Technology, Changsha, China Input Grammar Oriented Symbolic Execution
Thom HughesHughes, Thom Imperial College London Mixed Fixed-point and Floating-point Symbolic Execution
I Dmitry IvanovIvanov, Dmitry Huawei Complex Test Input Generation in KLEE
J Joxan JaffarJaffar, Joxan National University of SingaporeSingapore SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation
He JiangJiang, He Dalian University of TechnologyChina Concretely Mapped Symbolic Memory Locations for Memory Error Detection
He JiangJiang, He Dalian University of Technology FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers
Lingxiao JiangJiang, Lingxiao Singapore Management UniversitySingapore Concretely Mapped Symbolic Memory Locations for Memory Error Detection FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers
K Eddie KohlerKohler, Eddie Harvard University Deferring Branches to Speed Up Symbolic Execution
Nikolai KosmatovKosmatov, Nikolai Thales Research & Technology An Efficient Black-box Support of Advanced Coverage Criteria for KLEE
Yurii KostyukovKostyukov, Yurii RnD Toolchain Labs, Huawei Complex Test Input Generation in KLEE
Tomasz KuchtaKuchta, Tomasz Samsung ElectronicsPoland Let's help symbolic execution SOAR!
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Accelerating Symbolic Execution by Targeted Control-flow Transformations
L Jorn LaponLapon, Jorn DistriNet-KU Leuven Find Your Path: SoK on Path Selection Strategies in Symbolic Execution
Yu LiuLiu, Yu National University of Singapore Program Repair Guided by Datalog-defined Static Analysis
Delphine LonguetLonguet, Delphine Thales Research & Technology An Efficient Black-box Support of Advanced Coverage Criteria for KLEE
Eric LuLu, Eric Deferring Branches to Speed Up Symbolic Execution
Yunlai LuoLuo, Yunlai National University of Defense TechnologyChina Input Grammar Oriented Symbolic Execution
Christoph LüthLüth, Christoph University of Bremen / DFKI GmbH Symbolic Execution of Binary Code based on Formal ISA Semantics
M Ke MaMa, Ke Input Grammar Oriented Symbolic Execution
Rasool MagharehMaghareh, Rasool HuaweiCanada SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation
Sergey MechtaevMechtaev, Sergey University College LondonUnited Kingdom Session Chair of Test Input Generation (part of KLEE) Program Repair Guided by Datalog-defined Static Analysis
Aleksandr MisonizhnikMisonizhnik, Aleksandr ExplytGeorgia Complex Test Input Generation in KLEE
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain Precise Lazy Initialization for Programs with Complex Heap Inputs
Golla Monika RaniMonika Rani, Golla SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines
Dmitry MordvinovMordvinov, Dmitry Huawei Complex Test Input Generation in KLEE
Nicky MouhaMouha, Nicky Strativia / NIST Associate How the SHA-3 Buffer Overflow Was Found using KLEE
N Vincent NaessensNaessens, Vincent DistriNet-KU Leuven Find Your Path: SoK on Path Selection Strategies in Symbolic Execution
Yannic NollerNoller, Yannic Singapore University of Technology and DesignSingapore Exploring Complexity Estimation with Symbolic Execution and Large Language Models Concolic Program Repair
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom Session Chair of Program Repair & Keynote (part of KLEE) Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations Mixed Fixed-point and Floating-point Symbolic Execution Co-chair in Program Committee within the KLEE-track
O Peter O'HearnO'Hearn, Peter University College London, UK and Lacework, London, UK Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs
Alessandro OrsoOrso, Alessandro Georgia Institute of TechnologyUnited States Session Chair of State Merging & Posters (part of KLEE) Automating Differential Testing with Over-approximate Symbolic Execution
P Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Symbolic PathFinder: Symbolic Execution for Java
Pablo PonzioPonzio, Pablo Dept. of Computer Science FCEFQyN, University of Rio Cuarto Precise Lazy Initialization for Programs with Complex Heap Inputs Automated Generation of Database Mocks with Symbolic Execution
Corina S. PăsăreanuPăsăreanu, Corina S. Exploring Complexity Estimation with Symbolic Execution and Large Language Models
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs
Frédéric RecoulesRecoules, Frédéric CEA, List What’s Up from Below? An Overview of Recent Advances in BINSEC
Germán RegisRegis, Germán University of Rio Cuarto and CONICETArgentina Automated Generation of Database Mocks with Symbolic Execution
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael State Merging with Quantifiers in Symbolic Execution
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Session Chair of Grammars, Concurrency, Mocking and Constraints (part of KLEE) Program Repair Guided by Datalog-defined Static Analysis Concolic Program Repair
Richard RutledgeRutledge, Richard Georgia Institute of Technology Automating Differential Testing with Over-approximate Symbolic Execution
S Charitha SaumyaSaumya, Charitha Purdue UniversityUnited States Accelerating Symbolic Execution by Targeted Control-flow Transformations
Daniel SchemmelSchemmel, Daniel Imperial College London Session Chair of Binary Analysis & Keynote (part of KLEE) Mixed Fixed-point and Floating-point Symbolic Execution Co-chair in Program Committee within the KLEE-track
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Concolic Program Repair
Vaibhav SharmaSharma, Vaibhav AmazonUnited States State Merging with Quantifiers in Symbolic Execution
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael State Merging with Quantifiers in Symbolic Execution
Ziqi ShuaiShuai, Ziqi School of Computer, National University of Defense Technology, ChinaChina Symbolic Execution Oriented Constraint Solving
Adrians SkaparsSkapars, Adrians University of Manchester Exploring Complexity Estimation with Symbolic Execution and Large Language Models
Romain SoulatSoulat, Romain An Efficient Black-box Support of Advanced Coverage Criteria for KLEE
Pavle SuboticSubotic, Pavle Fantom FoundationSerbia Program Repair Guided by Datalog-defined Static Analysis
Jun SunSun, Jun Singapore Management UniversitySingapore Symbolic Execution Oriented Constraint Solving
Youcheng SunSun, Youcheng The University of ManchesterUnited Kingdom Exploring Complexity Estimation with Symbolic Execution and Large Language Models
Kirshanthan SundararajahSundararajah, Kirshanthan Virginia TechUnited States Accelerating Symbolic Execution by Targeted Control-flow Transformations
T Sören TempelTempel, Sören University of Bremen Symbolic Execution of Binary Code based on Formal ISA Semantics
David TrabishTrabish, David Tel Aviv UniversityIsrael State Merging with Quantifiers in Symbolic Execution
Haoxin TuTu, Haoxin Singapore Management University, SingaporeSingapore Concretely Mapped Symbolic Memory Locations for Memory Error Detection FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers
V Maarten VandercammenVandercammen, Maarten State Merging for Concolic Testing of Event-driven Applications
Julien VanegueVanegue, Julien Bloomberg, USAUnited States Session Chair of Coverage and Memory Errors & Closing (part of KLEE) Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs
W Ji WangWang, Ji School of Computer, National University of Defense Technology, China Input Grammar Oriented Symbolic Execution Symbolic Execution Oriented Constraint Solving
Z Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Symbolic Grammar Mining
Guofeng ZhangZhang, Guofeng Hunan UniversityChina Symbolic Execution Oriented Constraint Solving
Yufeng ZhangZhang, Yufeng Hunan UniversityChina Input Grammar Oriented Symbolic Execution Symbolic Execution Oriented Constraint Solving