CAV

2021–2025 確定版

著者一覧 · 国際会議 · 大学ランキング

CAV 公式サイト ↗

Programming Languages & Formal Methods

2021 · 59 papers

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

2021 · CAV
A Temporal Logic for Asynchronous Hyperproperties
Baumeister, Jan, Coenen, Norine, Bonakdarpour, Borzoo, Finkbeiner, Bernd, Sánchez, César
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures
Leutgeb, Lorenz, Moser, Georg, Zuleger, Florian
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Adapting Behaviors via Reactive Synthesis
Amram, Gal, Bansal, Suguman, Fried, Dror, Tabajara, Lucas Martinelli, Vardi, Moshe Y., Weiss, Gera
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation
Yang, Zhengfeng, Zhang, Yidan, Lin, Wang, Zeng, Xia, Tang, Xiaochao, Zeng, Zhenbing, Liu, Zhiming
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation
Lee, Juneyoung, Kim, Dongjoo, Hur, Chung-Kil, Lopes, Nuno P.
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Automated Safety Verification of Programs Invoking Neural Networks
Christakis, Maria, Eniser, Hasan Ferit, Hermanns, Holger, Hoffmann, Jörg, Kothari, Yugesh, Li, Jianlin, Navas, Jorge A., Wüstholz, Valentin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Automatic Generation and Validation of Instruction Encoders and Decoders
Xu, Xiangzhe, Wu, Jinhua, Wang, Yuting, Yin, Zhenguo, Li, Pengfei
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios
Mansur, Muhammad Numair, Mariano, Benjamin, Christakis, Maria, Navas, Jorge A., Wüstholz, Valentin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks
Zhang, Yedi, Zhao, Zhe, Chen, Guangke, Song, Fu, Chen, Taolue
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Causality-Based Game Solving
Baier, Christel, Coenen, Norine, Finkbeiner, Bernd, Funke, Florian, Jantsch, Simon, Siber, Julian
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Checking Data-Race Freedom of GPU Kernels, Compositionally
Cogumbreiro, Tiago, Lange, Julien, Rong, Dennis Liew Zhen, Zicarelli, Hannah
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Computing Bottom SCCs Symbolically Using Transition Guided Reduction
Beneš, Nikola, Brim, Luboš, Pastva, Samuel, Šafránek, David
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Constraint-Based Relational Verification
Unno, Hiroshi, Terauchi, Tachio, Koskinen, Eric
Programming Languages & Formal Methods
日本大学: 筑波大学 / 早稲田大学
2021 · CAV
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver
Shi, Xiaomu, Fu, Yu-Fu, Liu, Jiaxiang, Tsai, Ming-Hsien, Wang, Bow-Yaw, Yang, Bo-Yin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Counterexample-Guided Partial Bounding for Recursive Function Synthesis
Farzan, Azadeh, Nicolet, Victor
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Counting Minimal Unsatisfiable Subsets
Bendík, Jaroslav, Meel, Kuldeep S.
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Decision Tree Learning in CEGIS-Based Termination Analysis
Kura, Satoshi, Unno, Hiroshi, Hasuo, Ichiro
Programming Languages & Formal Methods
日本大学: 総合研究大学院大学 / 筑波大学
2021 · CAV
Delay-Bounded Scheduling Without Delay!
Johnson, Andrew, Wahl, Thomas
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Diffy: Inductive Reasoning of Array Programs Using Difference Invariants
Chakraborty, Supratik, Gupta, Ashutosh, Unadkat, Divyesh
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness
Zhang, Zhenya, Lyu, Deyun, Arcaini, Paolo, Ma, Lei, Hasuo, Ichiro, Zhao, Jianjun
Programming Languages & Formal Methods
日本大学: 九州大学
2021 · CAV
Efficient SMT-Based Analysis of Failure Propagation
Bozzano, Marco, Cimatti, Alessandro, Fernandes Pires, Anthony, Griggio, Alberto, Jonáš, Martin, Kimberly, Greg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Enforcing Almost-Sure Reachability in POMDPs
Junges, Sebastian, Jansen, Nils, Seshia, Sanjit A.
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Fast Computation of Strong Control Dependencies
Chalupa, Marek, Klas̆ka, David, Strejček, Jan, Tomovic̆, Lukás̆
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata
Akshay, S., Gastin, Paul, Prakash, Karthik R.
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Formally Validating a Practical Verification Condition Generator
Parthasarathy, Gaurav, Müller, Peter, Summers, Alexander J.
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Foundations of Fine-Grained Explainability
Hallé, Sylvain, Tremblay, Hugo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
Mohan, Anshuman, Leow, Wei Xiang, Hobor, Aquinas
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Ghost Signals: Verifying Termination of Busy Waiting
Reinhard, Tobias, Jacobs, Bart
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Gillian, Part II: Real-World Verification for JavaScript and C
Maksimović, Petar, Ayoun, Sacha-Élie, Santos, José Fragoso, Gardner, Philippa
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
Mover, Sergio, Cimatti, Alessandro, Griggio, Alberto, Irfan, Ahmed, Tonetta, Stefano
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Interpolation and Model Checking for Nonlinear Arithmetic
Jovanović, Dejan, Dutertre, Bruno
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Latticed k-Induction with an Application to Probabilistic Programs
Batz, Kevin, Chen, Mingshuai, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph, Schröer, Philipp
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Learning Probabilistic Termination Proofs
Abate, Alessandro, Giacobbe, Mirco, Roy, Diptarko
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Learning Union of Integer Hypercubes with Queries
Markgraf, Oliver, Stan, Daniel, Lin, Anthony W.
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Lower-Bound Synthesis Using Loop Specialization and Max-SMT
Albert, Elvira, Genaim, Samir, Martin-Martin, Enrique, Merayo, Alicia, Rubio, Albert
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Model Checking $$\omega $$ -Regular Properties with Decoupled Search
Gnad, Daniel, Eisenhut, Jan, Lluch Lafuente, Alberto, Hoffmann, Jörg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
Holtzen, Steven, Junges, Sebastian, Vazquez-Chanlatte, Marcell, Millstein, Todd, Seshia, Sanjit A., Van den Broeck, Guy
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Model-Checking Structured Context-Free Languages
Chiari, Michele, Mandrioli, Dino, Pradella, Matteo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Model-Free Reinforcement Learning for Branching Markov Decision Processes
Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference
Girol, Guillaume, Farinier, Benjamin, Bardin, Sébastien
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Porous Invariants
Lefaucheux, Engel, Ouaknine, Joël, Purser, David, Worrell, James
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security
Eilers, Marco, Meier, Severin, Müller, Peter
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Program Sketching by Automatically Generating Mocks from Tests
Bragg, Nate F. F., Foster, Jeffrey S., Roux, Cody, Solar-Lezama, Armando
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Progress in Certifying Hardware Model Checking Results
Yu, Emily, Biere, Armin, Heljanko, Keijo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Reflections on Termination of Linear Loops
Zhu, Shaowei, Kincaid, Zachary
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
Constantinides, George, Dahlqvist, Fredrik, Rakamarić, Zvonimir, Salvia, Rocco
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Robustness Verification of Quantum Classifiers
Guan, Ji, Fang, Wang, Ying, Mingsheng
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability
Tran, Hoang-Dung, Pal, Neelanjana, Musau, Patrick, Lopez, Diego Manzanas, Hamilton, Nathaniel, Yang, Xiaodong, Bak, Stanley, Johnson, Taylor T.
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Runtime Monitors for Markov Decision Processes
Junges, Sebastian, Torfah, Hazem, Seshia, Sanjit A.
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Scalable Polyhedral Verification of Recurrent Neural Networks
Ryou, Wonryong, Chen, Jiayu, Balunovic, Mislav, Singh, Gagandeep, Dan, Andrei, Vechev, Martin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Sound Verification Procedures for Temporal Properties of Infinite-State Systems
Peyras, Quentin, Bodeveix, Jean-Paul, Brunel, Julien, Chemouil, David
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Stateless Model Checking Under a Reads-Value-From Equivalence
Agarwal, Pratyush, Chatterjee, Krishnendu, Pathak, Shreya, Pavlogiannis, Andreas, Toman, Viktor
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Summing up Smart Transitions
Elad, Neta, Rain, Sophie, Immerman, Neil, Kovács, Laura, Sagiv, Mooly
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Synthesis with Asymptotic Resource Bounds
Hu, Qinheping, Cyphert, John, D’Antoni, Loris, Reps, Thomas
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
Wang, Qiuye, Chen, Mingshuai, Xue, Bai, Zhan, Naijun, Katoen, Joost-Pieter
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Theory Exploration Powered by Deductive Synthesis
Singher, Eytan, Itzhaky, Shachar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Chen, Xiaohong, Lin, Zhengyao, Trinh, Minh-Thai, Roşu, Grigore
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · CAV
Verified Cryptographic Code for Everybody
Boston, Brett, Breese, Samuel, Dodds, Joey, Dodds, Mike, Huffman, Brian, Petcher, Adam, Stefanescu, Andrei
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）