Bernhard Scholz
Bernhard Scholz
Bestätigte E-Mail-Adresse bei sydney.edu.au - 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
1422007
Register allocation for irregular architectures
B Scholz, E Eckstein
ACM SIGPLAN Notices 37 (7), 139-148, 2002
1042002
User-input dependence analysis via graph reachability
B Scholz, C Zhang, C Cifuentes
Sun Microsystems, Inc., 2008
502008
Parfait-designing a scalable bug checker
C Cifuentes, B Scholz
Dagstuhl Seminar Proceedings, 2008
502008
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
T Fahringer, B Scholz
Springer, 2003
482003
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
442009
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
432003
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
422011
Symbolic evaluation for parallelizing compilers
T Fahringer, B Scholz
International Conference on Supercomputing, 261-268, 1997
411997
Soufflé: On synthesis of program analyzers
H Jordan, B Scholz, P Subotić
International Conference on Computer Aided Verification, 422-430, 2016
402016
Symbolic pointer analysis for detecting memory leaks
B Scholz, J Blieberger, T Fahringer
ACM SIGPLAN Notices 34 (11), 104-113, 1999
401999
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
362008
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
352002
A unified symbolic evaluation framework for parallelizing compilers
T Fahringer, B Scholz
IEEE Transactions on Parallel and Distributed Systems 11 (11), 1105-1125, 2000
352000
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
332010
Nearly optimal register allocation with PBQP
L Hames, B Scholz
Joint Modular Languages Conference, 346-361, 2006
332006
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
312000
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
302016
Layered static program analysis framework for software testing
CN Cifuentes, BF Scholz
US Patent 8,527,965, 2013
302013
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
292018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20