Publications

In Proceedings of the 2013 USENIX Annual Technical Conference (USENIX ATC ’13)
In this paper, we present an efficient malware clustering technique that uses instruction-based features to provide high accuracy.

In Proceedings of the 8th Workshop on Statistical Machine Translation (ACL 2013)

In Proceedings of the 35th International Conference on Software Engineering (ICSE ’13)
We present an analysis for establishing deadlock-freedom for programs written in AJ, a Java extension in which programmers declaratively specify synchronization constraints on data members, relieving them from writing error-prone synchronization code.

In Proceedings of the 6th USENIX Workshop on Cyber Security Experimentation and Test (CSET ’13)

In Proceedings of the 32nd IEEE International Conference on Computer Communications (IEEE INFOCOM 2013)
In this paper we present SpamTracer, a system designed to collect and analyze the routing behavior of spam networks in order to determine whether they use BGP hijacks to stealthily send spam from stolen networks.

In Proceedings of the 13th Machine Translation Summit (MT Summit XIII)

IEEE Micro Top Picks, Volume 33, Number 3, May/June 2013
The concurrency semantics of mainstream programming languages provide "safety" only under the assumption that programmers have implemented proper synchronization to prevent data races. But since simple programming mistakes can break this assumption and result in unreliable program behavior, we argue instead for providing a safety-first model that assumes an access may participate in a data race unless proven otherwise.

In Proceedings of the 9th Symposium on Visualisation for Cyber Security (VizSec ‘12)
This paper proposes VisTracer, a visual analytics tool specifically tailored for the analysis of traceroute measurements for the purpose of uncovering routing anomalies potentially resulting from BGP hijacks.

In Proceedings of the 16th Annual Conference of the European Association for Machine Translation (EAMT 2012)

In Proceedings of the 7th Workshop on Statistical Machine Translation (NAACL 2012)

In Proceedings of the 15th International Conference on Financial Cryptography and Data Security (FC 2011)

In Proceedings of the 1st EuroSys Workshop on Building Analysis Datasets and Gathering Experience Returns for Security (BADGERS ‘11)

In Proceedings of the 10th Conference of the Association for Machine Translation in the Americas (AMTA 2012)

ACM Transactions on Programming Languages (TOPLAS), Volume 34, Issue 1, April 2012
Concurrency-related errors, such as data races, are frustratingly difficult to track down and eliminate in large, object-oriented programs. We describe AJ, and extension to Java, which uses a declarative, data-centric synchronization paradigm that eliminates a large class of concurrency bugs with low programmer effort.

IEEE Network (Volume: 26 , Issue: 6 , November-December 2012)
In this article, we give a short survey of visualization methods that have been developed for BGP monitoring, in particular for the identification of prefix hijacks. Our goal is to illustrate how network visualization has the potential to assist an analyst in detecting abnormal routing patterns in massive amounts of BGP data.

In Proceedings of the 2nd International Workshop on Cloud Computing Platforms (CloudCP ’12)
We propose the idea of performing local deduplication operations within each cloud node, and introduce file similarity metrics to determine which node is the best deduplication host for a particular incoming file. This approach reduces the problem of scalable cloud deduplication to a file routing problem, which we can address using a software layer capable of making the necessary routing decisions.

In Proceedings of the 39th Annual International Symposium on Computer Architecture (ISCA ’12)
By allowing compiler and hardware to cooperate, we show how strong, safe memory models for concurrent programs can be provided with minimal impact on performance.