28:34

[COVID] FIDDLR: streamlining reuse with concern-specific modelling languages

ACM SIGPLAN

28:28

[COVID] Manipulating GUI Structures Declaratively

ACM SIGPLAN

59:18

[COVID] Automatic Grammar Repair

ACM SIGPLAN

24:00

[COVID] A Counterexample-Guided Debugger for Non-Recursive Datalog

ACM SIGPLAN

24:51

[COVID] A New Refinement Type System for Automated nu-HFLZ Validity Checkin

ACM SIGPLAN

26:40

[COVID] P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine

ACM SIGPLAN

22:47

[COVID] Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination

ACM SIGPLAN

30:33

[COVID] Abstract Neural Networks

ACM SIGPLAN

28:17

[COVID] Reduced Products of Abstract Domains for Fairness Certification of Neural Networks

ACM SIGPLAN

28:25

[COVID] Static analysis of ReLU neural networks with tropical polyhedra

ACM SIGPLAN

28:36

[COVID] Compositional Verification of Smart Contracts Through Communication Abstraction

ACM SIGPLAN

30:30

[COVID] Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries

ACM SIGPLAN

28:37

[COVID] Composing and decomposing op-based CRDTs with semidirect products

ACM SIGPLAN

30:28

[COVID] Improving Thread-Modular Abstract Interpretation

ACM SIGPLAN

35:01

[COVID] Static Analysis of Endian Portability by Abstract Interpretation

ACM SIGPLAN

29:14

[COVID] Certifying the Synthesis of Heap-Manipulating Programs

ACM SIGPLAN

29:43

[COVID] Kindly Bent to Free Us

ACM SIGPLAN

31:24

[COVID] Stable relations and abstract interpretation of higher-order programs

ACM SIGPLAN

28:56

[COVID] Label dependent lambda calculus and gradual typing

ACM SIGPLAN

19:56

[COVID] Modular Specification and Verification of Closures in Rust

ACM SIGPLAN

23:50

[COVID] Revisiting Iso-Recursive Subtyping

ACM SIGPLAN

33:16

[COVID]Symbolic value-flow static analysis:deep,precise,complete modeling of Ethereum smartcontracts

ACM SIGPLAN

29:49

[COVID] A Case Study in Language-Based Security: Building an I/O Library for Wyvern

ACM SIGPLAN

29:17

[COVID] How (Not) To Write Java Pointer Analyses After 2020

ACM SIGPLAN

30:16

[COVID] Putting the Semantics into Semantic Versioning

ACM SIGPLAN

26:38

[COVID]PMEvo:portable inference of port mappings for out-of-order processors by evolutionary optimiz

ACM SIGPLAN

31:26

[COVID] Software Model-Checking as Cyclic-Proof Search

ACM SIGPLAN

21:19

[COVID] SolType: Refinement Types for Arithmetic Overflow in Solidity

ACM SIGPLAN

25:16

[COVID] Behavioral simulation for smart contracts

ACM SIGPLAN

31:25

[COVID] Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities

ACM SIGPLAN

31:02

[COVID] Practical Smart Contract Sharding with Ownership and Commutativity Analysis

ACM SIGPLAN