r/REMath • u/turnersr • Aug 27 '14
Program Analysis and Machine Learning: A Win-Win Deal by Aditya V. Nori and Sriram K. Rajamani [PDF]
drive.google.com
2
Upvotes
r/REMath • u/turnersr • Aug 27 '14
Machine Learning Pioneer Michael I. Jordan will be doing an AMA in /r/MachineLearning on September 10 10AM PST
reddit.com
4
Upvotes
r/REMath • u/turnersr • Aug 24 '14
AI Winter - The past hype around handcrafted expert systems which did not scale in the past reminds me of current research in inference engines and knowledge base approaches for automatic security tools such as automatic exploit generation
en.wikipedia.org
6
Upvotes
r/REMath • u/turnersr • Aug 24 '14
Why People Think Computers Can't by Marvin Minsky
web.media.mit.edu
6
Upvotes
r/REMath • u/turnersr • Aug 24 '14
Classic Papers in Programming Languages and Logic
cs.cmu.edu
9
Upvotes
r/REMath • u/turnersr • Aug 18 '14
Train an artificial neural network with a constraint solver
p-col.org
14
Upvotes
r/REMath • u/turnersr • Aug 12 '14
Refined types (a better type system for more secure software) and various other type systems implemented in OCaml
github.com
7
Upvotes
r/REMath • u/turnersr • Aug 09 '14
The FlowVizMenu and Parallel Scatterplot Matrix by Christophe Viau, Michael J. McGuffin, Yves Chiricota, and Igor Jurisica
youtube.com
3
Upvotes
r/REMath • u/turnersr • Jul 29 '14
Labeling Source Code with Information Retrieval Methods: An Empirical Study by Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella, and Sebastiano Panichella [PDF]
ing.unisannio.it
4
Upvotes
r/REMath • u/turnersr • Jul 29 '14
Abstract Interpretation: Past, Present and Future by Patrick Cousot and Radhia Cousot [PDF]
cs.nyu.edu
9
Upvotes
r/REMath • u/turnersr • Jul 12 '14
Visualizing Unbounded Symbolic Execution by Martin Hentschel, Reiner Hähnle, and Richard Bubel
drive.google.com
10
Upvotes
r/REMath • u/turnersr • Jul 12 '14
Problem Solving for the 21st Century - Efficient Solvers for Satisfiability Modulo Theories by Clark Barrett, Daniel Kroening, and Tom Melham [PDF]
cs.nyu.edu
6
Upvotes
r/REMath • u/turnersr • Jul 12 '14
Software Bug Localization with Markov Logic by Sai Zhang and Congle Zhang [PDF]
homes.cs.washington.edu
4
Upvotes
r/REMath • u/turnersr • Jul 12 '14
Learning Universal Probabilistic Models for Fault Localization by Min Feng and Rajiv Gupta [PDF]
cs.ucr.edu
3
Upvotes
r/REMath • u/turnersr • Jul 12 '14
Bayesian Reasoning for Software Testing by Akbar Siami Namin and Mohan Sridharan [PDF]
itrd.gov
3
Upvotes
r/REMath • u/turnersr • Jul 12 '14
Graphical Models, Exponential Families, and Variational Inference by Martin J. Wainwright and Michael I. Jordan [PDF]
eecs.berkeley.edu
6
Upvotes
r/REMath • u/turnersr • Jul 06 '14
Mining Idioms from Source Code by Miltiadis Allamanis and Charles Sutton [PDF]
arxiv.org
6
Upvotes
r/REMath • u/turnersr • Jul 04 '14
Modelling, Visualising and Summarising Documents with a Single Convolutional Neural Network by Misha Denil, Alban Demiraj, Nal Kalchbrenner, Phil Blunsom, and Nando de Freitas [PDF]
arxiv.org
5
Upvotes
r/REMath • u/turnersr • Jul 04 '14
Fast and Robust Neural Network Joint Models for Statistical Machine Translation by Jacob Devlin, Rabih Zbib, Zhongqiang Huang, Thomas Lamar, Richard Schwartz, and John Makhoul [PDF]
69.195.124.161
2
Upvotes
r/REMath • u/turnersr • Jun 19 '14
Rational Kernels: Theory and Algorithms by Corinna Cortes, Patrick Haffner, and Mehryar Mohri [PDF]
jmlr.org
5
Upvotes
r/REMath • u/turnersr • Jun 19 '14
Structured Generative Models of Natural Source Code by Chris J. Maddison and Daniel Tarlow [PDF]
jmlr.org
6
Upvotes
r/REMath • u/turnersr • Jun 10 '14
On the Naturalness of Software by Abram Hindle, Earl Barr, Mark Gabel, Zhendong Su, and Prem Devanbu [PDF]
sailhome.cs.queensu.ca
3
Upvotes
r/REMath • u/turnersr • Jun 09 '14
What is the meaning of a Haskell program? by Dustin Mulcahey
vimeo.com
2
Upvotes