@techreport{tr-ri-19-356,
hniid=9859,
author = {Piskachev, Goran and Nguyen, Lisa and Bodden, Eric},
title = {Codebase-Adaptive Detection of Security-Relevant Methods},
number = {tr-ri-19-356},
institution = {Heinz Nixdorf Institut},
month = feb,
year = {2019}
}
@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={},
}
@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},
}
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!
Convention Exhibition
Event: Origami Deutschland 30th International Origami Convention (Erkner, Germany)
Date: May 2018
I exposed some of my models at the German Origami convention 2018. It was a great anniversary convention for Origami Deutschland, with lots of special guests, and a world record attempt!
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!
@inproceedings{icse2018visuflow,
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 = {http://doi.acm.org/10.1145/3183440.3183470},
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}
}
@inproceedings{abm,
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 = {http://doi.acm.org/10.1145/2931021.2931023},
doi = {10.1145/2931021.2931023},
acmid = {2931023},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {ABM methodology, automated, benchmark suite, collection},
}