Author Archives: lisanqd

bib: Toward an Automated Benchmark Management System

 author = {Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric},
 title = {Toward an Automated Benchmark Management System},
 booktitle = {Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
 series = {SOAP 2016},
 year = {2016},
 isbn = {978-1-4503-4385-5},
 location = {Santa Barbara, CA, USA},
 pages = {13--17},
 numpages = {5},
 url = {},
 doi = {10.1145/2931021.2931023},
 acmid = {2931023},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {ABM methodology, automated, benchmark suite, collection},

Paper Heroes Exhibition

Convention Exhibition
Event: Paper Heroes (Tel-Aviv, Israel).
Date: October – December 2017

The Jaffa Museum in Tel-Aviv hosted an origami exhibition on the theme of Paper Heroes. I submitted my Pied Piper and a model I created for the occasion: My Little Hero.

bib: Explainable Static Analysis

  author = {Bodden, Eric AND Nguyen Quang Do, Lisa},
  title = {Explainable Static Analysis},
  booktitle = {Software Engineering und Software Management 2018},
  year = {2018},
  editor = {Tichy, Matthias AND Bodden, Eric AND Kuhrmann, Marco AND Wagner, Stefan AND Steghöfer, Jan-Philipp} ,
  pages = { 205-208 },
  publisher = {Gesellschaft für Informatik},
  address = {Bonn}

bib: Debugging Static Analysis

   author = {{Nguyen Quang Do}, L. and {Kr{\"u}ger}, S. and {Hill}, P. and {Ali}, K. and {Bodden}, E.},
   title = "{Debugging Static Analysis}",
   journal = {ArXiv e-prints},
   archivePrefix = "arXiv",
   eprint = {1801.04894},
   primaryClass = "cs.SE",
   keywords = {Computer Science - Software Engineering},
   year = 2018,
   month = jan,
   adsurl = {},
   adsnote = {Provided by the SAO/NASA Astrophysics Data System}


Title: Goldfish
Paper: 21 x 8.7 cm printer paper (this is the paper that is left from an A4 after you cut out a square).
Created: December 2017

Back to basics for the last model of the year!



In: CDO 2018 Convention Book
Published: 2018


Title: Sadako
Paper: A sheet of 25 x 80 cm of sketch paper (Sadako and screen) and a sheet of 14 x 26 cm of black paper (screen frame).
Created: August 2017

Not Sadako Sasaki!

Folded from a sheet of 25 x 80 cm of sketch paper (Sadako and white part of the screen) and a sheet of 14 x 26 cm of black paper (screen frame).

The model is designed to handle color changes, but the white paper is very transparent, and didn’t show as white as I wanted for the body and arms. So, only the hair part is actually double-sided. The rest of the paper is uni-colored.
I like that the transparency of the white paper makes the screen grayish though!



My Little Hero or My Mother, my Heroine

Title: My Little Hero or My Mother, my Heroine
Paper: 33 x 363 cm uncut sheet of sketch paper
Created: August 2017

When thinking of the people who inspire me the most, my parents immediately come to mind before anyone else. From a mother who is her son’s heroine, to the son who is his mother’s world, everyone can be a hero.

Folded for the Paper Heroes exhibition 2017.


My Little Hero or My Mother, my Heroine


Convention for Creators Exhibition

Convention Exhibition
Event: Convention for Creators (Lyon, France).
Date: July 2017

The Conference for Creators in Lyon was a great few days. I met many talented creators from all over the world, and I could finally put faces on the famous names I had heard about. The exhibition was spectacular. For space reasons, each creator was limited to 3 models. My contributions were a doe head, a winged heart, and Jar Jar Binks!

bib: Cheetah: Just-in-time Taint Analysis for Android Apps

 author = {Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson},
 title = {Cheetah: Just-in-time Taint Analysis for Android Apps},
 booktitle = {Proceedings of the 39th International Conference on Software Engineering Companion},
 series = {ICSE-C '17},
 year = {2017},
 isbn = {978-1-5386-1589-8},
 location = {Buenos Aires, Argentina},
 pages = {39--42},
 numpages = {4},
 url = {},
 doi = {10.1109/ICSE-C.2017.20},
 acmid = {3098357},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},