Следене
Bernhard Scholz
Bernhard Scholz
The University of Sydney
Потвърден имейл адрес: sydney.edu.au - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
4522018
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
3762018
Soufflé: On Synthesis of Program Analyzers
H Jordan, B Scholz, P Subotić
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
2662016
Minimising semantic drift with mutual exclusion bootstrapping
JR Curran, T Murphy, B Scholz
Proceedings of the 10th Conference of the Pacific Association for …, 2007
2042007
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
1842020
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
1502016
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
1492019
Register allocation for irregular architectures
B Scholz, E Eckstein
Proceedings of the joint conference on Languages, compilers and tools for …, 2002
1272002
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
802019
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
772002
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
692009
User-input dependence analysis via graph reachability
B Scholz, C Zhang, C Cifuentes
2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008
682008
MadMax: Analyzing the out-of-gas world of smart contracts
N Grech, M Kong, A Jurisevic, L Brent, B Scholz, Y Smaragdakis
Communications of the ACM 63 (10), 87-95, 2020
562020
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
562003
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
532019
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
532008
Nearly optimal register allocation with PBQP
L Hames, B Scholz
Joint Modular Languages Conference, 346-361, 2006
532006
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
T Fahringer, B Scholz
Springer Berlin Heidelberg, 2003
502003
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20