Items where Author, Editor or other role is "Kell, Stephen"

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 27.

Bastian, Théophile, Kell, Stephen, Zappa Nardelli, Francesco (2019) Reliable and Fast DWARF-Based Stack Unwinding. Proceedings of the ACM on Programming Languages, 3 . Article Number 146. E-ISSN 2475-1421. (doi:10.1145/3360572) (KAR id:76575)

Edwards, Jonathan, Kell, Stephen, Petricek, Tomas, Church, Luke (2019) Evaluating programming systems design. In: PPIG 2019, 28-30 Aug 2019, Newcastle upon Tyne, United Kingdom. (Unpublished) (KAR id:79905)

Memarian, Kayvan, Gomes, Victor B.F., David, Brooks, Kell, Stephen, Richardson, Alexander, Watson, Robert N.M., Sewell, Peter (2019) Exploring C semantics and pointer provenance. In: Proceedings of the ACM on Programming Languages. 3 (POPL). ACM (doi:10.1145/3290380) (KAR id:78086)

Bertholon, Guillaume, Kell, Stephen (2019) Towards seamless interfacing between dynamic languages and native code. In: VMIL 2019: Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages. . pp. 38-47. ACM ISBN 978-1-4503-6987-9. (doi:10.1145/3358504.3361230) (KAR id:76576)

Rigger, Manuel, Marr, Stefan, Kell, Stephen, Leopoldseder, David, Mössenböck, Hanspeter (2018) An Analysis of x86-64 Inline Assembly in C Programs. ACM SIGPLAN Notices, 53 (3). pp. 84-99. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/3186411.3186418) (KAR id:66147)

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. VEE International Conference on Virtual Execution Environments . ACM, New York, USA, pp. 84-99. ISBN 978-1-4503-5579-7. (doi: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) (KAR id:69697)

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

Kell, Stephen (2018) Unix, Plan 9 and the Lurking Smalltalk. In: de Mol, Liesbeth and Primiero, Giuseppe, eds. Reflections on Programming Systems: Historical and Philosophical Aspects. Philosophical Studies Series . Springer. ISBN 978-3-319-97225-1. E-ISBN 978-3-319-97226-8. (doi:10.1007/978-3-319-97226-8) (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) (KAR id:69708)

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:10.1145/3133850.3133867) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69698)

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. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 800-819. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2983998) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69699)

Kell, Stephen, Mulligan, Dominic P., 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. SPLASH Systems, Programming, and Applications . pp. 607-623. ACM, New York, USA ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2983996) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69700)

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

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: Programming Languages and Systems 13th Asian Symposium. Lecture Notes in Computer Science, 9458 . Springer, Cham, Switzerland, pp. 356-365. ISBN 978-3-319-26528-5. (doi: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) (KAR id:69721)

Sun, Haiyang, Zheng, Yudi, Bulej, Lubomí, Binder, Walter, 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. . pp. 7-8. ACM, New York, NY, USA ISBN 978-1-4503-3722-9. (doi:10.1145/2814189.2814190) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69720)

Kell, Stephen (2015) Towards a Dynamic Object Model Within Unix Processes. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 224-239. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814238) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69702)

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. . pp. 227-241. ACM, New York, NY, USA ISBN 978-1-4503-3210-1. (doi:10.1145/2661136.2661154) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69703)

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: ECOOP 2013 – Object-Oriented Programming 27th European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 352-377. ISBN 978-3-642-39037-1. E-ISBN 978-3-642-39038-8. (doi: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) (KAR id:69705)

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

Marek, Lukáš, Ansaloni, Danilo, Sarimbekov, Aibek, Sewe, Andreas, Zheng, Yudi, Kell, Stephen, Bulej, Lubomír, Binder, Walter, Tůma, Petr (2013) ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform. ACM SIGPLAN Notices, 49 (3). pp. 105-114. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/2517208.2517219) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69704)

Sarimbekov, Aibek, Sewe, Andreas, Kell, Stephen, Zheng, Yudi, Binder, Walter, Bulej, Lubom\'r, 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. . pp. 9-16. ACM, USA, New York ISBN 978-1-4503-2128-0. (doi:10.1145/2462029.2462033) (KAR id:69711)

Kell, Stephen, Ansaloni, Danilo, Binder, Walter, 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:10.1145/2414740.2414747) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69713)

Kell, Stephen, 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 . pp. 289-296. ACM, New York, NY, USA ISBN 978-1-4503-1183-0. (doi:10.1145/2095050.2095099) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69714)

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

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: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) (KAR id:69706)

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. . pp. 881-888. ACM ISBN 978-1-60558-768-4. (doi:10.1145/1639950.1640051) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69716)

Kell, Stephen (2009) Configuration and Adaptation of Binary Software Components. In: 2009 31st International Conference on Software Engineering - Companion Volume. . pp. 211-214. IEEE, USA ISBN 978-1-4244-3495-4. (doi: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) (KAR id:69717)

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

This list was generated on Fri Nov 22 20:23:58 2024 GMT.