|
|
|
|
|
| 20 May 2025 |
Sreejith A V |
Active learning of deterministic one-counter automata |
 |
 |
| 08 Apr 2025 |
Nikhil Swamy |
Pulse: Proof-oriented Programming with Concurrent Separation Logic in F* |
|
|
| 04 Mar 2025 |
Alastair Donaldson |
Taking Back Control: Formally Modelling a Compiler Intermediate Representation for GPU Computing |
|
|
| 07 Jan 2025 |
S P Suresh |
Insecurity problem for assertions |
|
|
| 15 Oct 2024 |
Jan Křetínský |
Learning and Guessing Winning Policies in LTL Synthesis via Semantics |
|
|
| 06 Aug 2024 |
Prakash Saivasan |
Verifying Programs in Weak Memory Models with Persistency |
|
|
| 04 Jun 2024 |
Kartik Nagar |
Specifying and Verifying Correctness of Mergeable Replicated Data Types |
|
|
| 07 May 2024 |
Sumanth Prabhu |
Weakest Precondition Inference for Linear Array Programs |
|
|
| 02 Apr 2024 |
Azadeh Farzan |
Coarser Equivalences for Causal Concurrency |
|
|
| 19 Mar 2024 |
Suman Sadhukhan |
Bidding Games on Graphs - In theory and in practice |
|
|
| 23 Jan 2024 |
Thejaswini Raghavan |
Solving Rabin games using Colourful Universal Trees |
|
|
| 28 Nov 2023 |
Madhusudan Parthasarathy |
Learning Logical Expressions |
|
|
| 10 Oct 2023 |
Subhajit Roy |
Analysis of incomplete programs via Proof Engines and Fuzzing |
|
|
| 14 Sep 2023 |
Supratik Chakraborty |
Synthesizing Pareto-Optimal Interpretations for Black-Box ML Models |
|
|
| 11 Jul 2023 |
Shaz Qadeer |
Verification of Concurrent Programs with Civl |
|
|
| 20 Jun 2023 |
Kishor Jothimurugan |
Specification-Guided Reinforcement Learning |
|
|
| 17 Apr 2023 |
Sharon Shoham Buchbinder |
SAT-Based Invariant Inference and Its Relation to Concept Learning |
|
|
| 14 Mar 2023 |
Markus Kuppe |
TLA+: The Tools, The Language, and The Application |
|
|
| 07 Feb 2023 |
Krishna S |
Verification of Concurrent Programs under Release Acquire -- Part II |
|
|
| 03 Jan 2023 |
Umang Mathur |
Dynamic Data Race Prediction: Fundamentals and Advances |
|
|
| 06 Dec 2022 |
Krishna S |
Verification of Concurrent Programs under Release Acquire -- Part I |
|
|
| 01 Nov 2022 |
Shibashis Guha |
A Game of Pawns |
|
|
| 04 Oct 2022 |
Mahesh Viswanathan |
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs |
|
|
| 06 Sep 2022 |
Subodh Sharma |
Exploiting partial orders and symmetries in efficient analysis of message-passing concurrency |
|
|
| 02 Aug 2022 |
S. Akshay |
Boolean functional synthesis: A view from theory and practice |
|
|
| 07 Jun 2022 |
Aarti Gupta |
Formal Verification of Distributed Network Control Planes |
|
|
| 10 May 2022 |
Aseem Rastogi |
Proof-oriented Programming in F* |
|
|
| 05 Apr 2022 |
Nathanaël Fijalkow |
Scaling Neural Program Synthesis with Distribution-based Search |
|
|
| 01 Mar 2022 |
Peter Schrammel |
Parallel Bug-finding in Concurrent Programs via Reduced Interleaving Instances |
|
|
| 01 Feb 2022 |
Ramanathan Thinniyam |
Context-bounded liveness verification of multithreaded shared-memory programs |
|
|
| 04 Jan 2022 |
Rohan Bavishi |
Program Synthesis for Data Science |
|
|
| 07 Dec 2021 |
Ranjit Jhala |
Refinement Types for Secure Web Applications |
|
|
| 02 Nov 2021 |
Lucas Cordeiro |
Exploiting the SAT/SMT Revolution for Automated Software Verification |
|
|
| 05 Oct 2021 |
Suguman Bansal |
Reactive synthesis from Quantitative Constraints: An Automata Approach |
|
|
| 07 Sep 2021 |
Sorav Bansal |
Automatic BlackBox Equivalence Checking |
|
|
| 04 Aug 2021 |
Grigory Fedyukovich |
Constrained Horn Clauses for Verification and Synthesis |
|
|