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 | 62 | 2019 |
A survey of practical software adaptation techniques. S Kell J. Univers. Comput. Sci. 14 (13), 2110-2157, 2008 | 50 | 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 | 40 | 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 | 38 | 2013 |
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 | 31 | 2016 |
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 | 26 | 2018 |
Towards a dynamic object model within Unix processes S Kell 2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015 | 23 | 2015 |
Dynamically diagnosing type errors in unsafe code S Kell ACM SIGPLAN Notices 51 (10), 800-819, 2016 | 21 | 2016 |
In search of types S Kell Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014 | 21 | 2014 |
Rethinking software connectors S Kell International workshop on Synthesis and analysis of component connectors: in …, 2007 | 20 | 2007 |
Virtual machines should be invisible S Kell, C Irwin Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11 …, 2011 | 15 | 2011 |
Component adaptation and assembly using interface relations S Kell ACM Sigplan Notices 45 (10), 322-340, 2010 | 15 | 2010 |
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 | 13 | 2019 |
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 | 12 | 2015 |
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 | 12 | 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 | 11 | 2017 |
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 | 10 | 2013 |
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 | 9 | 2013 |
Evaluating programming systems design J Edwards, S Kell, T Petricek, L Church | 7 | 2019 |
The operating system: should there be one? S Kell Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013 | 6 | 2013 |