850 citations
- Indiana University BloomingtonUS20 papers
- Indiana University – Purdue University IndianapolisUS8 papers
- Tsinghua UniversityCN7 papers
- University of Illinois Urbana-ChampaignUS7 papers
- Beihang UniversityCN6 papers
- Peking UniversityCN6 papers
- University of GroningenNL6 papers
- University of OxfordGB6 papers
- Carnegie Mellon UniversityUS5 papers
- Fudan UniversityCN5 papers
- Los Alamos National LaboratoryUS5 papers
- Renmin University of ChinaCN5 papers
10 papers · 1 filter
Soft Contract Verification for Higher-Order Stateful Programs
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt +1
Software contracts allow programmers to state rich program properties using the full expressive power of an object language. However, since they are enforced at runtime, monitoring…
Linear Haskell: practical linearity in a higher-order polymorphic language
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton +2
Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In this paper, we study a linear ty…
Minimal Dependency Translation: a Framework for Computer-Assisted Translation for Under-Resourced Languages
Michael Gasser
This paper introduces Minimal Dependency Translation (MDT), an ongoing project to develop a rule-based framework for the creation of rudimentary bilingual lexicon-grammars for mach…
Multiresolution Consensus Clustering in Networks
Lucas G. S. Jeub, Olaf Sporns, Santo Fortunato
Networks often exhibit structure at disparate scales. We propose a method for identifying community structure at different scales based on multiresolution modularity and consensus…
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
A key part of implementing high-level languages is providing built-in and default data structures. Yet selecting good defaults is hard. A mutable data structure's workload is not k…
Online Human-Bot Interactions: Detection, Estimation, and Characterization
Onur Varol, Emilio Ferrara, Clayton A. Davis +2
Increasing evidence suggests that a growing amount of social media content is generated by autonomous entities known as social bots. In this work we present a framework to detect s…