October 2016 - Haskell

[CFP] RAMiCS 2017
by Damien Pous 27 Oct '16

27 Oct '16

Second Call for Papers ----------------------------------------------------- 16th International Conference on RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2017) May 15-19, 2017 Lyon, France http://ramics-conference.org ----------------------------------------------------- GENERAL INFORMATION: For more than two decades, the RAMiCS conferences series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite submissions in the general field of algebraic structures relevant to computer science and on applications of such algebras. Topics of the conference include, but are not limited to the following -theory * algebraic structures from semigroups, residuated lattices and semirings to Kleene algebras, relation algebras and quantales * other algebras relevant to the theory of automata, concurrency, formal languages, games, networks, programming languages and social choice * algorithmic, category-theoretic, coalgebraic or proof-theoretic methods for such algebras * their formalisation with automated and interactive theorem provers -applications * tools and techniques for the verification and correctness of sequential and concurrent programs * quantitative and qualitative models for computing systems * logics of programs, e.g., modal, dynamic, interval, temporal or resource logics, logics for games, social choice and distributed systems * design of algorithms, network protocol analysis, optimisation and control INVITED SPEAKERS: * Annabelle McIver (Macquarie University, Sydney) * Jean-Eric Pin (CNRS, IRIF, Paris) * Alexandra Silva (University College, London) IMPORTANT DATES: Abstract Submission: 2016, Nov 25 Paper Submission: 2016, Dec 2 Author Notification: 2017, Feb 3 Camera-ready papers: 2017, Feb 24 RAMiCS 2017: 2017, May 15-19 SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics16 All papers will be peer reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must be in English, in PDF format and should not exceed 16 pages in LNCS style. Submissions must be unpublished, not under review for publication elsewhere and provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for reviewers. Deviation from these requirements may lead to rejection. Accepted papers must be produced with LaTeX. One author of each accepted paper is expected to present the paper at the conference. Formatting instructions and LNCS style files can be obtained at: http://www.springer.de/comp/lncs/authors.html. COMMITTEES: Conference Chair: Damien Pous, CNRS, France Programme Chairs: Peter Höfner, Data61, Australia Georg Struth, U Sheffield, UK, Programme Committee: Luca Aceto, Reykjavik U, Iceland Rudolf Berghammer, U Kiel, Germany Filippo Bonchi, CNRS, France Jules Desharnais, U Laval, Canada Hitoshi Furusawa, Kagoshima U, Japan Tim Griffin, U Cambridge, UK Walter Guttmann, U Canterbury, New Zealand Robin Hirsch, UCL, UK Peter Höfner, Data61, CSIRO, Australia Marcel Jackson, LaTrobe U, Australia Jean-Baptiste Jeannin, Samsung, USA Peter Jipsen , Chapman U, USA Christian Johansen, U Oslo, Norway Wolfram Kahl, McMaster U, Canada Dexter Kozen, Cornell U, USA Szabolcs Mikulas, Birkbeck U, UK Bernhard Möller, U Augsburg, Germany José N. Oliveira, U Minho, Portugal Damien Pous, CNRS, France Georg Struth, U Sheffield, UK, Pascal Weil, CNRS, France Michael Winter, Brock U, Canada

1 0

CoALP-Ty'16: Call for Participation
by František Farka 27 Oct '16

27 Oct '16

