Socio-PLT: Principles for programming language adoption

SPLASH 2012: Onward! 2012 - Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

Volumn , Issue , 2012, Pages 39-53

  Meyerovich, Leo A ^a   Rabkin, Ariel ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b PRINCETON UNIVERSITY   (United States)

Author keywords

History; Programming language adoption; Sociology

Indexed keywords

CLEAN WATERS; DESIGN SPACES; LANGUAGE FEATURES; PROGRAMMING LANGUAGE DESIGN; PROGRAMMING LANGUAGE THEORY; RESEARCH AGENDA; SCIENTIFIC RESEARCHES; SOCIOLOGY;

ADA (PROGRAMMING LANGUAGE); HISTORY; RESEARCH; SOCIAL SCIENCES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 84869748511     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2384592.2384597     Document Type: Conference Paper

References (84)

1. Index of Python Enhancement Proposals. http://www. python.org/dev/peps/.
2. Scala improvement process. http://docs.scala-lang. org/sips/.
3. The Java Community Process. http://jcp.org/.
4. FAQ - The Go Programming Language. Online: http://golang.org/doc/go-faq. html, Accessed April 2012.
5. M. S. Ackerman. The intellectual challenge of CSCW: The gap between social requirements and technical feasibility. Human-Computer Interaction, 15:179-203, 2000.
6. K. Asanovic, R. Bodik, B. C. Catanzaro, J. J. Gebis, P. Husbands, K. Keutzer, D. A. Patterson, W. L. Plishker, J. Shalf, S. W. Williams, and K. A. Yelick. The landscape of parallel computing research: A view from Berkeley. Technical Report UCB/EECS-2006-183, EECS Department, University of California, Berkeley, Dec 2006.
7. J. Backus. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs. Communications of the ACM, 21(8):613-641, 1978.
8. Y. Balcer and S. A. Lippman. Technological expectations and adoption of improved technology. Journal of Economic Theory, 34(2):292-318, December 1984.
9. C. Bird, B. Murphy, N. Nagappan, and T. Zimmermann. Empirical software engineering at Microsoft Research. In Pro-ceedings of the ACM 2011 conference on Computer supported cooperative work, pages 143-150, 2011.
10. G. Bracha and D. Ungar. Mirrors: design principles for metalevel facilities of object-oriented programming languages. In Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA '04, pages 331-344, 2004.
11. T. A. Burnham, J. K. Frels, and V. Mahajan. Consumer switching costs: A typology, antecedents, and consequences. Journal of the Academy of Marketing Science, 31(2):109-126, 2003.
12. B. Catanzaro, S. Kamil, Y. Lee, K. Asanovic, J. Demmel, K. Keutzer, J. Shalf, K. Yelick, and A. Fox. SEJITS: Getting productivity and performance with selective embedded JIT specialization. In First Workshop on Programmable Models for Emerging Architecture, 2009.
13. Y. Chen, R. Dios, A. Mili, L. Wu, and K. Wang. An empirical study of programming language trends. IEEE Software, 22: 72-78, May 2005.
14. M. Cline. Inheritance - multiple and virtual inheritance. Online: http://www.parashift.com/c++-faq-lite/ multiple-inheritance.html, 2011.
15. P. Coburn. The Change Function: Why Some Technologies Take Off and Others Crash and Burn. Portfolio Hardcover, 2006.
16. M. Conway. Design of a separable transition-diagram compiler. Communications of the ACM, 6(7):396-408, 1963.
17. W. R. Cook. On understanding data abstraction, revisited. In Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, OOPSLA '09, pages 557-572, 2009.
18. L. M. Corporation. Joint Strike Fighter C++ Coding Standards. Online: http://www.scribd.com/doc/3969122/ Joint-Strike-Fighter-C-Coding-Standards, December 2005.
19. E. Dijkstra. Letters to the editor: go to statement considered harmful. Communications of the ACM, 11(3):147-148, 1968.
20. P. Dourish. Implications for design. In Proceedings of the SIGCHI conference on Human Factors in computing systems, CHI '06, pages 541-550, 2006.
21. L. Fang and K. LeFevre. Privacy wizards for social networking sites. In Proceedings of the 19th international conference on World wide web, pages 351-360, 2010.
22. M. Felleisen and D. Friedman. Control Operators, the SECDmachine, and the [1]-calculus. Indiana University, Computer Science Department, 1986.
23. R. Gabriel. The rise of "worse is better". Lisp: Good News, Bad News, How to Win Big, 1991.
24. A. Gal, B. Eich, M. Shaver, D. Anderson, D. Mandelin, M. R. Haghighat, B. Kaplan, G. Hoare, B. Zbarsky, J. Orendorff, J. Ruderman, E. W. Smith, R. Reitmaier, M. Bebenita, M. Chang, and M. Franz. Trace-based just-in-time type specialization for dynamic languages. In Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation, PLDI '09, pages 465-478, 2009.
25. P. Geroski. Models of technology diffusion. Research policy, 29(4-5):603-625, 2000.
26. H. R. Glick and S. P. Hays. Innovation and reinvention in state policymaking: Theory and the evolution of living will laws. The Journal of Politics, 53(03):835-850, 1991.
27. P. Godefroid and N. Nagappan. Concurrency at Microsoft-an exploratory survey. In CAV Workshop on Exploiting Concurrency Efficiently and Correctly, 2008.
28. M. Granovetter. The strength of weak ties. American journal of sociology, pages 1360-1380, 1973.
29. D. Gruhl, R. Guha, D. Liben-Nowell, and A. Tomkins. Information diffusion through blogspace. In Proceedings of the 13th international conference onWorldWideWeb, pages 491- 501, 2004.
30. S. Hanenberg. Faith, hope, and love: an essay on software science's neglect of human factors. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications, OOPSLA '10, pages 933-946, 2010.
31. B. Hartmann, L. Yu, A. Allison, Y. Yang, and S. Klemmer. Design as exploration: creating interface alternatives through parallel authoring and runtime tuning. In Proceedings of the 21st annual ACM symposium on User interface software and technology, pages 91-100, 2008.
32. C. Hauser, C. Jacobi, M. Theimer, B. Welch, and M. Weiser. Using threads in interactive systems: A case study. In ACM SIGOPS Operating Systems Review, volume 27, pages 94- 105, 1994.
33. S. P. Hays. Influences on reinvention during the diffusion of innovations. Political Research Quarterly, 49(3):pp. 631-650, 1996.
34. C. Hoare. The 1980 ACM Turing Award lecture. Communications of the ACM, 24(2), 1981.
35. C. A. R. Hoare. Hints on programming language design. Technical report, Stanford, CA, USA, 1973.
36. P. Hudak, J. Hughes, S. P. Jones, and P. Wadler. A history of Haskell: Being lazy with class. In In Proceedings of the 3rd ACM SIGPLAN Conference on History of Programming Languages (HOPL-III), pages 1-55, 2007.
37. J. Hughes. Why Functional Programming Matters. Computer Journal, 32(2):98-107, 1989.
38. L. R. Iannaccone. Strictness and strength revisited: Reply to Marwell. The American Journal of Sociology, 101(4):pp. 1103-1108, 1996.
39. R. James and A. Sabry. Yield: Mainstream delimited continuations. In First International Workshop on the Theory and Practice of Delimited Continuations (TPDC 2011), page 20, 2011.
40. Jonathan Shapiro. Retrospective thoughts on BitC. Mailing list message. Available online: http://www.coyotos. org/pipermail/bitc-dev/2012-March/003300. html, March 2012.
41. J. Kelly, J. St Lawrence, L. Stevenson, A. Hauth, S. Kalichman, Y. Diaz, T. Brasfield, J. Koob, and M. Morgan. Community AIDS/HIV risk reduction: the effects of endorsements by popular people in three cities. American Journal of Public Health, 82(11):1483-1489, 1992.
42. S. Krishnamurthi, P. Hopkins, J. McCarthy, P. Graunke, G. Pettyjohn, and M. Felleisen. Implementation and use of the PLT Scheme web server. Higher-Order and Symbolic Computation, 20(4):431-460, 2007.
43. P. Landin. Correspondence between ALGOL 60 and Church's lambda-notation: part I. Communications of the ACM, 8(2): 89-101, 1965.
44. B. Lerner, D. Grossman, and C. Chambers. SEMINAL: searching for ML type-error messages. In ML '06: Proceedings of the 2006 workshop on ML, pages 63-73, 2006.
45. B. Liblit. Cooperative Bug Isolation. PhD thesis, UC Berkeley, 2004.
46. B. Liskov, A. Snyder, R. Atkinson, and C. Schaffert. Abstraction mechanisms in CLU. Communications of the ACM, 20 (8):564-576, 1977.
47. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In ACM Sigplan Notices, volume 43, pages 329-339, 2008.
48. S. Maleki, Y. Gao, T. Wong, D. Padua, et al. An evaluation of vectorizing compilers. In Parallel Architectures and Compilation Techniques (PACT), 2011 International Conference on, pages 372-382, 2011.
49. N. Mark. Birds of a feather sing together. Social Forces, 77 (2):pp. 453-485, 1998.
50. S. Markstrum. Staking claims: a history of programming language design claims and evidence: a positional work in progress. In Evaluation and Usability of Programming Languages and Tools, page 7, 2010.
51. J. McCartney. Rethinking the computer music language: Supercollider. Computer Music Journal, 26(4):61-68, 2002.
52. M. McPherson, L. Smith-Lovin, and J. Cook. Birds of a feather: Homophily in social networks. Annual review of sociology, pages 415-444, 2001.
53. E. Meijer. Confessions of a used programming language salesman. In Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications, OOPSLA '07, pages 677-694, 2007.
54. L. A. Meyerovich, A. Guha, J. Baskin, G. H. Cooper, M. Greenberg, A. Bromfield, and S. Krishnamurthi. Flapjax: A Programming Language for AJAX Applications. In OOPSLA '09: Proceeding of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, pages 1-20, 2009.
55. R. Milner. Logic for computable functions: description of a machine implementation. 1972.
56. M. Mintrom. Policy Entrepreneurs and the Diffusion of Innovation. American Journal of Political Science, 41(3):738-770, 1997.
57. A. Moura and R. Ierusalimschy. Revisiting coroutines. ACM Transactions on Programming Languages and Systems (TOPLAS), 31(2):6, 2009.
58. M. Musuvathi and S. Qadeer. Iterative context bounding for systematic testing of multithreaded programs. In Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, PLDI '07, pages 446-455, 2007.
59. P. Norvig. Design patterns in dynamic programming. Object World, 96(5), 1996.
60. M. Osterloh and B. Frey. Motivation, knowledge transfer, and organizational forms. Organization science, pages 538-550, 2000.
61. J. Pane, B. Myers, and L. Miller. Using HCI techniques to design a more usable programming system. In Human Centric Computing Languages and Environments, 2002. Proceedings. IEEE 2002 Symposia on, pages 198-206, 2002.
62. C. Parnin. A cognitive neuroscience perspective on memory for programming tasks. In In the Proceedings of the 22nd Annual Meeting of the Psychology of Programming Interest Group (PPIG), 2010.
63. C. Parnin, C. Bird, and E. Murphy-Hill. Java generics adoption: how new features are introduced, championed, or ignored. In Proceeding of the 8th working conference on Mining software repositories, pages 3-12, 2011.
64. S. Peyton Jones. Wearing the hair shirt: a retrospective on Haskell. Invited talk at POPL, 206, 2003.
65. T. A. Proebsting. Disruptive programming language technologies. Talk at MIT. (Slides available: http://ll2.ai.mit. edu/talks/proebsting.ppt), November 2002.
66. C. Queinnec. The influence of browsers on evaluators or, continuations to program web servers. In Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, ICFP '00, pages 23-33, 2000.
67. J. Reynolds. The discoveries of continuations. Lisp and symbolic computation, 6(3):233-247, 1993.
68. E. Rogers. Diffusion of innovations. Free Press., 1995.
69. C. J. Rossbach, O. S. Hofmann, and E. Witchel. Is transactional programming actually easier? In Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '10, pages 47-56, 2010.
70. E. Schurman and J. Brutlag. Performance related changes and their user impact. In Velocity Web Performance and Operations Conference, 2009.
71. P. Senge. The fifth discipline: The art and practice of the learning organization: Book review. 1993.
72. C. Shapiro and H. R. Varian. Information rules: A strategic guide to the network economy. Harvard Business School Press, Boston, 1999.
73. B. Shneiderman. 1.1 direct manipulation: a step beyond programming languages. Sparks of Innovation in Human- Computer Interaction, 1993.
74. M. Smith and L. Marx. Does technology drive history?: The dilemma of technological determinism. The MIT Press, 1994.
75. B. Stroustrup. Evolving a language in and for the real world: C++ 1991-2006. In Proceedings of the third ACM SIGPLAN conference on History of programming languages, HOPL III, pages 4-1-4-59, 2007.
76. S. Tobin-Hochstadt, V. St-Amour, R. Culpepper, M. Flatt, and M. Felleisen. Languages as libraries. In PLDI, 2011.
77. D. A. Turner. SASL language manual. Technical Report CS/75/1, Department of Computational Science, University of St. Andrews, 1975.
78. A. van Straaten. RE: What's so cool about Scheme? http://people.csail. mit.edu/gregs/ ll1-discuss-archive-html/msg03277.html, June 2003.
79. A. van Wijngaarden. Recursive definition of syntax and semantics. North Holland Publishing Company, 1966.
80. R. Von Behren, J. Condit, F. Zhou, G. Necula, and E. Brewer. Capriccio: scalable threads for internet services. ACM SIGOPS Operating Systems Review, 37(5):268-281, 2003.
81. P. Wadler. The essence of functional programming. In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '92, pages 1-14, 1992.
82. P.Wadler. How enterprises use functional languages, and why they don't. The Logic Programming Paradigm: A, pages 209- 227, 1998.
83. W. Wulf, R. London, and M. Shaw. An introduction to the construction and verification of Alphard programs. Software Engineering, IEEE Transactions on, (4):253-265, 1976.
84. M. Zaharia, M. Chowdhury, M. Franklin, S. Shenker, and I. Stoica. Spark: cluster computing with working sets. In Proceedings of the 2nd USENIX conference on Hot topics in cloud computing, pages 10-10, 2010.