| 2026 | SAT | Sustainable Benchmarking Tool (Tool Paper). | Ashlin Iser, Marie Anastacio, Tho Matricon, Laurent Simon, Holger H. Hoos |
| 2025 | CCS | PickleBall: Secure Deserialization of Pickle-based Machine Learning Models. | Andreas D. Kellas, Neophytos Christou, Wenxin Jiang, Penghui Li, Laurent Simon, Yaniv David, Vasileios P. Kemerlis, James C. Davis, Junfeng Yang |
| 2025 | ICASSP | Evaluation of Deep Audio Representations for Hearables. | Fabian Grger, Pascal Baumann, Ludovic Amruthalingam, Laurent Simon, Ruksana Giurda, Simone Lionetti |
| 2025 | ICML | Position: Machine Learning Models Have a Supply Chain Problem. | Sarah Meiklejohn, Hayden Blauzvern, Mihai Maruseac, Spencer Schrock, Laurent Simon, Ilia Shumailov |
| 2025 | ICSE | $ZTD_{\text{JAVA}}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies. | Paschal C. Amusuo, Kyle A. Robinson, Tanmay Singla, Huiyun Peng, Aravind Machiry, Santiago Torres-Arias, Laurent Simon, James C. Davis |
| 2025 | ICTAI | Enumerating Cliques of Hypergraphs. | Marie Pelleau, Laurent Simon, Jean-Charles Rgin |
| 2023 | AAAI | A Robust Drift Detection Algorithm with High Accuracy and Low False Positives Rate. | Maxime Fuccellaro, Laurent Simon, Akka Zemmari |
| 2023 | CCS | SCORED '23: Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses. | Marcela S. Melara, Santiago Torres-Arias, Laurent Simon |
| 2022 | CCS | SCORED '22: ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses. | Santiago Torres-Arias, Marcela S. Melara, Laurent Simon |
| 2022 | ICTAI | Partially Supervised Classification for Early Concept Drift Detection. | Maxime Fuccellaro, Laurent Simon, Akka Zemmari |
| 2021 | CP | The Dungeon Variations Problem Using Constraint Programming. | Gal Glorian, Adrien Debesson, Sylvain Yvon-Paliot, Laurent Simon |
| 2021 | CP | Statistical Comparison of Algorithm Performance Through Instance Selection. | Tho Matricon, Marie Anastacio, Nathanal Fijalkow, Laurent Simon, Holger H. Hoos |
| 2020 | SAT | SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. | Gilles Audemard, Loc Paulev, Laurent Simon |
| 2018 | CP | On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. | Rohan Foss, Laurent Simon |
| 2018 | IJCAI | Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. | Jan Elffers, Jess Girldez-Cru, Stephan Gocht, Jakob Nordstrm, Laurent Simon |
| 2018 | ICTAI | Zigzagging Strategies for Temporal Induction. | Guillaume Baud-Berthier, Laurent Simon |
| 2017 | AAAI | Diagnosability Planning for Controllable Discrete Event Systems. | Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon |
| 2017 | ICTAI | On Selecting Constraints for Replication in Model Checking. | Guillaume Baud-Berthier, Laurent Simon |
| 2017 | SAT | On the Community Structure of Bounded Model Checking SAT Problems. | Guillaume Baud-Berthier, Jess Girldez-Cru, Laurent Simon |
| 2016 | SAT | Extreme Cases in SAT Problems. | Gilles Audemard, Laurent Simon |
| 2015 | SAFEProcess | Using Incremental SAT for Testing Diagnosability of Distributed DES. | Hassan Ibrahim, Philippe Dague, Laurent Simon |
| 2015 | SAT | Using Community Structure to Detect Relevant Learnt Clauses. | Carlos Anstegui, Jess Girldez-Cru, Jordi Levy, Laurent Simon |
| 2014 | SAT | Lazy Clause Exchange Policy for Parallel SAT Solvers. | Gilles Audemard, Laurent Simon |
| 2014 | SAT | Impact of Community Structure on SAT Solver Performance. | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon |
| 2014 | SAT | Post Mortem Analysis of SAT Solver Proofs. | Laurent Simon |
| 2013 | AAAI | Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. | George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon |
| 2013 | CCS | PIN skimmer: inferring PINs through the camera and microphone. | Laurent Simon, Ross J. Anderson |
| 2013 | ICASSP | Resolution enhancement of ultrasonic signals by up-sampled sparse deconvolution. | Ewen Carcreff, Sbastien Bourguignon, Jrme Idier, Laurent Simon |
| 2013 | IJCAI | Just-In-Time Compilation of Knowledge Bases. | Gilles Audemard, Jean-Marie Lagniez, Laurent Simon |
| 2013 | SAT | Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. | Gilles Audemard, Jean-Marie Lagniez, Laurent Simon |
| 2012 | CP | Distributed Tree Decomposition with Privacy. | Vincent Armant, Laurent Simon, Philippe Dague |
| 2012 | CP | Refining Restarts Strategies for SAT and UNSAT. | Gilles Audemard, Laurent Simon |
| 2012 | CP | Eigenvector Centrality in Industrial SAT Instances. | George Katsirelos, Laurent Simon |
| 2012 | SAT | Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). | George Katsirelos, Laurent Simon |
| 2011 | IJCAI | Minimum Satisfiability and Its Applications. | Chu Min Li, Zhu Zhu, Felip Many, Laurent Simon |
| 2010 | AAAI | A Restriction of Extended Resolution for Clause Learning SAT Solvers. | Gilles Audemard, George Katsirelos, Laurent Simon |
| 2009 | IJCAI | Predicting Learnt Clauses Quality in Modern SAT Solvers. | Gilles Audemard, Laurent Simon |
| 2008 | CP | Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. | Gilles Audemard, Laurent Simon |
| 2008 | LPAR | Distributed Consistency-Based Diagnosis. | Vincent Armant, Philippe Dague, Laurent Simon |
| 2007 | IJCAI | GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. | Gilles Audemard, Laurent Simon |
| 2006 | ICASSP | Doppler Signal Detection And Particle Time Of Flight Estimation Using Wavelet Transform For Acoustic Velocity Measurement. | Anne Degroot, Silvio Montrsor, Bruno Gazengel, Olivier Richoux, Laurent Simon |
| 2006 | SOFSEM | SomeWhere in the Semantic Web. | Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, Franois Goasdou, Laurent Simon |
| 2005 | IJCAI | Scalability Study of Peer-to-Peer Consequence Finding. | Philippe Adjiman, Philippe Chatalic, Franois Goasdou, Marie-Christine Rousset, Laurent Simon |
| 2004 | ECAI | Distributed Reasoning in a Peer-to-Peer Setting. | Philippe Adjiman, Philippe Chatalic, Franois Goasdou, Marie-Christine Rousset, Laurent Simon |
| 2004 | SAT | The Second QBF Solvers Comparative Evaluation. | Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella |
| 2004 | SAT | Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. | Daniel Le Berre, Laurent Simon |
| 2003 | SAT | The Essentials of the SAT 2003 Competition. | Daniel Le Berre, Laurent Simon |
| 2003 | SAT | Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. | Daniel Le Berre, Laurent Simon, Armando Tacchella |
| 2001 | IJCAI | Efficient Consequence Finding. | Laurent Simon, Alvaro del Val |
| 2000 | CADE | ZRES: The Old Davis-Putman Procedure Meets ZBDD. | Philippe Chatalic, Laurent Simon |
| 2000 | ICTAI | Multi-resolution on compressed sets of clauses. | Philippe Chatalic, Laurent Simon |