Call for Participation Workshop on Coalgebra, Horn Clause Logic Programming and Types 28-29 November 2016, Edinburgh, UK https://ff32.host.cs.st-andrews.ac.uk/coalpty16/ Abstract submission: 15 October, 2016 Registration deadline: 5 November, 2016 ==================================================== Objectives and scope ------------------- The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts: Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond We invite all colleagues working in related areas to present and share their results. We envisage a friendly meeting with many stimulating discussions, and therefore welcome presentations of already published research as well as novel results. Authors of original contributions will be invited to submit their papers to EPTCS post-proceedings. We especially encourage early career researchers to present and participate. Venue ----- The workshop will be held at the International Centre for Mathematical Sciences, in Edinburgh city centre, just 2 minutes walk from the Informatics Forum. Registration ------------ To register please fill in https://goo.gl/forms/KAm83p1bcNAxw0ss2 Although the registration is free it is compulsory. Please register by the 5th of November 2016. Programme --------- Monday 28 November 9:10 - 9:20 Registration 9:30 - 9:40 Welcome to CoALP-Ty'16 - Ekaterina Komendantskaya 9:40 - 11:10 Invited talk I - John Power: Logic Programming: Laxness and Saturation 11:10 - 11:30 Coffee break 11:30 - 12:00 Contributed talk - Henning Basold and Ekaterina Komendantskaya: Models of Inductive-Coinductive Logic Programs 12:00 - 13:00 Invited talk II - Steven Ramsay and Luke Ong: Refinement Types and Higher-Order Constrained Horn Clauses 13:00 - 14:00 Lunch 14:00 - 15:00 Invited talk III - Tarmo Uustalu: Comodels and Interaction 15:00 - 15:30 Coffee break 15:30 - 17:00 Contributed talks - František Farka: Proofs by Resolution and Existential Variables - Bashar Igried and Anton Setzer: Defining Trace Semantics for CSP-Agda - Clemens Kupke: Coalgebra and Ontological Rules 18:00 - 20:00 Workshop dinner - Lebanese restaurant Beirut, 24 Nicolson Square Tuesday 29 November 9:30 - 10:30 Invited talk IV - Claudio Russo: Classes for the Masses 10:30 - 11:00 Contributed talk - J. Garrett Morris: Semantical Analysis of Type Classes 11:00 - 11:30 Coffee break 11:30 - 12:30 Invited talk V - Davide Ancona: Abstract Compilation for Type Analysis of Object-Oriented Languages 12:30 - 13:30 Lunch 13:30 - 14:30 Invited talk VI - Ki Yung Ahn: Relational Specification of Type Systems Using Logic Programming 14:30 - 15:15 Discussion Panel - Horn Clause Logic: its Proof Theory, Type Theory and Category Theory — do we have the full picture yet? 15:15 - 15:45 Coffee break 15:45 - 16:45 Contributed talks - Martin Schmidt: Coalgebraic Logic Programming: Implementation and Optimization - Luca Franceschini, Davide Ancona and Ekaterina Komendantskaya: Structural Resolution for Abstract Compilation of Object-Oriented Languages Important dates --------------- Workshop registration: 5 November, 2016 Workshop: 28–29 November, 2016 Programme committee ------------------- Ki Yung Ahn, Nanyang Technological University, Singapore Davide Ancona, University of Genoa, Italy Filippo Bonchi, CNRS, ENS de Lyon, France Iavor Diatchki, Galois, Inc, USA Peng Fu, Heriot-Watt University, Edinburgh, UK Neil Ghani, University of Strathclyde, UK Patricia Johann, Appalachian State University, USA Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh, UK Clemens Kupke, University of Strathclyde, UK J. Garrett Morris, University of Edinburgh, UK Fredrik Nordvall Forsberg, University of Strathclyde, UK John Power, University of Bath, UK Claudio Russo, Microsoft Research Cambridge, UK Martin Schmidt, DHBW Stuttgart and Osnabrück University , Germany Stephan Schulz, DHBW Stuttgart, Germany Aaron Stump, The University of Iowa, USA Niki Vazou, University of California, San Diego, USA Joe Wells, Heriot-Watt University, Edinburgh, UK Fabio Zanasi, Radboud University of Nijmegen, The Netherlands Workshop chairs -------- Ekaterina Komendantskaya, Heriot-Watt University, UK John Power, University of Bath, UK Publicity chair --------------- František Farka, University of Dundee, UK and University of St Andrews, UK -- František Farka

1 0

[ANN] unicode-transforms-0.2.0 pure Haskell unicode normalization
by Harendra Kumar 25 Oct '16

25 Oct '16

Hi, I released unicode-transforms sometime back as bindings to a C library (utf8proc). Since then I have rewritten it completely in Haskell. Haskell data structures are automatically generated from unicode database, so it can be kept up-to-date with the standard unlike the C implementation which was stuck at unicode 5. The implementation comes with a test suite providing 100% code coverage. After a number of algorithmic and implementation efficiency optimizations, I was able to get several times better decompose performance compared to the C implementation. I have not yet got a chance to fully optimize the compose operations but they are still as fast as utf8proc. I would like to thank Antonio Nikishaev for the unicode character database parsing code which I borrowed from the prose library. https://github.com/harendra-kumar/unicode-transforms https://hackage.haskell.org/package/unicode-transforms -harendra

1 0

[ANN] dbmigrations 2.0.0: the "break everything in a good way" update
by Jonathan Daugherty 22 Oct '16

22 Oct '16

