Seguir
Bernhard Scholz
Bernhard Scholz
The University of Sydney
Dirección de correo verificada de sydney.edu.au - Página principal
Título
Citado por
Citado por
Año
Madmax: Surviving out-of-gas conditions in ethereum smart contracts
N Grech, M Kong, A Jurisevic, L Brent, B Scholz, Y Smaragdakis
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
3952018
Vandal: A scalable security analysis framework for smart contracts
L Brent, A Jurisevic, M Kong, E Liu, F Gauthier, V Gramoli, R Holz, ...
arXiv preprint arXiv:1809.03981, 2018
3222018
Soufflé: On Synthesis of Program Analyzers
H Jordan, B Scholz, P Subotić
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
2272016
Minimising semantic drift with mutual exclusion bootstrapping
JR Curran, T Murphy, B Scholz
Proceedings of the 10th Conference of the Pacific Association for …, 2007
2002007
Ethainter: a smart contract security analyzer for composite vulnerabilities
L Brent, N Grech, S Lagouvardos, B Scholz, Y Smaragdakis
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
1332020
On fast large-scale program analysis in datalog
B Scholz, H Jordan, P Subotić, T Westmann
Proceedings of the 25th International Conference on Compiler Construction …, 2016
1312016
Register allocation for irregular architectures
B Scholz, E Eckstein
Proceedings of the joint conference on Languages, compilers and tools for …, 2002
1202002
Gigahorse: thorough, declarative decompilation of smart contracts
N Grech, L Brent, B Scholz, Y Smaragdakis
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
1112019
Parfait: designing a scalable bug checker
C Cifuentes, B Scholz
Proceedings of the 2008 workshop on Static analysis, 4-11, 2008
772008
Register liveness analysis for optimizing dynamic binary translation
M Probst, A Krall, B Scholz
Ninth Working Conference on Reverse Engineering, 2002. Proceedings., 35-44, 2002
762002
User-input dependence analysis via graph reachability
B Scholz, C Zhang, C Cifuentes
2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008
692008
BegBunch: benchmarking for C bug detection tools
C Cifuentes, C Hoermann, N Keynes, L Li, S Long, E Mealy, M Mounteney, ...
Proceedings of the 2nd International Workshop on Defects in Large Software …, 2009
662009
Provenance-guided synthesis of datalog programs
M Raghothaman, J Mendelson, D Zhao, M Naik, B Scholz
Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019
642019
Code instruction selection based on SSA-graphs
E Eckstein, O König, B Scholz
International Workshop on Software and Compilers for Embedded Systems, 49-65, 2003
552003
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
T Fahringer, B Scholz
Springer Berlin Heidelberg, 2003
512003
Generalized instruction selection using SSA-graphs
D Ebner, F Brandner, B Scholz, A Krall, P Wiedermann, A Kadlec
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages …, 2008
502008
Orchestration by approximation: mapping stream programs onto multicore architectures
SM Farhad, Y Ko, B Burgstaller, B Scholz
ACM SIGPLAN Notices 46 (3), 357-368, 2011
482011
Nearly optimal register allocation with PBQP
L Hames, B Scholz
Joint Modular Languages Conference, 346-361, 2006
482006
Symbolic pointer analysis for detecting memory leaks
B Scholz, J Blieberger, T Fahringer
Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and …, 1999
471999
A specialized B-tree for concurrent datalog evaluation
H Jordan, P Subotić, D Zhao, B Scholz
Proceedings of the 24th symposium on principles and practice of parallel …, 2019
452019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20