Martin Lester : Publications
Journal papers
-
[1]
Information flow analysis for a dynamically typed language with staged metaprogramming
Martin Mariusz Lester‚ Luke Ong and Max Schäfer
In Journal of Computer Security. Vol. 24. No. 5. Pages 541–582. 2016.
Details about Information flow analysis for a dynamically typed language with staged metaprogramming | BibTeX data for Information flow analysis for a dynamically typed language with staged metaprogramming | DOI (10.3233/JCS-160557) | Link to Information flow analysis for a dynamically typed language with staged metaprogramming
-
[2]
Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming
Martin Lester‚ C.−H. Luke Ong and Max Schäfer
In CoRR. Vol. abs/1302.3178. 2013.
Details about Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming | BibTeX data for Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming | Link to Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming
Conference papers
-
[1]
Control Flow Analysis for SF Combinator Calculus
Martin Lester
In Alexei Lisitsa‚ Andrei P. Nemytykh and Alberto Pettorossi, editors, Proceedings of the Third International Workshop on Verification and Program Transformation‚ VPT@ETAPS 2015‚ London‚ United Kingdom‚ 11th April 2015.. Vol. 199 of EPTCS. Pages 51–67. 2015.
Details about Control Flow Analysis for SF Combinator Calculus | BibTeX data for Control Flow Analysis for SF Combinator Calculus | DOI (10.4204/EPTCS.199.4) | Link to Control Flow Analysis for SF Combinator Calculus
-
[2]
Position paper: the science of boxing
Martin Mariusz Lester
In Prasad Naldurg and Nikhil Swamy, editors, Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security‚ PLAS 2013‚ Seattle‚ WA‚ USA‚ June 20‚ 2013. Pages 83–88. ACM. 2013.
Details about Position paper: the science of boxing | BibTeX data for Position paper: the science of boxing | DOI (10.1145/2465106.2465120) | Link to Position paper: the science of boxing
-
[3]
Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming
Martin Lester‚ Luke Ong and Max Schäfer
In 2013 IEEE 26th Computer Security Foundations Symposium‚ New Orleans‚ LA‚ USA‚ June 26−28‚ 2013. Pages 209–223. IEEE Computer Society. 2013.
Details about Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming | BibTeX data for Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming | DOI (10.1109/CSF.2013.21) | Link to Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming