Luminous Fennell

According to our database, Luminous Fennell authored at least 10 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Gradual security typing.

Luminous Fennell

PhD thesis, 2017

2016

LJGS: Gradual Security Types for Object-Oriented Languages (Artifact).

Luminous Fennell, Peter Thiemann

Dagstuhl Artifacts Ser., 2016

LJGS: Gradual Security Types for Object-Oriented Languages.

Luminous Fennell, Peter Thiemann

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Gradual Typing for Annotated Type Systems.

Luminous Fennell, Peter Thiemann

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

A Type Theoretic Specification of Partial Evaluation.

Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

2013

Gradual Security Typing with References.

Luminous Fennell, Peter Thiemann

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

The Blame Theorem for a Linear Lambda Calculus with Type Dynamic.

Luminous Fennell, Peter Thiemann

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Rethinking Java call stack design for tiny embedded devices.

Faisal Aslam, Ghufran Baig, Mubashir Adnan Qureshi, Zartash Afzal Uzmi, Luminous Fennell, Peter Thiemann, Christian Schindelhauer, Elmar Haussmann

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

2011

Offline GC: trashing reachable objects on tiny devices.

Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

2010

Optimized Java Binary and Virtual Machine for Tiny Motes.

Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Gidon Ernst, Elmar Haussmann, Stefan Rührup, Zartash Afzal Uzmi

Proceedings of the Distributed Computing in Sensor Systems, 2010