Conference The Implementation of Object Propositions: The Oprop Verification Tool 2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10487:179-197 Nistor L, Aldrich J
Preprint Toward Semantic Foundations for Program Editors 2017 Omar C, Voysey I, Hilton M, Sunshine J, Goues CL, Aldrich J, Hammer MA
Conference Toward semantic foundations for program editors 2017 • Leibniz International Proceedings in Informatics • 71: Omar C, Voysey I, Hilton M, Sunshine J, Goues CL, Aldrich J, Hammer MA
Conference Composing interfering abstract: Protocols 2016 • Leibniz International Proceedings in Informatics • 56:161-1626 Militão F, Aldrich J, Caires L
Conference Exploring Language Support for Immutability 2016 • Proceedings - International Conference on Software Engineering • 736-747 Coblenz M, Sunshine J, Aldrich J, Myers B, Weber S, Shull F
Preprint Hazelnut: A Bidirectionally Typed Structure Editor Calculus 2016 Omar C, Voysey I, Hilton M, Aldrich J, Hammer MA
Conference Inter-app Communication in Android: Developer Challenges 2016 • 13TH WORKING CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2016) • 177-188 Ahmad W, Kaestner C, Sunshine J, Aldrich J
Conference Modules in Wyvern: Advanced Control over Security and Privacy 2016 • SYMPOSIUM AND BOOTCAMP ON THE SCIENCE OF SECURITY • 68-68 Kurilova D, Potanin A, Aldrich J
Conference Software Development Practices, Barriers in the Field and the Relationship to Software Quality 2016 • International Symposium on Empirical Software Engineering and Measurement Yost B, Pfaff M, Coblenz M, Myers B, Sunshine J, Aldrich J, Weber S, Patron M, Heeren M, Krueger S
Conference A Course-Based Usability Analysis of Cilk Plus and OpenMP 2015 • Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC • 245-249 Coblenz M, Seacord R, Myers B, Sunshine J, Aldrich J
Conference A theory of tagged objects 2015 • Leibniz International Proceedings in Informatics • 37:174-197 Lee J, Aldrich J, Shaw T, Potanin A
Conference Composable and Hygienic Typed Syntax Macros 2015 • Proceedings of the ACM Symposium on Applied Computing • 1986-1991 Omar C, Wang C, Aldrich J
Conference Cooperative Exceptions for Concurrent Objects 2015 • 2015 IEEE 21ST PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC) • 21-31 Cabral B, Fonseca A, Marques P, Aldrich J
Conference Message from the chairs 2015 • Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications OOPSLA • 25-30-Oct-2015:iii Aldrich J, Eugster P
Conference Searching the State Space: A Qualitative Study of API Protocol Usability 2015 • Proceedings - IEEE Workshop on Program Comprehension • 82-93 Sushine J, Herbsleb JD, Aldrich J
Journal Article Systemic Assurance 2015 Scherlis W, Aldrich J, Breaux TD, Garlan D, Kastner C, Le Goues C, Schmerl B, Sunshine J
Conference Welcome from the SPLASH 2015 general chair 2015 • Splash Companion 2015 Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems Programming Languages and Applications Software for Humanity • iii-iv Aldrich J
Conference A case study on the lightweight verification of a multi-threaded task server 2014 • Science of Computer Programming • 80:169-187 Catano N, Ahmed I, Siminiceanu RI, Aldrich J
Conference AEMINIUM: A Permission Based Concurrent-by-Default Programming Language Approach 2014 • ACM Sigplan Notices • 49(6):26-26 Stork S, Naden K, Sunshine J, Mohr M, Fonseca A, Marques P, Aldrich J
Journal Article AEMINIUM: A Permission-Based Concurrent-by-Default Programming Language Approach 2014 • ACM Transactions on Programming Languages and Systems • 36(1): Stork S, Naden K, Sunshine J, Mohr M, Fonseca A, Marques P, Aldrich J
Journal Article Brazilian Symposium on Programming Languages (SBLP 2010) Preface 2014 • Science of Computer Programming • 80:51-51 Aldrich J, Ferreira Lima RM
Conference Collaborative Infrastructure for Test-Driven Scientific Model Validation 2014 • 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014) • 524-527 Omar C, Aldrich J, Gerkin RC
Conference Considering Productivity Effects of Explicit Type Declarations 2014 59-61 Coblenz M, Aldrich J, Myers B, Sunshine J
Journal Article Foundations of Typestate-Oriented Programming 2014 • ACM Transactions on Programming Languages and Systems • 36(4): Garcia R, Tanter E, Wolff R, Aldrich J
