khinsen.wordpress.com
The state of NumPy | Konrad Hinsen's Blog
https://khinsen.wordpress.com/2014/09/12/the-state-of-numpy
Konrad Hinsen's Blog. Laquo; Reproducibility, replicability, and the two layers of computational science. Drawing conclusions from empirical science. The state of NumPy. The release of NumPy 1.9. I’ll start with a historical review, for which I am particularly well placed as one of the oldtimers in the community: I was a founding member of the Matrix-SIG. My oldest published Python packages, ScientificPython. In NumPy 1.8, the diagonal and diag functions returned readonly copies, in NumPy 1.9 the...The i...
popl.mpi-sws.org
POPL 2015: 42nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
http://popl.mpi-sws.org/2015
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Tata Institute of Fundamental Research, Mumbai, India. January 12-18, 2015. The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. For more information, please see the call for papers. POPL is sponsored by:.
people.cs.umass.edu
Arjun Guha
http://people.cs.umass.edu/~arjun
University of Massachusetts, Amherst. My research focuses on programming languages with an emphasis on security, programmability, and mechanized proof. I particularly enjoy applying programming languages techniques to various domains. For example, I'm actively working on problems in Web security and software-defined networking. I work with a great group of students:. We are part of the Programming Languages and Systems (PLASMA). Group, which includes several other students and faculty. Frenetic demo at ONS.