Stephen Kell
TitleCited byYear
A survey of practical software adaptation techniques.
S Kell
J. UCS 14 (13), 2110-2157, 2008
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
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
Rethinking software connectors
S Kell
International workshop on Synthesis and analysis of component connectors: in …, 2007
The missing link: explaining ELF static linking, semantically
S Kell, DP Mulligan, P Sewell
ACM SIGPLAN Notices 51 (10), 607-623, 2016
Towards a dynamic object model within Unix processes
S Kell
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
In search of types
S Kell
Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014
Virtual machines should be invisible
S Kell, C Irwin
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11 …, 2011
Component adaptation and assembly using interface relations
S Kell
ACM Sigplan Notices 45 (10), 322, 2010
Dynamically diagnosing type errors in unsafe code
S Kell
ACM SIGPLAN Notices 51 (10), 800-819, 2016
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
An analysis of x86-64 inline assembly in C programs
M Rigger, S Marr, S Kell, D Leopoldseder, H Mössenböck
ACM SIGPLAN Notices 53 (3), 84-99, 2018
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
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
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), 67, 2019
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
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
The operating system: should there be one?
S Kell
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
Configuration and adaptation of binary software components
S Kell
2009 31st International Conference on Software Engineering-Companion Volume …, 2009
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
The system can't perform the operation now. Try again later.
Articles 1–20