1. Reference Capabilities for Flexible Memory Management;Proceedings of the ACM on Programming Languages;2023-10-16
2. In-Place Update in a Dataflow Synchronous Language;Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems;2016-05-23
3. Ayudante: identifying undesired variable interactions;Proceedings of the 13th International Workshop on Dynamic Analysis;2015-10-26
4. AutoQuery: automatic construction of dependency queries for code search;Automated Software Engineering;2014-09-25
5. Case studies and tools for contract specifications;Proceedings of the 36th International Conference on Software Engineering;2014-05-31