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
Conference Object Propositions 2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8442:497-513 Nistor L, Aldrich J, Balzer S, Mehnert H
Conference Rely-Guarantee Protocols 2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8586:334-359 Militao F, Aldrich J, Caires L
Conference Safely Composable Type-Specific Languages 2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8586:105-130 Omar C, Kurilova D, Nistor L, Chung B, Potanin A, Aldrich J
Conference Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming 2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8586:157-181 Sunshine J, Herbsleb JD, Aldrich J
Conference Type-specific languages to fight injection attacks 2014 1-2 Kurilova D, Omar C, Nistor L, Chung B, Potanin A, Aldrich J
Journal Article A retrospective on aliasing type systems: 2012-2022 2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7850:509-511 Aldrich J
Chapter A Retrospective on Aliasing Type Systems: 2012-2022 2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7850:509-511 Aldrich J
Conference Introducing Tool-Supported Architecture Review into Software Design Education 2013 • Software Engineering Education Conference, Proceedings • 70-79 Cai Y, Kazman R, Jaspan C, Aldrich J
Conference Type-directed, whitespace-delimited parsing for embedded DSLs 2013 8-11 Omar C, Chung B, Kurilova D, Potanin A, Aldrich J