Jonathan Aldrich
AuthID: R-00H-DGM
1
TÃTULO: Derivations with Holes for Concept-Based Program Synthesis
AUTORES: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira ;
PUBLICAÇÃO: 2022, FONTE: 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
AUTORES: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira ;
PUBLICAÇÃO: 2022, FONTE: 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
TÃTULO: Composing Interfering Abstract Protocols
AUTORES: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLICAÇÃO: 2016, FONTE: 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
AUTORES: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP3
TÃTULO: Cooperative Exceptions for Concurrent Objects
AUTORES: Cabral, B ; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLICAÇÃO: 2015, FONTE: IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC 2015) in 2015 IEEE 21ST PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC)
AUTORES: Cabral, B ; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLICAÇÃO: 2015, FONTE: IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC 2015) in 2015 IEEE 21ST PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC)
4
TÃTULO: AEMINIUM: A Permission-Based Concurrent-by-Default Programming Language Approach Full Text
AUTORES: Stork, S; Naden, K; Sunshine, J; Mohr, M; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 36, NÚMERO: 1
AUTORES: Stork, S; Naden, K; Sunshine, J; Mohr, M; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 36, NÚMERO: 1
INDEXADO EM: Scopus 
WOS DBLP
Scopus WOS DBLP5
TÃTULO: AEMINIUM: A Permission Based Concurrent-by-Default Programming Language Approach
AUTORES: Stork, S; Naden, K; Sunshine, J; Mohr, M; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLICAÇÃO: 2014, FONTE: 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) in ACM SIGPLAN NOTICES, VOLUME: 49, NÚMERO: 6
AUTORES: Stork, S; Naden, K; Sunshine, J; Mohr, M; Fonseca, A ; Marques, P ; Aldrich, J;
PUBLICAÇÃO: 2014, FONTE: 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) in ACM SIGPLAN NOTICES, VOLUME: 49, NÚMERO: 6
INDEXADO EM: WOS DBLP
WOS DBLP6
TÃTULO: Concurrency by default: using permissions to express dataflow in stateful programs
AUTORES: Sven Stork; Paulo Marques; Jonathan Aldrich;
PUBLICAÇÃO: 2009, FONTE: 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
AUTORES: Sven Stork; Paulo Marques; Jonathan Aldrich;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus DBLP
Scopus DBLP