Hi, TLDR: this release contains good but BREAKING changes! Read on for details. I'm pleased to announce the release of version 2.0.0 of the "dbmigrations" library for managing relational database schema changes. http://hackage.haskell.org/package/dbmigrations This release includes the creation of three new packages. These are the ones you want to install now, instead of the core library: * http://hackage.haskell.org/package/dbmigrations-postgresql * http://hackage.haskell.org/package/dbmigrations-sqlite * http://hackage.haskell.org/package/dbmigrations-mysql In this release all database-specific functionality was factored out of the core library into the packages listed above. Previously, if you wanted to use dbmigrations you needed to have, say, MySQL C libraries installed even if you didn't want to use dbmigrations on a MySQL database. Needless to say, this created headaches as more backend implementations were added to the library. This means that, as a transition aid, the core package's tool EXITS WITH AN ERROR MESSAGE that suggests you install one of the above backend-specific packages to get a backend-specific version of the dbmigrations tool. The dbmigrations library also includes a backend test suite that all of the backend-specific packages use to ensure consistent behavior across implementations of the dbmigrations interface. This release was made possible by Bastian Krol, who put in a lot of time to move the backend-specific bits of the library into the new packages. This was a much-needed change and I'm thankful for his contribution! -- Jonathan Daugherty

1 0

CFP: Functional Paradigm for High Performance Computing
by John Hughes 19 Oct '16

19 Oct '16

============================================================================ Future Generation Computer Systems (IF=2.430) Special Issue on Functional Paradigm for High Performance Computing in conjunction with the International Conference Lambda Days 2017 http://www.lambdadays.org February 09-10, Kraków, Poland ============================================================================ Dear Sir or Madam, We hereby cordially invite you to submit a paper presenting the results of original research or innovative practical application in the area of Functional Programming for High Performance Computing. The special issue aims to bring together functional programming designers, HPC experts, researchers and application developers from academia and industry to present the latest progress on functional programming paradigm for High Performance Computing and to identify and discuss which possible solutions provided by functional programming are useful for HPC issues. The deadline for submitting your paper to the workshop is November 30th, 2016. For more information and details on the call, please check the link: http://www.journals.elsevier.com/future-generation-computer-systems/call-fo… or the main conference site: www.lambdadays.org<http://www.lambdadays.org> or the PDF CFP online: http://www.lambdadays.org/static/upload/media/1475770130836999pdf_lambda2.p… You can also contact the organizers directly by sending an email to olekb(a)agh.edu.pl<mailto:olekb@agh.edu.pl> With best regards, On behalf of the special section chairs: Aleksander Byrski, AGH University of Science and Technology, Krakow, Poland Katarzyna Rycerz, AGH University of Science and Technology, Krakow, Poland John Hughes, Chalmers University of Technology, Gothenburg, Sweden Kevin Hammond, University of St. Andrews, St. Andrews, Scotland, UK

1 0

2 PhD student positions on securing systems using Haskell
by Alejandro Russo 18 Oct '16

18 Oct '16

[Our apologies if you receive multiple copies of this message] The Software Technology Division of the Computer Science and Engineering Department, Chalmers University of Technology is hiring: - 1 PhD student in Programming Language-based Security http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=4389 - 1 PhD student in Language-based Security using Functional Programming http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=4391 PhD student positions are for up to five years of full-time employment; normally, 20% of the time is allocated to departmental work (mainly teaching duties). The salary for the positions is as specified in Chalmers's general agreement for PhD student positions. * Application deadline: 30 November 2016. * Expected starting date: preferably early 2017. ------------------------------------------------------------- 1 PhD student position in Programming Language-based Security ------------------------------------------------------------- Increasingly, security flaws in applications arise due to software errors. Programming Language-based Security is a domain in which we strive to enhance security of software application by looking at properties of programming languages. In the Paragon project, we focus on achieving security of software through the construction and use of a dedicated, statically security-typed programming language. The language Paragon is an extension of Java (implemented in Haskell), adding a type system for information flow control based on an expressive calculus for security policies we have developed. The position focuses on improving and extending the applicability of Paragon to practical programming domains. Of particular interest is the Android operating system, where we envision the construction of a secure, information-flow aware app infrastructure. Research opportunities include: * applying Paragon to case studies in specific software domains, in particular the domain of Android apps. * investigating the interaction of information flow and particular language features such as concurrency or typestate; * applying the principles behind Paragon to other programming languages and paradigms; * proving mathematical properties of type systems; The ideal applicant has a strong working knowledge in programming language technology, including type systems, static analysis, and formal semantics; and also in functional programming, as well as a broad interest in programming languages and paradigms in general. Prior knowledge of software security or Android programming are useful but not essential. To read more about the Paragon project, see the project website (http://www.cse.chalmers.se/research/group/paragon/) We recommend in particular the interactive tutorial (http://cse-212294.cse.chalmers.se/research/paragon/tutorial/) This position will be supervised by Prof. Niklas Broberg and Prof. David Sands. ------------------------------------------------------------------------------ 1 1 PhD student position in Language-based Security using Functional Programming ------------------------------------------------------------------------------ The position focuses on developing techniques to protect confidentiality and integrity of users' data when manipulated by third-party code (i.e., code written by someone else) -- a pressing problem for the web as well as mobile platforms. We expect functional programming to play an important role addressing this challenge. In this direction, researchers at Chalmers have been responsible for developing some of the state-of-the-art tools for protecting users' sensitive data in Haskell programs (e.g., LIO https://hackage.haskell.org/package/lio and MAC https://hackage.haskell.org/package/mac) It is expected that the work carried out by the applicant ranges from establishing new theoretical foundations to deploying prototypes in realistic systems. We are looking for candidates with strong background in programming languages who are also interested in building systems using their ideas. The candidate is expected to pursue one or more of the following topics: * Combining type-systems features and dynamic analysis to secure functional languages, where the main target is Haskell programs. * Leveraging hardware-level security components (e.g, Intel SGX and ARM TrustZones) to provide security in depth, where private data can be protected from the application level down to the low-level physical layers by the use of, for instance, foreign function calls. * Design of secure web frameworks to control the flow of information in an end-to-end fashion, i.e., at the server side as well as in web browsers. We envision the creation of secure web frameworks based on functional reactive programming (FRP). As an introduction to the research area, applicants are recommended to read the article Functional Pearl: Two can keep a secret if one of them uses Haskell (http://www.cse.chalmers.se/~russo/publications_files/pearl-russo.pdf<http://www.cse.chalmers.se/%7Erusso/publications_files/pearl-russo.pdf>). This position will be supervised by Prof. Alejandro Russo (http://www.cse.chalmers.se/~russo/<http://www.cse.chalmers.se/%7Erusso/>)

