Safe concurrency introduction through slicing

PEPM 2015 - Proceedings of the 2015 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2015

Volumn , Issue , 2015, Pages 103-113

  Li, Huiqing ^a   Thompson, Simon ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Concurrency; Erlang; Functional programming; Parallelisation; Refactoring; Slicing

Indexed keywords

APPLICATION PROGRAMS;

CONCURRENCY; ERLANG; PARALLELISATION; REFACTORINGS; SLICING;

FUNCTIONAL PROGRAMMING;

EID: 84967188657     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2678015.2682533     Document Type: Conference Paper

References (29)

1. Erlang/OTP. http://www.erlang.org.
2. ETop - The Erlang Top. http://www.erlang.org/doc/man/etop.html.
3. J. Armstrong. Programming Erlang. Pragmatic Bookshelf, 2007.
4. I. Bozó and M. Tóth. Building Dependency graph for slicing Erlang Programs. In Periodca Politechnica, pages 372-390. 2010.
5. I. Bozó, V. Fordós, et al. Discovering Parallel Pattern Candidates in Erlang. In Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang, Erlang '14, pages 13-23. ACM, 2014.
6. C. Brown, K. Hammond, M. Danelutto, P. Kilpatrick, H. Schöner, and T. Breddin. Paraphrasing: Generating Parallel Programs Using Refactoring. In Formal Methods for Components and Objects, pages 237-256. Springer, 2013.
7. F. Cesarini and S. Thompson. Erlang Programming. O'Reilly Media, Inc., 2009.
8. M. M. T. Chakravarty, R. Leshchinskiy, S. Peyton Jones, G. Keller, and S. Marlow. Data parallel haskell: A status report. In Proceedings of the 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP '07, pages 10-18, New York, NY, USA, 2007. ACM.
9. F. Chen, H. Yang, W.-C. Chu, and B. Xu. A Program Transformation Framework for Multicore Software Reengineering. In Quality Software (QSIC), 2012 12th International Conference on, pages 270- 275. IEEE, 2012.
10. J. Cheng. Slicing Concurrent Programs - A Graph-Theoretical Approach. In Proceedings of the First International Workshop on Automated and Algorithmic Debugging, AADEBUG '93, pages 223- 240, London, UK, 1993. ISBN 3-540-57417-4.
11. K. Damevski and M. Muralimanohar. A Refactoring Tool to Extract GPU Kernels. In Proceedings of the 4th Workshop on Refactoring Tools, WRT '11, pages 29-32, New York, NY, USA, 2011. ACM.
12. D. Dig. A Refactoring Approach to Parallelism. IEEE Software, 28 (1):17-22, 2011.
13. R. Ettinger. Refactoring via Program Slicing and Sliding. In 23rd IEEE International Conference on Software Maintenance, pages 505- 506, Paris, France, 2007.
14. M. Kamkar, P. Krajina, and P. Fritzson. Dynamic Slicing of Parallel Message-Passing Programs. In PDP, pages 170-178. IEEE Computer Society, 1996.
15. J. Krinke. Context-sensitive Slicing of Concurrent Programs. In Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 178-187, New York, NY, USA, 2003.
16. P. Larsen, R. Ladelsky, J. Lidman, S. McKee, S. Karlsson, and A. Zaks. Parallelizing more Loops with Compiler Guided Refactoring. In Parallel Processing (ICPP), 2012 41st International Conference on, pages 410-419. IEEE, 2012.
17. H. Li and S. Thompson. A User-extensible Refactoring Tool for Erlang Programs. Technical Report 4-11, School of Computing, Univ. of Kent, UK, 2011.
18. H. Li and S. Thompson. Let's Make Refactoring Tools Userextensible! In Proceedings of the Fifth Workshop on Refactoring Tools, WRT '12, pages 32-39. ACM, 2012.
19. H. Li and S. Thompson. A Domain-Specific Language for Scripting Refactorings in Erlang. In 15th International Conference on Fundamental Approaches to Software Engineering(FASE), pages 501-515, 2012.
20. H. Li and S. Thompson. Multicore profiling for Erlang programs using percept2. In Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, pages 33-42. ACM, 2013.
21. L. Lövei, C. Hoch, H. Köllo, T. Nagy, A. Nagyné-Víg, D. Horpácsi, R. Kitlei, and R. Király. Refactoring Module Structure. In Proceedings of the 7th ACM SIGPLAN workshop on Erlang, pages 83-89, Victoria, British Columbia, Canada, Sep 2008.
22. K. Lundin. About Erlang/OTP and Multi-core Performance in Particular. Erlang Factory London 2009.
23. S. A. Markstrum, R. M. Fuhrer, and T. D. Millstein. Towards Concurrency Refactoring for x10. SIGPLAN Not., 44(4):303-304, 2009.
24. P. Nyblom. Erlang SMP Support. Erlang User Conference 2009.
25. J. Overbey, S. Xanthos, R. Johnson, and B. Foote. Refactorings for Fortran and High-performance Computing. In Proceedings of the Second International Workshop on Software Engineering for High Performance Computing System Applications, SE-HPCS '05, pages 37-39, New York, NY, USA, 2005. ACM.
26. J. Silva, S. Tamarit, and C. Tomas. System Dependence Graphs in Sequential Erlang. In J. de Lara and A. Zisman, editors, Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, pages 486-500. Springer Berlin Heidelberg, 2012.
27. S. Thompson and H. Li. Refactoring tools for functional languages. Journal of Functional Programming, 23(03):293-350, 2013.
28. M. Tóth and I. Bozó. Static Analysis of Complex Software Systems Implemented in Erlang. In V. Zsák, Z. Horváth, and R. Plasmeijer, editors, Central European Functional Programming School, volume 7241, pages 440-498. 2012.
29. M. Tóth, I. Bozó, et al. Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. In Z. Horváth et al., editors, Central European Functional Programming School, Lecture Notes in Computer Science, pages 372-390. 2013.