Martin Lester : Publications

Click here to download all publications in a single bibtex file

@article{DBLP:journals/jcs/LesterOS16,
  title = "Information flow analysis for a dynamically typed language with staged metaprogramming",
  author = "Martin Mariusz Lester and Luke Ong and Max Sch{\"{a}}fer",
  year = "2016",
  journal = "Journal of Computer Security",
  number = "5",
  pages = "541--582",
  url = "https://doi.org/10.3233/JCS-160557",
  volume = "24",
  doi = "10.3233/JCS-160557",
}

@inproceedings{DBLP:journals/corr/Lester15,
  title = "Control Flow Analysis for {SF} Combinator Calculus",
  author = "Martin Lester",
  year = "2015",
  booktitle = "Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015.",
  editor = "Alexei Lisitsa and Andrei P. Nemytykh and Alberto Pettorossi",
  pages = "51--67",
  series = "{EPTCS}",
  url = "https://doi.org/10.4204/EPTCS.199.4",
  volume = "199",
  doi = "10.4204/EPTCS.199.4",
}

@article{DBLP:journals/corr/abs-1302-3178,
  title = "Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming",
  author = "Martin Lester and C.{-}H. Luke Ong and Max Sch{\"{a}}fer",
  year = "2013",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1302.3178",
  volume = "abs/1302.3178",
}

@inproceedings{DBLP:conf/pldi/Lester13,
  title = "Position paper: the science of boxing",
  author = "Martin Mariusz Lester",
  year = "2013",
  booktitle = "Proceedings of the 2013 {ACM} {SIGPLAN} Workshop on Programming Languages and Analysis for Security, {PLAS} 2013, Seattle, WA, USA, June 20, 2013",
  editor = "Prasad Naldurg and Nikhil Swamy",
  pages = "83--88",
  publisher = "{ACM}",
  url = "http://doi.acm.org/10.1145/2465106.2465120",
  doi = "10.1145/2465106.2465120",
}

@inproceedings{DBLP:conf/csfw/0001OS13,
  title = "Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming",
  author = "Martin Lester and Luke Ong and Max Sch{\"{a}}fer",
  year = "2013",
  booktitle = "2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013",
  pages = "209--223",
  publisher = "{IEEE} Computer Society",
  url = "https://doi.org/10.1109/CSF.2013.21",
  doi = "10.1109/CSF.2013.21",
}