CAV

CAV 公式サイト ↗

Programming Languages & Formal Methods

2022 · 40 papers

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

1. 2022 · CAV

   A Scalable Shannon Entropy Estimator

   Golia, Priyanka, Juba, Brendan, Meel, Kuldeep S.

   Programming Languages & Formal Methods

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

2. 2022 · CAV

   Abstraction Modulo Stability for Reverse Engineering

   Becchi, Anna, Cimatti, Alessandro

   Programming Languages & Formal Methods

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

3. 2022 · CAV

   Abstraction-Refinement for Hierarchical Probabilistic Models

   Junges, Sebastian, Spaan, Matthijs T. J.

   Programming Languages & Formal Methods

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

4. 2022 · CAV

   Affine Loop Invariant Generation via Matrix Algebra

   Ji, Yucheng, Fu, Hongfei, Fang, Bin, Chen, Haibo

   Programming Languages & Formal Methods

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

5. 2022 · CAV

   Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

   Leutgeb, Lorenz, Moser, Georg, Zuleger, Florian

   Programming Languages & Formal Methods

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

6. 2022 · CAV

   Data-Driven Invariant Learning for Probabilistic Programs

   Bao, Jialu, Trivedi, Nitesh, Pathak, Drashti, Hsu, Justin, Roy, Subhajit

   Programming Languages & Formal Methods

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

7. 2022 · CAV

   Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes

   Bouajjani, Ahmed, Boutglay, Wael-Amine, Habermehl, Peter

   Programming Languages & Formal Methods

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

8. 2022 · CAV

   Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition

   Li, Yong, Turrini, Andrea, Feng, Weizhi, Vardi, Moshe Y., Zhang, Lijun

   Programming Languages & Formal Methods

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

9. 2022 · CAV

   Does a Program Yield the Right Distribution?

   Chen, Mingshuai, Katoen, Joost-Pieter, Klinkenberg, Lutz, Winkler, Tobias

   Programming Languages & Formal Methods

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

10. 2022 · CAV

    End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers

    Yuan, Shenghao, Besson, Frédéric, Talpin, Jean-Pierre, Hym, Samuel, Zandberg, Koen, Baccelli, Emmanuel

    Programming Languages & Formal Methods

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

11. 2022 · CAV

    Even Faster Conflicts and Lazier Reductions for String Solvers

    Nötzli, Andres, Reynolds, Andrew, Barbosa, Haniel, Barrett, Clark, Tinelli, Cesare

    Programming Languages & Formal Methods

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

12. 2022 · CAV

    Example Guided Synthesis of Linear Approximations for Neural Network Verification

    Paulsen, Brandon, Wang, Chao

    Programming Languages & Formal Methods

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

13. 2022 · CAV

    Explaining Hyperproperty Violations

    Coenen, Norine, Dachselt, Raimund, Finkbeiner, Bernd, Frenkel, Hadar, Hahn, Christopher, Horak, Tom, Metzger, Niklas, Siber, Julian

    Programming Languages & Formal Methods

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

14. 2022 · CAV

    FORQ-Based Language Inclusion Formal Testing

    Doveri, Kyveli, Ganty, Pierre, Mazzocchi, Nicolas

    Programming Languages & Formal Methods

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

15. 2022 · CAV

    Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols

    Choi, Joonwon, Chlipala, Adam, Arvind

    Programming Languages & Formal Methods

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

16. 2022 · CAV

    Information Flow Guided Synthesis

    Finkbeiner, Bernd, Metzger, Niklas, Moses, Yoram

    Programming Languages & Formal Methods

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

17. 2022 · CAV

    Local Search for SMT on Linear Integer Arithmetic

    Cai, Shaowei, Li, Bohan, Zhang, Xindi

    Programming Languages & Formal Methods

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

18. 2022 · CAV

    Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption

    Banno, Ryotaro, Matsuoka, Kotaro, Matsumoto, Naoki, Bian, Song, Waga, Masaki, Suenaga, Kohei

    Programming Languages & Formal Methods

    日本大学: 京都大学

19. 2022 · CAV

    PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP

    Agarwal, Chaitanya, Guha, Shibashis, Křetínský, Jan, Muruganandham, Pazhamalai

    Programming Languages & Formal Methods

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

20. 2022 · CAV

    Playing Against Fair Adversaries in Stochastic Games with Total Rewards

    Castro, Pablo F., D’Argenio, Pedro R., Demasi, Ramiro, Putruele, Luciano

    Programming Languages & Formal Methods

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

21. 2022 · CAV

    PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation

    Fan, Yuxin, Song, Fu, Chen, Taolue, Zhang, Liangfeng, Liu, Wanwei

    Programming Languages & Formal Methods

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

22. 2022 · CAV

    Proof-Guided Underapproximation Widening for Bounded Model Checking

    Chatterjee, Prantik, Meda, Jaydeepsinh, Lal, Akash, Roy, Subhajit

    Programming Languages & Formal Methods

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

23. 2022 · CAV

    Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation

    Gittis, Andreas, Vin, Eric, Fremont, Daniel J.

    Programming Languages & Formal Methods

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

24. 2022 · CAV

    Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement

    Bak, Stanley, Bogomolov, Sergiy, Hencey, Brandon, Kochdumper, Niklas, Lew, Ethan, Potomkin, Kostiantyn

    Programming Languages & Formal Methods

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

25. 2022 · CAV

    Reasoning About Data Trees Using CHCs

    Faella, Marco, Parlato, Gennaro

    Programming Languages & Formal Methods

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

26. 2022 · CAV

    SMT-Based Translation Validation for Machine Learning Compiler

    Bang, Seongwon, Nam, Seunghyeon, Chun, Inwhan, Jhoo, Ho Young, Lee, Juneyoung

    Programming Languages & Formal Methods

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

27. 2022 · CAV

    Sampling-Based Verification of CTMCs with Uncertain Rates

    Badings, Thom S., Jansen, Nils, Junges, Sebastian, Stoelinga, Marielle, Volk, Matthias

    Programming Languages & Formal Methods

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

28. 2022 · CAV

    Shared Certificates for Neural Network Verification

    Fischer, Marc, Sprecher, Christian, Dimitrov, Dimitar Iliev, Singh, Gagandeep, Vechev, Martin

    Programming Languages & Formal Methods

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

29. 2022 · CAV

    Software Verification of Hyperproperties Beyond k-Safety

    Beutner, Raven, Finkbeiner, Bernd

    Programming Languages & Formal Methods

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

30. 2022 · CAV

    Sound Automation of Magic Wands

    Dardinier, Thibault, Parthasarathy, Gaurav, Weeks, Noé, Müller, Peter, Summers, Alexander J.

    Programming Languages & Formal Methods

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

31. 2022 · CAV

    Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

    Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Meggendorfer, Tobias, Žikelić, Đorđe

    Programming Languages & Formal Methods

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

32. 2022 · CAV

    Specification-Guided Learning of Nash Equilibria with High Social Welfare

    Jothimurugan, Kishor, Bansal, Suguman, Bastani, Osbert, Alur, Rajeev

    Programming Languages & Formal Methods

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

33. 2022 · CAV

    Synthesis and Analysis of Petri Nets from Causal Specifications

    de Oliveira Oliveira, Mateus

    Programming Languages & Formal Methods

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

34. 2022 · CAV

    Synthesizing Fair Decision Trees via Iterative Constraint Solving

    Wang, Jingbo, Li, Yannan, Wang, Chao

    Programming Languages & Formal Methods

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

35. 2022 · CAV

    The Lattice-Theoretic Essence of Property Directed Reachability Analysis

    Kori, Mayuko, Urabe, Natsuki, Katsumata, Shin-ya, Suenaga, Kohei, Hasuo, Ichiro

    Programming Languages & Formal Methods

    日本大学: 京都大学 / 総合研究大学院大学

36. 2022 · CAV

    Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning

    Jin, Peng, Tian, Jiaxu, Zhi, Dapeng, Wen, Xuejun, Zhang, Min

    Programming Languages & Formal Methods

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

37. 2022 · CAV

    Verified Erasure Correction in Coq with MathComp and VST

    Cohen, Joshua M., Wang, Qinshi, Appel, Andrew W.

    Programming Languages & Formal Methods

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

38. 2022 · CAV

    Verifying Fairness in Quantum Machine Learning

    Guan, Ji, Fang, Wang, Ying, Mingsheng

    Programming Languages & Formal Methods

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

39. 2022 · CAV

    Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations

    Blondin, Michael, Mazowiecki, Filip, Offtermatt, Philip

    Programming Languages & Formal Methods

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

40. 2022 · CAV

    Verifying Neural Networks Against Backdoor Attacks

    Pham, Long H., Sun, Jun

    Programming Languages & Formal Methods

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