CAV

CAV 公式サイト ↗

Programming Languages & Formal Methods

2024 · 51 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

1. 2024 · CAV

   Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic

   Habermehl, Peter, Havlena, Vojtěch, Hečko, Michal, Holík, Lukáš, Lengál, Ondřej

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2024 · CAV

   Approximate Relational Reasoning for Quantum Programs

   Yan, Peng, Jiang, Hanru, Yu, Nengkun

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

3. 2024 · CAV

   Avoiding the Shoals - A New Approach to Liveness Checking

   Xia, Yechuan, Cimatti, Alessandro, Griggio, Alberto, Li, Jianwen

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

4. 2024 · CAV

   Bisimulation Learning

   Abate, Alessandro, Giacobbe, Mirco, Schnitzer, Yannik

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

5. 2024 · CAV

   Boosting Few-Pixel Robustness Verification via Covering Verification Designs

   Shapira, Yuval, Wiesel, Naor, Shabelman, Shahar, Drachsler-Cohen, Dana

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2024 · CAV

   Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates

   Zhu, Shaowei, Kincaid, Zachary

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

7. 2024 · CAV

   Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors

   Zhang, Ruihan, Sun, Jun

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

8. 2024 · CAV

   Collective Contracts for Message-Passing Parallel Programs

   Luo, Ziqing, Siegel, Stephen F.

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

9. 2024 · CAV

   Compositional Value Iteration with Pareto Caching

   Watanabe, Kazuki, Vegt, Marck van der, Junges, Sebastian, Hasuo, Ichiro

   Programming Languages & Formal Methods

   日本大学: 総合研究大学院大学

10. 2024 · CAV

    Distributed SMT Solving Based on Dynamic Variable-Level Partitioning

    Zhao, Mengyu, Cai, Shaowei, Qian, Yuhang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

11. 2024 · CAV

    Dynamic Programming for Symbolic Boolean Realizability and Synthesis

    Lin, Yi, Martinelli Tabajara, Lucas, Vardi, Moshe Y.

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

12. 2024 · CAV

    Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas

    Frenkel, Eden, Chajed, Tej, Padon, Oded, Shoham, Sharon

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

13. 2024 · CAV

    Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification

    Wen, Cheng, Cao, Jialun, Su, Jie, Xu, Zhiwu, Qin, Shengchao, He, Mengda, Li, Haokun, Cheung, Shing-Chi, Tian, Cong

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

14. 2024 · CAV

    End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT

    Yuan, Shenghao, Besson, Frédéric, Talpin, Jean-Pierre

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

15. 2024 · CAV

    Formally Certified Approximate Model Counting

    Tan, Yong Kiam, Yang, Jiong, Soos, Mate, Myreen, Magnus O., Meel, Kuldeep S.

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

16. 2024 · CAV

    From Clauses to Klauses

    Reeves, Joseph E., Heule, Marijn J. H., Bryant, Randal E.

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

17. 2024 · CAV

    General Anticipatory Runtime Verification

    Hipler, Raik, Kallwies, Hannes, Leucker, Martin, Sánchez, César

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

18. 2024 · CAV

    Guiding Enumerative Program Synthesis with Large Language Models

    Li, Yixuan, Parsert, Julian, Polgreen, Elizabeth

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

19. 2024 · CAV

    Information Flow Guided Synthesis with Unbounded Communication

    Finkbeiner, Bernd, Metzger, Niklas, Moses, Yoram

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

20. 2024 · CAV

    Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis

    Ren, Dejin, Liang, Zhen, Wu, Chenyu, Ding, Jianqiang, Wu, Taoran, Xue, Bai

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

21. 2024 · CAV

    LTL Learning on GPUs

    Valizadeh, Mojtaba, Fijalkow, Nathanaël, Berger, Martin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

22. 2024 · CAV

    Lexicographic Ranking Supermartingales with Lazy Lower Bounds

    Takisaka, Toru, Zhang, Libo, Wang, Changjiang, Liu, Jiamou

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

23. 2024 · CAV

    Localized Attractor Computations for Infinite-State Games

    Schmuck, Anne-Kathrin, Heim, Philippe, Dimitrova, Rayna, Nayak, Satya Prakash

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

24. 2024 · CAV

    Measurement-Based Verification of Quantum Markov Chains

    Guan, Ji, Feng, Yuan, Turrini, Andrea, Ying, Mingsheng

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

25. 2024 · CAV

    On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches

    Wang, Chenglin, Lin, Fangzhen

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

