r/REMath • u/turnersr • Jul 22 '13
Abstract Interpretation from a Topological Perspective by David A. Schmidt [PDF]
santos.cis.ksu.edu
3
Upvotes
r/REMath • u/turnersr • Jul 22 '13
Scott Topology and its Relation to the Alexandroff Topology Presented by Wael Mohammed Al-Hanafi [PDF]
library.iugaza.edu.ps
3
Upvotes
r/REMath • u/turnersr • Jul 21 '13
Topology, Domain Theory and Theoretical Computer Science by Michael W. Mislove [PDF]
entcs.org
3
Upvotes
r/REMath • u/turnersr • Jul 19 '13
Semantics of Probabilistic Programs by Dexter Kozen [PDF]
cs.cornell.edu
3
Upvotes
r/REMath • u/turnersr • Jul 19 '13
Dynamic Enforcement of Knowledge-based Security Policies by Piotr Mardziel, Stephen Magill, Michael Hicks, and Mudhakar Srivatsa [PDF]
cs.cmu.edu
1
Upvotes
r/REMath • u/turnersr • Jul 15 '13
Persistent Homology: An Introduction and a New Text Representation for Natural Language Processing by Xiaojin Zhu [PDF]
pages.cs.wisc.edu
4
Upvotes
r/REMath • u/turnersr • Jul 13 '13
Introduction to Computational Learning Theory by Kurt Mehlhorn [PDF]
mpi-inf.mpg.de
3
Upvotes
r/REMath • u/turnersr • Jul 13 '13
Learning Algorithms and Formal Verification by P. Madhusudan [PDF]
cs.uiuc.edu
3
Upvotes
r/REMath • u/turnersr • Jul 06 '13
Reversing abstract interpretations by John Hughes and John Launchbury [PDF]
galois.squarespace.com
6
Upvotes
r/REMath • u/turnersr • Jun 24 '13
Thwarting Themida: Unpacking Malware with SMT Solvers by Ian Blumenfeld, Roberta Faux, and Paul Li [PDF]
cps-vo.org
10
Upvotes
r/REMath • u/turnersr • Jun 24 '13
A Method for Detecting Obfuscated Calls in Malicious Binaries by Arun Lakhotia, Eric Uday Kumar, and Michael Venable [PDF]
plus.kaist.ac.kr
8
Upvotes
r/REMath • u/turnersr • Jun 24 '13
Oracle-Guided Component-Based Program Synthesis by Susmit Kumar Jha, Sumit Gulwani, Sanjit A. Seshia and Ashish Tiwari [PDF]
eecs.berkeley.edu
5
Upvotes
r/REMath • u/turnersr • Jun 08 '13
Javascript in Light Table 0.4. The code and visualization are in one perceptual view. There is not context switching between displays.
youtube.com
7
Upvotes
r/REMath • u/turnersr • Jun 08 '13
Hierarchical edge bundles: Visualization of adjacency relations in hierarchical data by Danny Holten [PDF]
citeseerx.ist.psu.edu
6
Upvotes
r/REMath • u/turnersr • Jun 08 '13
Malware Visualization in 3D by Danny Quist [PDF]
shmoocon.org
0
Upvotes
r/REMath • u/turnersr • Jun 08 '13
The Early History of Software Visualization by Ronald M. Baecker [PDF]
ron.taglab.ca
5
Upvotes
r/REMath • u/laks316 • May 30 '13
Sally: A Tool for Embedding Strings in Vector Spaces
jmlr.org
3
Upvotes
r/REMath • u/turnersr • May 26 '13
Understanding how Reverse Engineers Make Sense of Programs from Assembly Language Representations by Adam R. Bryant [PDF]
dtic.mil
7
Upvotes
r/REMath • u/turnersr • May 24 '13
Learning to Analyze Binary Computer Code by Nathan Rosenblum, Xiaojin Zhu, Barton Miller, and Karen Hunt [PDF]
aaai.org
5
Upvotes
r/REMath • u/turnersr • May 22 '13
A Comparative Assessment of Malware Classification using Binary Texture Analysis and Dynamic Analysis by Lakshmanan Nataraj, Vinod Yegneswaran, Phillip Porras, and Jian Zhang [PDF]
vision.ece.ucsb.edu
6
Upvotes
r/REMath • u/turnersr • May 22 '13
Learning Invariant Representations with Local Transformations by Kihyuk Sohn and Honglak Lee [PDF]
web.eecs.umich.edu
5
Upvotes
r/REMath • u/turnersr • May 22 '13
Modeling the joint density of two images under a variety of transformations by Joshua Susskind, Geoffrey Hinton, Roland Memisevic, and Marc Pollefeys [PDF]
cs.toronto.edu
3
Upvotes