Darya Kurilova
About

I am a Software Engineering Ph.D. student at the Institute for Software Research that is a part of the School of Computer Science at Carnegie Mellon University. I am advised by Prof. Jonathan Aldrich.

Research Interests

Programming languages, security, the World Wide Web, and software engineering.

Publications
Selected Presentations
Professional Service
Contact Information
Email: my first name @cs.cmu.edu
Mailing address: Institute for Software Research
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3890
United States
x
@inproceedings{Kurilova:2013:SSL:2517208.2517225, author = {Kurilova, Darya and Rayside, Derek}, title = {{On the Simplicity of Synthesizing Linked Data Structure Operations}}, booktitle = {{Proceedings of the 12th International Conference on Generative Programming: Concepts and Experiences}}, series = {GPCE'13}, year = {2013}, isbn = {978-1-4503-2373-4}, location = {Indianapolis, Indiana, USA}, pages = {155--158}, numpages = {4}, url = {http://doi.acm.org/10.1145/2517208.2517225}, doi = {10.1145/2517208.2517225}, acmid = {2517225}, publisher = {ACM}, keywords = {avl trees, code generation algorithm, linked data structures, program synthesis, sat-solver}, }
x
@inproceedings{Nistor:2013:WST:2489828.2489830, author = {Nistor, Ligia and Kurilova, Darya and Balzer, Stephanie and Chung, Benjamin and Potanin, Alex and Aldrich, Jonathan}, title = {{Wyvern: A Simple, Typed, and Pure Object-Oriented Language}}, booktitle = {{Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance}}, series = {MASPEGHI'13}, year = {2013}, isbn = {978-1-4503-2046-7}, location = {Montpellier, France}, pages = {9--16}, numpages = {8}, url = {http://doi.acm.org/10.1145/2489828.2489830}, doi = {10.1145/2489828.2489830}, acmid = {2489830}, publisher = {ACM}, keywords = {first-class classes, object-oriented, static type checking}, }
x
@inproceedings{Omar:2013:TWP:2489812.2489815, author = {Omar, Cyrus and Chung, Benjamin and Kurilova, Darya and Potanin, Alex and Aldrich, Jonathan}, title = {{Type-Directed, Whitespace-Delimited Parsing for Embedded DSLs}}, booktitle = {{Proceedings of the 1st Workshop on the Globalization of Domain Specific Languages}}, series = {GlobalDSL'13}, year = {2013}, isbn = {978-1-4503-2043-6}, location = {Montpellier, France}, pages = {8--11}, numpages = {4}, url = {http://doi.acm.org/10.1145/2489812.2489815}, doi = {10.1145/2489812.2489815}, acmid = {2489815}, publisher = {ACM} }
x
@inproceedings{Kurilova:2014:TLF:2600176.2600194, author = {Kurilova, Darya and Omar, Cyrus and Nistor, Ligia and Chung, Benjamin and Potanin, Alex and Aldrich, Jonathan}, title = {{Type-Specific Languages to Fight Injection Attacks}}, booktitle = {{Proceedings of the 2014 Symposium and Bootcamp on the Science of Security}}, series = {HotSoS'14}, year = {2014}, isbn = {978-1-4503-2907-1}, location = {Raleigh, North Carolina}, pages = {18:1--18:2}, articleno = {18}, numpages = {2}, url = {http://doi.acm.org/10.1145/2600176.2600194}, doi = {10.1145/2600176.2600194}, acmid = {2600194}, publisher = {ACM}, address = {New York, NY, USA}, }
x
@inproceedings{Omar:2014:SCT, author = {Omar, Cyrus and Kurilova, Darya and Nistor, Ligia and Chung, Benjamin and Potanin, Alex and Aldrich, Jonathan}, title = {{Safely Composable Type-Specific Languages}}, booktitle = {{Proceedings of the 28th European Conference on Object-Oriented Programming}}, series = {ECOOP'14}, year = {2014}, isbn = {978-3-662-44201-2}, location = {Uppsala, Sweden}, pages = {105--130}, url = {http://dx.doi.org/10.1007/978-3-662-44202-9_5}, doi = {10.1007/978-3-662-44202-9_5}, publisher = {Springer}, keywords={extensible languages; parsing; bidirectional typechecking; hygiene} }
x
@inproceedings{Kurilova:2014:WIS, author = {Kurilova, Darya and Potanin, Alex and Aldrich, Jonathan}, title = {{Wyvern: Impacting Software Security via Programming Language Design}}, booktitle = {Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools}, series = {PLATEAU'14}, year = {2014}, isbn = {978-1-4503-2277-5}, location = {Portland, Oregon, USA}, pages = {57--58}, numpages = {2}, url = {http://doi.acm.org/10.1145/2688204.2688216}, doi = {10.1145/2688204.2688216}, acmid = {2688216}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {command injection attacks, programming language, programming language design, security, security principles, usability, wyvern}, }
x
@inproceedings {Ur:2015:MRW, author = {Blase Ur and Sean M. Segreti and Lujo Bauer and Nicolas Christin and Lorrie Faith Cranor and Saranga Komanduri and Darya Kurilova and Michelle L. Mazurek and William Melicher and Richard Shay}, title = {{Measuring Real-World Accuracies and Biases in Modeling Password Guessability}}, booktitle = {24th USENIX Security Symposium (USENIX Security 15)}, year = {2015}, month = Aug, isbn = {978-1-931971-232}, address = {Washington, D.C.}, pages = {463--481}, url = {http://blogs.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/ur}, publisher = {USENIX Association}, }