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
Phone: (412) 268 2491
Office: Wean Hall 4126
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{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} }