Optimized Java Binary and Virtual Machine for Tiny Motes. - Faisal Aslam; Luminous Fennell; Christian Schindelhauer; Peter Thiemann 001; Gidon Ernst; Elmar Haussmann; Stefan Rührup; Zartash Afzal Uzmi (DCOSS, 2010)

Offline GC: trashing reachable objects on tiny devices. - Faisal Aslam; Luminous Fennell; Christian Schindelhauer; Peter Thiemann 001; Zartash Afzal Uzmi (SenSys, 2011)

Rethinking Java call stack design for tiny embedded devices. - Faisal Aslam; Ghufran Baig; Mubashir Adnan Qureshi; Zartash Afzal Uzmi; Luminous Fennell; Peter Thiemann 001; Christian Schindelhauer; Elmar Haussmann (LCTES, 2012)

The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. - Luminous Fennell; Peter Thiemann 001 (Trends in Functional Programming, 2012)

Gradual Security Typing with References. - Luminous Fennell; Peter Thiemann 001 (CSF, 2013)

A Type Theoretic Specification of Partial Evaluation. - Kenichi Asai; Luminous Fennell; Peter Thiemann 001; Yang Zhang (PPDP, 2014)

Gradual Typing for Annotated Type Systems. - Luminous Fennell; Peter Thiemann 001 (Software Engineering & Management, 2015)

LJGS: Gradual Security Types for Object-Oriented Languages. - Luminous Fennell; Peter Thiemann 001 (ECOOP, 2016)

LJGS: Gradual Security Types for Object-Oriented Languages (Artifact). - Luminous Fennell; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2016)

Gradual security typing. - Luminous Fennell (2017)