Jonathan Aldrich
AuthID: R-00H-DGM
1
TITLE: Derivations with Holes for Concept-Based Program Synthesis
AUTHORS: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira;
PUBLISHED: 2022, SOURCE: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, co-located with SPLASH 2022 in Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022
AUTHORS: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira;
PUBLISHED: 2022, SOURCE: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, co-located with SPLASH 2022 in Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022
2
TITLE: Composing Interfering Abstract Protocols
AUTHORS: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLISHED: 2016, SOURCE: 30th European Conference on Object-Oriented Programming, ECOOP 2016 in 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, VOLUME: 56
AUTHORS: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLISHED: 2016, SOURCE: 30th European Conference on Object-Oriented Programming, ECOOP 2016 in 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, VOLUME: 56
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3
TITLE: Cooperative Exceptions for Concurrent Objects
AUTHORS: Cabral, B ; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLISHED: 2015, SOURCE: IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC 2015) in 2015 IEEE 21ST PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC)
AUTHORS: Cabral, B ; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLISHED: 2015, SOURCE: IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC 2015) in 2015 IEEE 21ST PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC)
4
TITLE: AEMINIUM: A Permission-Based Concurrent-by-Default Programming Language Approach Full Text
AUTHORS: Stork, S; Naden, K; Sunshine, J; Mohr, M; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 36, ISSUE: 1
AUTHORS: Stork, S; Naden, K; Sunshine, J; Mohr, M; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 36, ISSUE: 1
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP5
TITLE: AEMINIUM: A Permission Based Concurrent-by-Default Programming Language Approach
AUTHORS: Stork, S; Naden, K; Sunshine, J; Mohr, M; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLISHED: 2014, SOURCE: 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) in ACM SIGPLAN NOTICES, VOLUME: 49, ISSUE: 6
AUTHORS: Stork, S; Naden, K; Sunshine, J; Mohr, M; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLISHED: 2014, SOURCE: 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) in ACM SIGPLAN NOTICES, VOLUME: 49, ISSUE: 6
INDEXED IN: WOS DBLP
WOS DBLP6
TITLE: Concurrency by default: using permissions to express dataflow in stateful programs
AUTHORS: Sven Stork; Paulo Marques; Jonathan Aldrich;
PUBLISHED: 2009, SOURCE: OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009 in Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA
AUTHORS: Sven Stork; Paulo Marques; Jonathan Aldrich;
PUBLISHED: 2009, SOURCE: OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009 in Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA
INDEXED IN: Scopus DBLP
Scopus DBLP