In an earlier post I mentioned that one goal of the new introductory curriculum at Carnegie Mellon is to teach parallelism as the general case of computing, rather than an esoteric, specialized subject for advanced students. Many people are incredulous when I tell them this, because it immediately conjures in their mind the myriad complexities…
D. Anderson, G. Blelloch, и Y. Wei. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, стр. 526--541. ACM, (18.06.2021)
T. Tu, X. Liu, L. Song, и Y. Zhang. Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS \textquotesingle19, ACM, (2019)
J. Swalens, J. De Koster, и W. De Meuter. Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control - AGERE 2018, стр. 33--43. ACM, (ноября 2018)
D. Aumayr, S. Marr, E. Gonzalez Boix, и H. Mössenböck. Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, стр. 157--171. ACM, (октября 2019)
Q. Luo, F. Hariri, L. Eloussi, и D. Marinov. Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, стр. 643--653. ACM, (2014)
X. Chang, W. Dou, Y. Gao, J. Wang, J. Wei, и T. Huang. Proceedings of the 41st International Conference on Software Engineering, стр. 631--642. IEEE Press, (мая 2019)
H. Sun, D. Bonetta, F. Schiavio, и W. Binder. Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization, стр. 61--72. IEEE Press, (2019)
C. Hsiao, S. Narayanasamy, E. Khan, C. Pereira, и G. Pokam. Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, стр. 193--205. ACM, (2017)
V. Raychev, M. Vechev, и M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, стр. 151--166. ACM, (2013)
R. Utterback, K. Agrawal, J. Fineman, и I. Lee. Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, стр. 83--94. ACM, (2016)
A. Yoga, S. Nagarakatte, и A. Gupta. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, стр. 833--845. ACM, (2016)
J. Protze, M. Schulz, D. Ahn, и M. Müller. Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing, стр. 144--155. ACM, (2018)
M. Cao, M. Zhang, A. Sengupta, и M. Bond. Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, стр. 20:1--20:13. ACM, (2016)
J. Roemer, K. Genc, и M. Bond. Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, стр. 374--389. ACM, (2018)
J. Wang, W. Dou, Y. Gao, C. Gao, F. Qin, K. Yin, и J. Wei. Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, стр. 520--531. IEEE Press, (2017)
D. Wu, L. Chen, Y. Zhou, и B. Xu. 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), стр. 1-10. (октября 2015)
S. Fowler, S. Lindley, и P. Wadler. 31st European Conference on Object-Oriented Programming (ECOOP 2017), том 74 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 11:1--11:28. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2017)
N. Cohen, A. Tal, и E. Petrank. Proceedings of the 22Nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, стр. 17--29. ACM, (2017)
S. Lu, J. Tucek, F. Qin, и Y. Zhou. Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, стр. 37--48. ACM, (2006)
T. Elmas, S. Qadeer, и S. Tasiran. Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, стр. 245--255. ACM, (2007)
S. Tasharofi, M. Pradel, Y. Lin, и R. Johnson. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, стр. 114-124. (ноября 2013)
I. Cassar, и A. Francalanza. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, стр. 54--68. (сентября 2014)
S. Tasharofi, R. Karmani, S. Lauterburg, A. Legay, D. Marinov, и G. Agha. Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, стр. 219--234. Springer, (2012)
D. Deng, W. Zhang, и S. Lu. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, стр. 785--802. ACM, (2013)
N. Jalbert, и K. Sen. Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, стр. 57--66. New York, NY, USA, ACM, (2010)
J. De Koster, T. Van Cutsem, и W. De Meuter. Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, стр. 31--40. ACM, (2016)
C. Ritson, и J. Simpson. Communicating Process Architectures 2008, том 66 из Concurrent Systems Engineering Series, стр. 293--307. Amsterdam, The Netherlands, IOS Press, (сентября 2008)
J. Swalens, J. De Koster, и W. De Meuter. 30th European Conference on Object-Oriented Programming (ECOOP 2016), том 56 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 23:1--23:28. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2016)
G. Steele, Jr., D. Lea, и C. Flood. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, стр. 453--472. ACM, (2014)
D. Bonetta, L. Salucci, S. Marr, и W. Binder. Proceedings of the 2016 ACM International Conference on Object Oriented Programming Systems Languages & Applications, стр. 531--547. ACM, (02.11.2016)(acceptance rate 25%).
B. Daloze, S. Marr, D. Bonetta, и H. Mössenböck. Proceedings of the 2016 ACM International Conference on Object Oriented Programming Systems Languages & Applications, стр. 642--659. ACM, (02.11.2016)(acceptance rate 25%).
L. Salucci, D. Bonetta, S. Marr, и W. Binder. Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, стр. 40:1--40:2. ACM, (марта 2016)
B. Daloze, C. Seaton, D. Bonetta, и H. Mössenböck. Proceedings of the 10th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, (2015)
S. Abramsky. Electronic Notes in Theoretical Computer Science, (2006)Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25).
S. Marr, E. Gonzalez Boix, и H. Mössenböck. Proceedings of the 9th Arbeitstagung Programmiersprachen, том 1559 из ATPS'16, стр. 91--95. CEUR-WS, (25.02.2016)
J. McAffer. ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995, том 952 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)
P. Liu, X. Zhang, O. Tripp, и Y. Zheng. Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, стр. 55--64. ACM, (2015)
B. Claudel, Q. Sabah, и J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, том 9039 из Lecture Notes in Computer Science, Springer, (2015)
Y. Honda, и A. Yonezawa. ECOOP ’88 European Conference on Object-Oriented Programming, том 322 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1988)
F. David, G. Thomas, J. Lawall, и G. Muller. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages &\#38; Applications, стр. 291--307. ACM, (2014)
J. Zhou, X. Xiao, и C. Zhang. Proceedings of the 34th International Conference on Software Engineering, стр. 892--902. Piscataway, NJ, USA, IEEE Press, (2012)
M. Zhang, J. Huang, M. Cao, и M. Bond. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, стр. 97--108. ACM, (2015)
C. Wirth, H. Prähofer, и R. Schatz. Visualizing Software for Understanding and Analysis, 6th IEEE International Workshop on, стр. 1--4. (сентября 2011)
T. Usui, R. Behrends, J. Evans, и Y. Smaragdakis. Parallel Architectures and Compilation Techniques, 2009. PACT '09. 18th International Conference on, стр. 3--14. (сентября 2009)
J. Ha, M. Arnold, S. Blackburn, и K. McKinley. Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, стр. 155--174. ACM, (2009)