Bernhard Scholz
Bernhard Scholz
Bestätigte E-Mail-Adresse bei - Startseite
TitelZitiert vonJahr
Minimising semantic drift with mutual exclusion bootstrapping
JR Curran, T Murphy, B Scholz
Proceedings of the 10th Conference of the Pacific Association for …, 2007
Register allocation for irregular architectures
B Scholz, E Eckstein
ACM SIGPLAN Notices 37 (7), 139-148, 2002
Parfait-designing a scalable bug checker
C Cifuentes, B Scholz
Dagstuhl Seminar Proceedings, 2008
User-input dependence analysis via graph reachability
B Scholz, C Zhang, C Cifuentes
Sun Microsystems, Inc., 2008
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
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
T Fahringer, B Scholz
Springer, 2003
Soufflé: On synthesis of program analyzers
H Jordan, B Scholz, P Subotić
International Conference on Computer Aided Verification, 422-430, 2016
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), 116, 2018
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
Orchestration by approximation: mapping stream programs onto multicore architectures
SM Farhad, Y Ko, B Burgstaller, B Scholz
ACM SIGARCH Computer Architecture News 39 (1), 357-368, 2011
Symbolic evaluation for parallelizing compilers
T Fahringer, B Scholz
International Conference on Supercomputing, 261-268, 1997
Symbolic pointer analysis for detecting memory leaks
B Scholz, J Blieberger, T Fahringer
ACM SIGPLAN Notices 34 (11), 104-113, 1999
Generalized instruction selection using SSA-graphs
D Ebner, F Brandner, B Scholz, A Krall, P Wiedermann, A Kadlec
ACM Sigplan Notices 43 (7), 31-40, 2008
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
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
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
A unified symbolic evaluation framework for parallelizing compilers
T Fahringer, B Scholz
IEEE Transactions on Parallel and Distributed Systems 11 (11), 1105-1125, 2000
Corona: Energy-efficient multi-query processing in wireless sensor networks
R Khoury, T Dawborn, B Gafurov, G Pink, E Tse, Q Tse, K Almi’Ani, ...
International conference on database systems for advanced applications, 416-419, 2010
Nearly optimal register allocation with PBQP
L Hames, B Scholz
Joint Modular Languages Conference, 346-361, 2006
Symbolic data flow analysis for detecting deadlocks in Ada tasking programs
J Blieberger, B Burgstaller, B Scholz
International Conference on Reliable Software Technologies, 225-237, 2000
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20