Luminous Fennell

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 3

Top Topics

Lambda Calculus

Embedded Devices

Object Oriented

Security Issues

Top Venues

Trends in Functional Programming

Dagstuhl Artifacts Ser.

Software Engineering & Management

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Luminous Fennell, Peter Thiemann
LJGS: Gradual Security Types for Object-Oriented Languages. ECOOP (2016)
Luminous Fennell, Peter Thiemann
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Luminous Fennell, Peter Thiemann
Gradual Typing for Annotated Type Systems. Software Engineering & Management (2015)
Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang
A Type Theoretic Specification of Partial Evaluation. PPDP (2014)
Peter Thiemann, Luminous Fennell
Gradual Typing for Annotated Type Systems. ESOP (2014)
Luminous Fennell, Peter Thiemann
Gradual Security Typing with References. CSF (2013)
Luminous Fennell, Peter Thiemann
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. Trends in Functional Programming (2012)
Faisal Aslam, Ghufran Baig, Mubashir Adnan Qureshi, Zartash Afzal Uzmi, Luminous Fennell, Peter Thiemann, Christian Schindelhauer, Elmar Haussmann
Rethinking Java call stack design for tiny embedded devices. LCTES (2012)
Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi
Offline GC: trashing reachable objects on tiny devices. SenSys (2011)
Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Gidon Ernst, Elmar Haussmann, Stefan Rührup, Zartash Afzal Uzmi
Optimized Java Binary and Virtual Machine for Tiny Motes. DCOSS (2010)