Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Book section | Conference or workshop item

Number of items: 24.

Article

Zheng, Yudi and Kell, Stephen and Bulej, Lubomir and Sun, Haiyang and Binder, Walter (2016) Comprehensive Multiplatform Dynamic Program Analysis for Java and Android. IEEE Software, 33 (4). pp. 55-63. ISSN 0740-7459. (doi:https://doi.org/10.1109/MS.2015.151) (Full text available)

Preview

Book section

Kell, Stephen (2019) Unix, Plan 9 and the Lurking Smalltalk. In: Reflections on Programming Systems. Philosophical Studies Series . Springer. ISBN 978-3-319-97225-1. E-ISBN 978-3-319-97226-8. (In press) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Rigger, Manuel and Marr, Stefan and Kell, Stephen and Leopoldseder, David and Mössenböck, Hanspeter (2018) An Analysis of x86-64 Inline Assembly in C Programs. In: 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. Proceeding VEE '18 Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. pp. 84-99. ISBN 978-1-4503-5579-7. (doi:https://doi.org/10.1145/3186411.3186418) (Full text available)

Preview

Rigger, Manuel and Marr, Stefan and Kell, Stephen and Leopoldseder, David and Mössenböck, Hanspeter (2018) A Survey of x86-64 Inline Assembly in C Programs. In: Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. ACM, New York, USA ISBN 978-1-4503-5579-7. (doi:https://doi.org/10.1145/3186411.3186418) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kell, Stephen (2018) The inevitable death of VMs: a progress report. In: Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. ACM, New York, NY, USA pp. 61-62. ISBN 978-1-4503-5513-1. (doi:https://doi.org/10.1145/3191697.3191728) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kell, Stephen (2017) Some were meant for C: the endurance of an unmanageable language. In: Onward! 2017 Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. ACM, New York, NY, USA ISBN 978-1-4503-5530-8. (doi:https://doi.org/10.1145/3133850.3133867) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kell, Stephen (2016) Dynamically Diagnosing Type Errors in Unsafe Code. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2016. ACM, New York, NY, USA pp. 800-819. ISBN 978-1-4503-4444-9. (doi:https://doi.org/10.1145/2983990.2983998) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kell, Stephen and Mulligan, Dominic P. and Sewell, Peter (2016) The Missing Link: Explaining ELF Static Linking, Semantically. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2016. ACM, New York, NY, USA pp. 607-623. ISBN 978-1-4503-4444-9. (doi:https://doi.org/10.1145/2983990.2983996) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Sun, Haiyang and Zheng, Yudi and Bulej, Lubomir and Kell, Stephen and Binder, Walter (2015) Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. In: Lecture Notes in Computer Science. Programming Languages and Systems. APLAS 2015. Springer pp. 356-365. ISBN 978-3-319-26528-5. (doi:https://doi.org/10.1007/978-3-319-26529-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sun, Haiyang and Zheng, Yudi and Bulej, Lubomí and Binder, Walter and Kell, Stephen (2015) Custom Full-coverage Dynamic Program Analysis for Android. In: SPLASH Companion 2015 Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. ACM, New York, NY, USA pp. 7-8. ISBN 978-1-4503-3722-9. (doi:https://doi.org/10.1145/2814189.2814190) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kell, Stephen (2015) Towards a Dynamic Object Model Within Unix Processes. In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), October 25 - 30, 2015, Pittsburgh, PA, USA. (doi:https://doi.org/10.1145/2814228.2814238) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kell, Stephen (2014) In Search of Types. In: Onward! 2014 Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software. ACM, New York, NY, USA pp. 227-241. ISBN 978-1-4503-3210-1. (doi:https://doi.org/10.1145/2661136.2661154) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Ansaloni, Danilo and Kell, Stephen and Zheng, Yudi and Bulej, Walter and Truma (2013) Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. In: Lecture Notes in Computer Science. Object-Oriented Programming. ECOOP 2013. ECOOP'13, 7920. Springer, Berlin, Heidelberg pp. 352-377. ISBN 978-3-642-39037-1. (doi:https://doi.org/10.1007/978-3-642-39038-8_15) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kell, Stephen (2013) The Operating System: Should There Be One? In: PLOS '13 Proceedings of the Seventh Workshop on Programming Languages and Operating Systems. ACM/PLOS, New York, NY, USA 8:1-8:7. ISBN 978-1-4503-2460-1. (doi:https://doi.org/10.1145/2525528.2525534) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Zheng, Yudi and Bulej, Lubomií and Zhang, Cheng and Kell, Stephen and Ansaloni, Danilo and Binder, Walter (2013) Dynamic Optimization of Bytecode Instrumentation. In: VMIL '13 Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages. ACM, New York, NY, USA pp. 21-30. ISBN 978-1-4503-2601-8. (doi:https://doi.org/10.1145/2542142.2542145) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Marek, Lukas and Ansaloni, Danilo and Sarimbekov, Aibek and Sewe, Andreas and Zheng, Yudi and Kell, Stephen and Bulej, Lubom´?r and Binder, Walter and Tuma, Petr (2013) ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform. In: ACM SIGPLAN Notices. GPCE '13 Proceedings of the 12th international conference on Generative programming: concepts & experiences. ACM, New York, NY, USA pp. 105-114. ISBN 978-1-4503-2373-4. (doi:https://doi.org/10.1145/2517208.2517219) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Sarimbekov, Aibek and Sewe, Andreas and Kell, Stephen and Zheng, Yudi and Binder, Walter and Bulej, Lubom\'r and Ansaloni, Danilo (2013) A comprehensive toolchain for workload characterization across JVM languages. In: Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. ACM, USA, New York pp. 9-16. ISBN 978-1-4503-2128-0. (doi:https://doi.org/10.1145/2462029.2462033) (Full text available)

Preview

Kell, Stephen and Ansaloni, Danilo and Binder, Walter and Marek, Luk\'av (2012) The JVM is Not Observable Enough (and What to Do About It). In: VMIL '12 Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages. SPLASH Workshops. ACM, New York, NY, USA ISBN 978-1-4503-1633-0. (doi:https://doi.org/10.1145/2414740.2414747) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kell, Stephen and Irwin, Conrad (2011) Virtual machines should be invisible. In: SPLASH '11 Workshops Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11. SPLASH Workshops. ACM, New York, NY, USA pp. 289-296. ISBN 978-1-4503-1183-0. (doi:https://doi.org/10.1145/2095050.2095099) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kell, Stephen (2011) Composing Heterogeneous Software with Style. In: FREECO '11 Proceedings of the 1st International Workshop on Free Composition. ACM, New York, NY, USA 5:1-5:5. ISBN 978-1-4503-0892-2. E-ISBN 978-1-4503-0892-2. (doi:https://doi.org/10.1145/2068776.2068781) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kell, Stephen (2010) Component adaptation and assembly using interface relations. In: OOPSLA '10 Proceedings of the ACM international conference on Object oriented programming systems languages and applications. ACM, New York, NY, USA ISBN 978-1-4503-0203-6. (doi:https://doi.org/10.1145/1869459.1869487) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kell, Stephen (2009) The mythical matched modules: overcoming the tyranny of inflexible software construction. In: OOPSLA '09 Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications. ACM pp. 881-888. ISBN 978-1-60558-768-4. (doi:https://doi.org/10.1145/1639950.1640051) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kell, Stephen (2009) Configuration and Adaptation of Binary Software Components. In: 2009 31st International Conference on Software Engineering - Companion Volume. IEEE, USA pp. 211-214. ISBN 978-1-4244-3495-4. (doi:https://doi.org/10.1109/ICSE-COMPANION.2009.5070984) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kell, Stephen (2007) Rethinking software connectors. In: SYANCO '07 International workshop on Synthesis and analysis of component connectors. ACM pp. 1-12. ISBN 978159593720X. (doi:https://doi.org/10.1145/1294917.1294918) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

This list was generated on Thu Mar 14 22:23:12 2019 GMT.

Export as	Atom RSS 1.0 RSS 2.0