Stephen Kell
Title
Cited by
Cited by
Year
A survey of practical software adaptation techniques.
S Kell
J. UCS 14 (13), 2110-2157, 2008
452008
The JVM is not observable enough (and what to do about it)
S Kell, D Ansaloni, W Binder, L Marek
Proceedings of the sixth ACM workshop on Virtual machines and intermediate …, 2012
352012
ShadowVM: Robust and comprehensive dynamic program analysis for the Java platform
L Marek, S Kell, Y Zheng, L Bulej, W Binder, P Tůma, D Ansaloni, ...
ACM SIGPLAN Notices 49 (3), 105-114, 2013
282013
The missing link: explaining ELF static linking, semantically
S Kell, DP Mulligan, P Sewell
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
202016
Rethinking software connectors
S Kell
International workshop on Synthesis and analysis of component connectors: in …, 2007
202007
Towards a dynamic object model within Unix processes
S Kell
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
192015
Dynamically diagnosing type errors in unsafe code
S Kell
ACM SIGPLAN Notices 51 (10), 800-819, 2016
172016
In search of types
S Kell
Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014
172014
Virtual machines should be invisible
S Kell, C Irwin
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11 …, 2011
162011
Exploring C semantics and pointer provenance
K Memarian, VBF Gomes, B Davis, S Kell, A Richardson, RNM Watson, ...
Proceedings of the ACM on Programming Languages 3 (POPL), 1-32, 2019
152019
Component adaptation and assembly using interface relations
S Kell
ACM Sigplan Notices 45 (10), 322-340, 2010
132010
The mythical matched modules: overcoming the tyranny of inflexible software construction
S Kell
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
122009
An analysis of x86-64 inline assembly in c programs
M Rigger, S Marr, S Kell, D Leopoldseder, H Mössenböck
Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on …, 2018
112018
A comprehensive toolchain for workload characterization across JVM languages
A Sarimbekov, A Sewe, S Kell, Y Zheng, W Binder, L Bulej, D Ansaloni
Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for …, 2013
112013
Comprehensive multiplatform dynamic program analysis for Java and android
Y Zheng, S Kell, L Bulej, H Sun, W Binder
IEEE Software 33 (4), 55-63, 2015
102015
Enabling modularity and re-use in dynamic program analysis tools for the java virtual machine
D Ansaloni, S Kell, Y Zheng, L Bulej, W Binder, P Tůma
European Conference on Object-Oriented Programming, 352-377, 2013
92013
Dynamic optimization of bytecode instrumentation
Y Zheng, L Bulej, C Zhang, S Kell, D Ansaloni, W Binder
Proceedings of the 7th ACM workshop on Virtual machines and intermediate …, 2013
52013
Some were meant for C: the endurance of an unmanageable language
S Kell
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017
42017
The operating system: should there be one?
S Kell
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
32013
Configuration and adaptation of binary software components
S Kell
2009 31st International Conference on Software Engineering-Companion Volume …, 2009
32009
The system can't perform the operation now. Try again later.
Articles 1–20