1 0

[ANN] HyperHaskell -- the strongly hyped Haskell interpreter
by Heinrich Apfelmus 17 Oct '16

17 Oct '16

Dear all, it is my pleasure to announce the first release of HyperHaskell the strongly hyped Haskell interpreter version 0.1.0.0 ! It is open source and available on Github, where you can also find screenshots and further information about installation: https://github.com/HeinrichApfelmus/hyper-haskell HyperHaskell is a graphical Haskell interpreter (REPL), not unlike GHCi, but hopefully more awesome. You use worksheets to enter expressions and evaluate them. Results are displayed using HTML. HyperHaskell is cross-platform and should run on Linux, Mac and Windows. That said, the binary distribution is currently only built for Mac. Help is appreciated! This is a very first release. Basic features are working, but there is plenty of room to grow. Please send me any feedback, suggestions, bug reports, contributions ... that you might have! The long term goal of HyperHaskell is to break the boundaries between textual programming ("verbal language") and visual input ("nonverbal language"). This includes graphical output, but also editing code while it's running ("live coding", planned) and interactive output (e.g. "tangible values", planned). This territory is still largely uncharted from a purely functional perspective, probably due to a lack of easily installed graphical facilities. It is my hope that HyperHaskell may provide a common ground for exploration and experimentation in this direction. Related projects that I know of: * IHaskell - https://github.com/gibiansky/IHaskell * Haskell for Mac - http://haskellformac.com/ Unfortunately, the first has a reputation for being difficult to install, and the second is partially proprietary and Mac only. Hence this new effort. Best regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com

1 0

<Programming> 2017: Call for papers
by Tim Molderez 17 Oct '16

17 Oct '16

