_id,doi,title
8934,10.15479/AT:ISTA:8934,Parameterized and algebro-geometric advances in static program analysis
7810,10.1007/978-3-030-44914-8_5,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
6918,10.1016/j.ress.2019.106665,An efficient algorithm for computing network reliability in small treewidth
6780,10.1145/3360555,Modular verification for almost-sure termination of probabilistic programs
7014,10.1145/3339984,Non-polynomial worst-case analysis of recursive programs
6056,10.1109/BLOC.2019.8751326,Probabilistic smart contracts: Secure randomness on the blockchain
6175,10.1145/3314221.3314581,Cost analysis of nondeterministic probabilistic programs
6340,10.1109/Cybermatics_2018.2018.00231,Secure Credit Reporting on the Blockchain
66,10.4230/LIPIcs.CONCUR.2018.11,Ergodic mean-payoff games for the analysis of attacks in crypto-currencies