Author Archives: lisanqd

bib: Gamifying Static Analysis

  author = {Lisa Nguyen Quang Do and Eric Bodden},
  title = {Gamifying Static Analysis}
  year = 2018,
  booktitle = {Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), New Ideas and Emerging Results Track}


Title: Zelda
Paper: 33 x 123 cm kraft paper
Created: June 2018

Princess Zelda from the Zelda video-game series. With the triforce! The original model may look simple, but all of the little details and ornaments make it really difficult to re-design. I simplified a lot of them.



Title: Link
Paper: 33 x 115 cm kraft paper
Created: June 2018

Link from the Zelda video-game series. Complete with the Master Sword and the Hylian Shield. I tried to put as much details as possible, with the sword harness and belt pouch, but I still had to simplify the model quite a lot, especially around the collar, belt, and without the details of the shield.



Title: Lady
Paper: 33 x 83 cm kraft paper
Created: May 2018

Folded in the train back from Origami Deutschland 2018. I used the other half of the kraft paper used for the Ballerina. Dimensions: 33 x 83 cm.

The dress design is a mashup of a few Victorian era dresses. Not historically accurate!



Title: Ballerina
Paper: 33 x 83 cm kraft paper
Created: May 2018

Inspiration came back at Origami Deutschland 2018! I wanted to fold something and somehow, the ballerina came to mind in the morning. In the evening, the model was complete.

The original paper is a 33 x 83 cm kraft paper that was kindly given to me by one of the paper sellers at the convention. They were using it to pack the paper that they actually sold!

The paper was shorter than I wanted, so I had to keep the arms straight, or else, they would be too short. Ballerinas usually wear their hair in a chignon, but I needed to hide the back so… flowing hair 🙂

The blue background is some amazing paper from John Gerard!


bib: VisuFlow, a Debugging Environment for Static Analyses

 author = {Nguyen Quang Do Lisa and Kr\"{u}ger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
 title = {VISUFLOW: A Debugging Environment for Static Analyses},
 booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings},
 series = {ICSE '18},
 year = {2018},
 isbn = {978-1-4503-5663-3},
 location = {Gothenburg, Sweden},
 pages = {89--92},
 numpages = {4},
 url = {},
 doi = {10.1145/3183440.3183470},
 acmid = {3183470},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {IDE, debugging, empirical software engineering, static analysis, survey, user study}

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}