| Type-Driven Gradual Security with References |
3 |
| Static Identification of Injection Attacks in Java |
2 |
| Conditioning in Probabilistic Programming |
1 |
| Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions |
1 |
| Feature-Specific Profiling |
1 |
| Adaptive Static Analysis via Learning with Bayesian Optimization |
1 |
| Program Synthesis for Program Analysis |
1 |
| Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components |
1 |
| POP-PL: A Patient-Oriented Prescription Programming Language |
1 |
| Higher-order Demand-driven Program Analysis |
1 |
| A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis |
1 |
| A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework |
0 |
| Modular Termination Verification of Single-Threaded and Multithreaded Programs |
0 |
| Analysis and Optimization of Task Granularity on the java Virtual Machine |
0 |
| PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs |
0 |
| Combinatorial Register Allocation and Instruction Scheduling |
0 |
| CSS Minification via Constraint Solving |
0 |
| ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States |
0 |
| Context-Free Session Type Inference |
0 |
| Probabilistic Termination by Monadic Affine Sized Typing |
0 |
| A Classical Sequent Calculus with Dependent Types |
0 |
| Failure Recovery in Resilient X10 |
0 |
| Static Backward Slicing of Non-deterministic Programs and Systems |
0 |
| Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs |
0 |
| Cross-Language Interoperability in a Multi-Language Runtime |
0 |
| A Logical Analysis of Framing for Specifications with Pure Method Calls |
0 |
| Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection |
0 |
| Interconnectability of Session-Based Logical Processes |
0 |
| Practical Subtyping for Curry-Style Languages |
0 |
| Rethinking Incremental and Parallel Pointer Analysis |
0 |
| Optimal Choice of When to Garbage Collect |
0 |
| Dynamic Deadlock Verification for General Barrier Synchronisation |
0 |
| Verifying Reliability Properties Using the Hyperball Abstract Domain |
0 |
| Bit-Precise Procedure-Modular Termination Analysis |
0 |
| Constraint-Based Refactoring |
0 |
| Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth |
0 |
| Non-polynomial Worst-Case Analysis of Recursive Programs |
0 |
| On the Impact of Programming Languages on Code Quality: A Reproduction Study |
0 |
| Environmental Bisimulations for Probabilistic Higher-order Languages |
0 |
