Author Archives: lisanqd

bib: Explaining Static Analysis for Software Security – A Perspective

@inproceedings{explain19,  
  author = {Nachtigall, Marcus and Nguyen Quang Do, Lisa and Bodden, Eric},  
  title = {Explaining Static Analysis for Software Security – A Perspective },  
  series = {EXPLAIN 2019},  
  year = {2019},  
  location = {San Diego, USA},  
  keywords = {Program analysis, Static analysis, Explainability, User experience, Program understanding }
} 

bib: SwanAssist: Semi-Automated Detection of Code-Specific, Security-Relevant Methods

@inproceedings{ase19demoswan,  
  author = {Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric},  
  title = {SwanAssist: Semi-Automated Detection of Code-Specific, Security-Relevant Methods},  
  booktitle = {Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering},  
  series = {ASE 2019},  
  year = {2019},  
  location = {San Diego, USA},  
  keywords = {Program Analysis, Machine-learning, Security}
} 

Courting Cranes

Title: Courting Cranes
Paper: Kraft paper
Created: February 2019

Folded as a wedding gift for my friends.

The cranes are a model of Roman Diaz, folded from a 33 x 33 cm sheet of sketch paper. The pine tree is made of three long sheets of the same paper, wet-folded.

Courting Cranes

bib: Codebase-Adaptive Detection of Security-Relevant Methods

@inproceedings{issta19swan,  
  author = {Piskachev, Goran and Nguyen Quang Do, Lisa and Bodden, Eric},  
  title = {Codebase-adaptive Detection of Security-relevant Methods},  
  booktitle = {Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis},  
  series = {ISSTA 2019},  
  year = {2019},  
  isbn = {978-1-4503-6224-5},  
  location = {Beijing, China},  
  pages = {181--191},  
  numpages = {11},  
  url = {http://doi.acm.org/10.1145/3293882.3330556},  
  doi = {10.1145/3293882.3330556},  
  acmid = {3330556},  
  publisher = {ACM},  
  address = {New York, NY, USA},  
  keywords = {Java Security, Machine-learning, Program Analysis}
} 

bib: Debugging Static Analysis

@ARTICLE{tse18debugging,
author={L. Nguyen Quang Do and S. Krüger and P. Hill and K. Ali and E. Bodden},
journal={IEEE Transactions on Software Engineering},
title={Debugging Static Analysis},
year={2018},
volume={},
number={},
pages={1-1},
keywords={Debugging;Static analysis;Tools;Computer bugs;Standards;Writing;Encoding;Testing and Debugging;Program analysis;Development tools;Integrated environments;Graphical environments;Usability testing},
doi={10.1109/TSE.2018.2868349},
ISSN={0098-5589},
month={},
}

bib: Gamifying Static Analysis

@inproceedings{fsenier18gsa,
 author = {Nguyen Quang Do, Lisa and Bodden, Eric},
 title = {Gamifying Static Analysis},
 booktitle = {Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
 series = {ESEC/FSE 2018},
 year = {2018},
 isbn = {978-1-4503-5573-5},
 location = {Lake Buena Vista, FL, USA},
 pages = {714--718},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/3236024.3264830},
 doi = {10.1145/3236024.3264830},
 acmid = {3264830},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Gamification, Integrated Environments, Program analysis},
}

Zelda

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.

Zelda

Link

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.

Link

Lady

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!

Lady