26. 2024 · CAV

    Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications

    Sato, Sota, An, Jie, Zhang, Zhenya, Hasuo, Ichiro

    Programming Languages & Formal Methods

    日本大学: 九州大学 / 総合研究大学院大学

27. 2024 · CAV

    Parsimonious Optimal Dynamic Partial Order Reduction

    Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Das, Sarbojit, Jonsson, Bengt, Sagonas, Konstantinos

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

28. 2024 · CAV

    Predictive Monitoring with Strong Trace Prefixes

    Ang, Zhendong, Mathur, Umang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

29. 2024 · CAV

    Proactive Real-Time First-Order Enforcement

    Hublet, François, Lima, Leonardo, Basin, David, Krstić, Srđan, Traytel, Dmitriy

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

30. 2024 · CAV

    Probabilistic Access Policies with Automated Reasoning Support

    Zhu, Shaowei, Zhang, Yunbo

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

31. 2024 · CAV

    Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement

    Murphy, Charlie, Kincaid, Zachary

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

32. 2024 · CAV

    Regular Reinforcement Learning

    Dohmen, Taylor, Perez, Mateo, Somenzi, Fabio, Trivedi, Ashutosh

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

33. 2024 · CAV

    Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata

    Miltner, Anders, Wang, Ziteng, Chaudhuri, Swarat, Dillig, Isil

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

34. 2024 · CAV

    SMT-Based Symbolic Model-Checking for Operator Precedence Languages

    Chiari, Michele, Geatti, Luca, Gigante, Nicola, Pradella, Matteo

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

35. 2024 · CAV

    Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models

    Wang, Yuning, Zhu, He

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

36. 2024 · CAV

    Scalable Bit-Blasting with Abstractions

    Niemetz, Aina, Preiner, Mathias, Zohar, Yoni

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

37. 2024 · CAV

    Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs

    Wang, Jiawan, Liu, Wenxia, Zhang, Muzimiao, Wei, Jiaqi, Shi, Yuhui, Bu, Lei, Li, Xuandong

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

38. 2024 · CAV

    Simulating Quantum Circuits by Model Counting

    Mei, Jingyi, Bonsangue, Marcello, Laarman, Alfons

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

39. 2024 · CAV

    Split Gröbner Bases for Satisfiability Modulo Finite Fields

    Ozdemir, Alex, Pailoor, Shankara, Bassa, Alp, Ferles, Kostas, Barrett, Clark, Dillig, Işil

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

40. 2024 · CAV

    Stochastic Omega-Regular Verification and Control with Supermartingales

    Abate, Alessandro, Giacobbe, Mirco, Roy, Diptarko

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

41. 2024 · CAV

    Strided Difference Bound Matrices

    Pitchanathan, Arjun, Cohen, Albert, Zinenko, Oleksandr, Grosser, Tobias

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

42. 2024 · CAV

    Syntax-Guided Automated Program Repair for Hyperproperties

    Beutner, Raven, Hsu, Tzu-Han, Bonakdarpour, Borzoo, Finkbeiner, Bernd

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

43. 2024 · CAV

    Synthesis of Temporal Causality

    Finkbeiner, Bernd, Frenkel, Hadar, Metzger, Niklas, Siber, Julian

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

44. 2024 · CAV

    The Top-Down Solver Verified: Building Confidence in Static Analyzers

    Stade, Yannick, Tilscher, Sarah, Seidl, Helmut

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

45. 2024 · CAV

    Toward Liveness Proofs at Scale

    McMillan, Kenneth L.

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

46. 2024 · CAV

    Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems

    Zhi, Dapeng, Wang, Peixin, Liu, Si, Ong, C.-H. Luke, Zhang, Min

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

47. 2024 · CAV

    Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems

    Lercher, Florian, Althoff, Matthias

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

48. 2024 · CAV

    Verification Algorithms for Automated Separation Logic Verifiers

    Eilers, Marco, Schwerhoff, Malte, Müller, Peter

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

49. 2024 · CAV

    Verifying Cake-Cutting, Faster

    Bertram, Noah, Lai, Tean, Hsu, Justin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

50. 2024 · CAV

    Verifying Global Two-Safety Properties in Neural Networks with Confidence

    Athavale, Anagha, Bartocci, Ezio, Christakis, Maria, Maffei, Matteo, Nickovic, Dejan, Weissenbacher, Georg

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

51. 2024 · CAV

    What Should Be Observed for Optimal Reward in POMDPs?

    Konsta, Alyzia-Maria, Lluch Lafuente, Alberto, Matheja, Christoph

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）