17 citations
- Indian Institute of Technology KharagpurIN5 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Microsoft Research (United Kingdom)GB2 papers
- Centre de Recherche en InformatiqueFR1 paper
- Georgia Institute of TechnologyUS1 paper
- Google (United States)US1 paper
- Hebrew University of JerusalemIL1 paper
- Indian Institute of Science BangaloreIN1 paper
- Laboratoire d'Informatique de l'École PolytechniqueFR1 paper
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR1 paper
- Malaviya National Institute of Technology JaipurIN1 paper
- Microsoft (Germany)DE1 paper
6 papers · 1 filter
A TLA+ Proof System
Kaustuv C. Chaudhuri, Damien Doligez, Leslie Lamport +1
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The l…
Finding Dense Subgraphs in G(n,1/2)
Atish Das Sarma, Amit Deshpande, Ravi Kannan
Finding the largest clique is a notoriously hard problem, even on random graphs. It is known that the clique number of a random graph G(n,1/2) is almost surely either k or k+1, whe…
Modeling the Structure and Dynamics of the Consonant Inventories: A Complex Network Approach
Animesh Mukherjee, Monojit Choudhury, Anupam Basu +1
We study the self-organization of the consonant inventories through a complex network approach. We observe that the distribution of occurrence as well as cooccurrence of the conson…
Local Bootstrap Percolation
Janko Gravner, Alexander E. Holroyd
We study a variant of bootstrap percolation in which growth is restricted to a single active cluster. Initially there is a single active site at the origin, while other sites of Z^…
CMA-ES with Two-Point Step-Size Adaptation
Nikolaus Hansen
We combine a refined version of two-point step-size adaptation with the covariance matrix adaptation evolution strategy (CMA-ES). Additionally, we suggest polished formulae for the…
A Type System for Data-Flow Integrity on Windows Vista
Avik Chaudhuri, Prasad Naldurg, Sriram Rajamani
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code can be blamed for any information-flow atta…