ICSE 2024 (series) / KLEE 2024 (series) /
KLEE 2024 Program
This is the KLEE 2024 program - see the full program for ICSE 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 15 AprDisplayed time zone: Lisbon change
Mon 15 Apr
Displayed time zone: Lisbon change
09:00 - 10:30 | Opening & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Cristian Cadar Imperial College London | ||
09:00 30mDay opening | Opening Remarks KLEE Cristian Cadar Imperial College London | ||
09:30 46mKeynote | Software Complexity, Path Complexity, and Branch Selectivity KLEE Tevfik Bultan University of California at Santa Barbara | ||
11:00 - 12:30 | State Merging & PostersKLEE at Maria Helena Vieira da Silva Chair(s): Alessandro Orso Georgia Institute of Technology | ||
11:00 22mTalk | State Merging for Concolic Testing of Event-driven Applications KLEE | ||
11:22 22mTalk | State Merging with Quantifiers in Symbolic Execution KLEE P: David Trabish Tel Aviv University, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv University, Vaibhav Sharma Amazon DOI | ||
11:50 5mPoster | FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers KLEE P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology | ||
11:55 5mPoster | Input Grammar Oriented Symbolic Execution KLEE Ke Ma , Yunlai Luo National University of Defense Technology, P: Weijiang Hong National University of Defense Technology, Changsha, China, Zhenbang Chen School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Ji Wang School of Computer, National University of Defense Technology, China | ||
12:00 5mPoster | Mixed Fixed-point and Floating-point Symbolic Execution KLEE P: Thom Hughes Imperial College London, Daniel Schemmel Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London | ||
12:05 5mPoster | SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines KLEE Golla Monika Rani , P: Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei | ||
12:10 5mPoster | Towards Complete Fuzzing with KLEE KLEE Kanika Gupta National Institute of Technology, Warangal, P: Sangharatna Godboley National Institute of Technology Warangal | ||
12:15 5mPoster | TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation KLEE P: Arpita Dutta National University of Singapore, Rasool Maghareh Huawei, Joxan Jaffar National University of Singapore | ||
12:20 5mPoster | Exploring Complexity Estimation with Symbolic Execution and Large Language Models KLEE Adrians Skapars University of Manchester, Youcheng Sun The University of Manchester, Yannic Noller Singapore University of Technology and Design, P: Corina S. Păsăreanu | ||
14:00 - 15:30 | Grammars, Concurrency, Mocking and ConstraintsKLEE at Maria Helena Vieira da Silva Chair(s): Abhik Roychoudhury National University of Singapore | ||
14:00 22mTalk | Symbolic Grammar Mining KLEE P: Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
14:22 22mTalk | Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs KLEE Azalea Raad Imperial College London, P: Julien Vanegue Bloomberg, USA, Josh Berdine SkipLabs, Peter O'Hearn University College London, UK and Lacework, London, UK | ||
14:44 22mTalk | Automated Generation of Database Mocks with Symbolic Execution KLEE Cesar Cornejo University of Rio Cuarto and CONICET, Agustín Borda Dept. of Computer Science FCEFQyN, University of Rio Cuarto, P: Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis University of Rio Cuarto and CONICET | ||
15:06 22mTalk | Symbolic Execution Oriented Constraint Solving KLEE P: Zhenbang Chen School of Computer, National University of Defense Technology, China, Ziqi Shuai School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Zehua Chen College of Computer, National University of Defense Technology, Guofeng Zhang Hunan University, Jun Sun Singapore Management University, Wei Dong National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China | ||
16:00 - 17:30 | Binary Analysis & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Daniel Schemmel Imperial College London | ||
16:00 22mTalk | What’s Up from Below? An Overview of Recent Advances in BINSEC KLEE | ||
16:22 22mTalk | Symbolic Execution of Binary Code based on Formal ISA Semantics KLEE P: Sören Tempel University of Bremen, Tobias Brandt Independent, Christoph Lüth University of Bremen / DFKI GmbH, Rolf Drechsler University of Bremen / DFKI GmbH | ||
16:44 46mKeynote | Let's help symbolic execution SOAR! KLEE Tomasz Kuchta Samsung Electronics | ||
Tue 16 AprDisplayed time zone: Lisbon change
Tue 16 Apr
Displayed time zone: Lisbon change
09:00 - 10:30 | Test Input GenerationKLEE at Maria Helena Vieira da Silva Chair(s): Sergey Mechtaev University College London | ||
09:00 22mTalk | Complex Test Input Generation in KLEE KLEE P: Alexey Babushkin Explyt, Aleksandr Misonizhnik Explyt, Yurii Kostyukov RnD Toolchain Labs, Huawei, Dmitry Mordvinov Huawei, Dmitry Ivanov Huawei | ||
09:22 22mTalk | Precise Lazy Initialization for Programs with Complex Heap Inputs KLEE P: Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Alessandra Gorla IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto | ||
09:44 22mTalk | Automating Differential Testing with Over-approximate Symbolic Execution KLEE Richard Rutledge Georgia Institute of Technology, P: Alessandro Orso Georgia Institute of Technology | ||
10:06 22mTalk | How the SHA-3 Buffer Overflow Was Found using KLEE KLEE | ||
11:00 - 12:30 | Program Repair & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Martin Nowack Imperial College London | ||
11:00 22mTalk | Concolic Program Repair KLEE P: Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller Singapore University of Technology and Design, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore Link to publication DOI Pre-print | ||
11:22 22mTalk | Program Repair Guided by Datalog-defined Static Analysis KLEE Yu Liu National University of Singapore, P: Sergey Mechtaev University College London, Pavle Subotic Fantom Foundation, Abhik Roychoudhury National University of Singapore | ||
11:44 46mKeynote | Symbolic PathFinder: Symbolic Execution for Java KLEE Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center | ||
14:00 - 15:30 | Taming Path Explosion and Non-determinismKLEE at Maria Helena Vieira da Silva Chair(s): Frank Busse Imperial College London | ||
14:00 22mTalk | Find Your Path: SoK on Path Selection Strategies in Symbolic Execution KLEE P: Dairo De Ruck DistriNet-KU Leuven, Jorn Lapon DistriNet-KU Leuven, Vincent Naessens DistriNet-KU Leuven | ||
14:22 22mTalk | Accelerating Symbolic Execution by Targeted Control-flow Transformations KLEE Charitha Saumya Purdue University, P: Rohan Gangaraju Purdue University, Kirshanthan Sundararajah Virginia Tech, Milind Kulkarni Purdue University | ||
14:44 22mTalk | Deferring Branches to Speed Up Symbolic Execution KLEE | ||
15:06 22mTalk | Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations KLEE | ||
16:00 - 17:30 | Coverage and Memory Errors & ClosingKLEE at Maria Helena Vieira da Silva Chair(s): Julien Vanegue Bloomberg, USA | ||
16:00 22mTalk | An Efficient Black-box Support of Advanced Coverage Criteria for KLEE KLEE Nicolas Berthier OCamlPro, Steven de Oliveira OCamlPro, Nikolai Kosmatov Thales Research & Technology, P: Delphine Longuet Thales Research & Technology, Romain Soulat | ||
16:22 22mTalk | Concretely Mapped Symbolic Memory Locations for Memory Error Detection KLEE P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Jiaqi Hong Independent Researcher, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology | ||
16:44 16mDay closing | Closing Remarks KLEE Cristian Cadar Imperial College London | ||