|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Fung, Long-Hin ; Cheng, Che ; Fan, Yu-Wei ; Tan, Tony ; Jiang, Jie-Hong Roland | 2-DQBF Solving and Certification via Property-Directed Reachability Analysis | Inproceedings Konferenzbeitrag    | Oct-2024 |
| 2 |  | Kwan, Carl ; Hunt, Warren A., Jr. | Automatic Verification of Right-greedy Numerical Linear Algebra Algorithms | Inproceedings Konferenzbeitrag | Oct-2024 |
| 3 |  | Biere, Armin ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils | Clausal Equivalence Sweeping | Inproceedings Konferenzbeitrag | Oct-2024 |
| 4 |  | Jonáš, Martin ; Strejcek, Jan ; Griggio, Alberto | Combining Symbolic Execution with Predicate Abstraction and CEGAR | Inproceedings Konferenzbeitrag | Oct-2024 |
| 5 |  | Zhou, Yi ; Bosamiya, Jay ; Li, Jessica G. ; Heule, Marijn J. H. ; Parno, Bryan | Context Pruning for More Robust SMT-based Program Verification | Inproceedings Konferenzbeitrag | Oct-2024 |
| 6 |  | Bansal, Suguman ; Kankariya, Yash ; Li, Yong | DAG-Based Compositional Approaches for LTLf to DFA Conversions | Inproceedings Konferenzbeitrag | Oct-2024 |
| 7 |  | Singher, Eytan ; Shachar, Itzhaky | Easter Egg: Equality Reasoning Based on E-Graphs with Multiple Assumptions | Inproceedings Konferenzbeitrag | Oct-2024 |
| 8 |  | Egolf, Derek ; Schultz, William ; Tripakis, Stavros | Efficient Synthesis of Symbolic Distributed Protocols by Sketching | Inproceedings Konferenzbeitrag | Oct-2024 |
| 9 |  | Daly, Ross ; Donovick, Caleb ; Terrill, Caleb ; Melchert, Jackson ; Raina, Priyanka ; Barrett, Clark ; Hanrahan, Pat | Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection | Inproceedings Konferenzbeitrag | Oct-2024 |
| 10 |  | Lahiri, Shuvendu K. | Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages | Inproceedings Konferenzbeitrag | Oct-2024 |
| 11 |  | Blicha, Martin ; Tsiskaridze, Nestan | The FMCAD 2024 Student Forum | Inproceedings Konferenzbeitrag | Oct-2024 |
| 12 |  | Bonnot, Paul ; Boyer, Benoît ; Faissole, Florian ; Marché, Claude ; Rieu-Helft, Raphaël | Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function | Inproceedings Konferenzbeitrag | Oct-2024 |
| 13 |  | Mandal, Udayan ; Amir, Guy ; Wu, Haoze ; Daukantas, Ieva ; Newell, Fletcher Lee ; Ravaioli, Umberto J. ; Meng, Baoluo ; Durling, Michael ; Ganai, Milan ; Shim, Tobey ; Katz, Guy ; Barrett, Clark | Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates | Inproceedings Konferenzbeitrag | Oct-2024 |
| 14 |  | Sagiv, Mooly | Harnessing SMT Solvers for Reasoning about DeFi Protocols | Inproceedings Konferenzbeitrag | Oct-2024 |
| 15 |  | Kamath, Adharsh ; Mohammed, Nausheen ; Senthilnathan, Aditya ; Chakraborty, Saikat ; Deligiannis, Pantazis ; Lahiri, Shuvendu K. ; Lal, Akash ; Rastogi, Aseem ; Roy, Subhajit ; Sharma, Rahul | Leveraging LLMs for Program Verification | Inproceedings Konferenzbeitrag | Oct-2024 |
| 16 |  | Cleaveland, Rachel ; Trippel, Caroline | Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware | Inproceedings Konferenzbeitrag | Oct-2024 |
| 17 |  | Kopynksi, Max ; Pientka, Brigitte ; Si, Xujie | Modernizing SMT-Based Type Error Localization | Inproceedings Konferenzbeitrag | Oct-2024 |
| 18 |  | Priya, Siddharth ; Gurfinkel, Arie | Ownership in low-level intermediate representation | Inproceedings Konferenzbeitrag | Oct-2024 |
| 19 |  | D’Antoni, Loris ; Gacek, Andrew ; Goel, Amit ; Jovanovic, Dejan ; Kıcı, Rami Gökhan ; Peebles, Dan ; Rungta, Neha ; Sharoda, Yasmine ; Sung, Chungha | Projective Model Counting for IP Addresses in Access Control Policies | Inproceedings Konferenzbeitrag | Oct-2024 |
| 20 |  | Dardik, Ian ; Porter, April ; Kang, Eunsuk | Recomposition: A New Technique for Efficient Compositional Verification | Inproceedings Konferenzbeitrag | Oct-2024 |
