Follow
Stephen Kell
Title
Cited by
Cited by
Year
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
562019
A survey of practical software adaptation techniques.
S Kell
J. Univers. Comput. Sci. 14 (13), 2110-2157, 2008
512008
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
402012
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
372013
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
312016
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
262018
Towards a dynamic object model within Unix processes
S Kell
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
232015
Dynamically diagnosing type errors in unsafe code
S Kell
ACM SIGPLAN Notices 51 (10), 800-819, 2016
212016
In search of types
S Kell
Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014
202014
Rethinking software connectors
S Kell
International workshop on Synthesis and analysis of component connectors: in …, 2007
202007
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
Component adaptation and assembly using interface relations
S Kell
ACM Sigplan Notices 45 (10), 322-340, 2010
152010
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
122015
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
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
112017
Reliable and fast DWARF-based stack unwinding
T Bastian, S Kell, F Zappa Nardelli
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-24, 2019
102019
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
102013
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
ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013
92013
Evaluating programming systems design
J Edwards, S Kell, T Petricek, L Church
62019
The operating system: should there be one?
S Kell
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
62013
The system can't perform the operation now. Try again later.
Articles 1–20