<Programming> 2017 : The Art, Science, and Engineering of Programming April 3-6, 2017, Brussels, Belgium http://2017.programming-conference.org We started a new conference and journal focused on everything to do with programming, including the experience of programming. We call the conference <Programming> for short. Paper submissions and publications are handled by the journal. Accepted papers must be presented at the conference. ******************************************************** CALL FOR PAPERS ******************************************************** <Programming> 2017 accept scholarly papers including essays that advance the knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. PAPER SUBMISSIONS: December 1, 2016 We accept submissions covering several areas of expertise. These areas include, but are not limited to: • General-purpose programming • Distributed systems programming • Parallel and multi-core programming • Graphics and GPU programming • Security programming • User interface programming • Database programming • Visual and live programming • Data mining and machine learning programming • Interpreters, virtual machines and compilers • Modularity and separation of concerns • Model-based development • Metaprogramming and reflection • Testing and debugging • Program verification • Programming education • Programming environments • Social coding ******************************************************** CALL FOR WORKSHOP PROPOSALS ******************************************************** To build a community and to foster an environment where participants can exchange ideas and experiences related to practical software development, ‹Programming› will host a number of workshops, during the days before the main conference. The workshops will provide a collaborative forum to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussion of innovative ideas, recent progress, or practical experience on programming and applied software development in general for specific aspects, specific problems, or domain-specific needs. We also encourage practical, hands-on workshops in which participants actually experience one or several aspects of practical software development. WORKSHOP PROPOSAL SUBMISSIONS: November 15, 2016 The duration of workshops is in general one day, but we encourage the submission of half-day workshop proposals on focused topics as well. In exceptional situations, e.g., for workshops that involve actual practice of programming-related activities, workshop organizers can request a 2 day workshop slot. If desired, the workshop proceedings can be published in the ACM Digital Library. ******************************************************** IMPORTANT DATES ******************************************************** Research paper submissions: December 1, 2016 Research paper first notifications: February 1, 2017 Research paper final notifications: March 7, 2017 Workshop proposals: November 15, 2016 PX 2017 workshop submissions: January 15, 2017 Poster abstract submissions: January 16, 2017 ******************************************************** ORGANIZATION ******************************************************** General Chair: Theo D'Hondt, Vrije Universiteit Brussel Local Organizing Chair: Wolfgang De Meuter, Vrije Universiteit Brussel Program Chair: Crista V. Lopes, University of California, Irvine Organizing Committee: Jörg Kienzle (workshops), McGill University Hidehiko Masuhara (demos), Tokyo Institute of Technology Ralf Lämmel (contest), University of Koblenz-Landau Jennifer Sartor (posters), Vrije Universiteit Brussel Tobias Pape (web technology), HPI - University of Potsdam Tim Molderez (publicity), Vrije Universiteit Brussel Program Committee: Andrew Black, Portland State University Shigeru Chiba, University of Tokyo Yvonne Coady, University of Victoria Robby Findler, Northwestern University Lidia Fuentes, Universidad de Málaga Richard Gabriel, IBM Research Elisa Gonzalez Boix, Vrije Universiteit Brussel Jeff Gray, University of Alabama Robert Hirschfeld, HPI - University of Potsdam Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro Jörg Kienzle, McGill University Hidehiko Masuhara, Tokyo Institute of Technology Sasa Misailovic, University of Illinois at Urbana-Champaign Guido Salvaneschi, Technische Universität Darmstadt Mario Südholt, Ecole des mines de Nantes Jurgen Vinju, Centrum Wiskunde & Informatica Tijs van der Storm, Centrum Wiskunde & Informatica ******************************************************** <Programming> 2017 is kindly supported by: ACM in-cooperation ACM SIGPLAN in-cooperation ACM SIGSOFT in-cooperation AOSA Vrije Universiteit Brussel ******************************************************** For more information, visit http://2017.programming-conference.org

1 0

[ANN] xls-0.1.0 Parse MS Excel spreadsheets
by Harendra Kumar 17 Oct '16

17 Oct '16

I have uploaded the xls package [1] on Hackage [2]. It works pretty well for the basic use case of parsing all sheets in a single stream of rows composed of cells. The cell values are presented as plain strings i.e. no data type based interpretation. Such stuff can be added if required, it is supported by the underlying C library (libxls). One thing that I would like to have added to the API is a way to list all sheets and select sheets to parse in a workbook. It should be pretty easy to do if anyone wants to do it. 1. https://github.com/harendra-kumar/xls 2. https://hackage.haskell.org/package/xls -harendra

1 0

Call for Scholarship Applications: PLMW at POPL 2017 - Deadline October 23
by Dimitrios Vytiniotis 14 Oct '16

14 Oct '16

[Apologies for multiple copies, scholarship application deadline in less than 10 days] >>>>>>>>>> CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, Paris, France Tuesday, January 17, 2017 Co-located with POPL 2017 PLMW web page: http://conf.researchr.org/track/POPL-2017/PLMW-2017 After the resounding success of the first five Programming Languages Mentoring Workshops at POPL 2012-2016 we proudly announce the 2017 SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2017 and organised by Loris D'Antoni, Eva Darulova, Alexandra Silva, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women, underrepresented minority students, and people with disabilities to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship: The scholarship application can be accessed from the workshop web site. http://conf.researchr.org/track/POPL-2017/PLMW-2017#Scholarship-applications The deadline for full consideration of funding is SUNDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 20 or earlier. Confirmed sponsors so far: NSF ACM SIGPLAN Amazon An Anonymous Donor Jane Street Capital Microsoft

1 0