新規登録 | ログイン | FAQ

[?]

View | Publications | Connections | Neighbours

pedagand profile

About me

Username:	pedagand
Name:	Pierre-Evariste DAGAND
Job title:	Not specified
Affiliation:	ENS Cachan-Bretagne
Web page:	Not specified
Joined:	2007-10-25

What I do

Not specified

Interests

Not specified

Recent Activity

2008-10-03

07:49: posted Applicative Programming with Effects

2008-10-01

19:45: posted FUNCTIONAL PEARL: <i>Unfolding pointer algorithms</i>
17:19: posted Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles
17:17: posted Consensus in synchronous systems: a concise guided tour
11:22: posted Why dependent types matter
00:16: posted Beauty in the beast

2008-09-30

23:05: posted Is There a Future for Mesh-Based live Video Streaming?
23:03: posted Randomized Decentralized Broadcasting Algorithms
19:58: posted Introduction to Lambda Calculus
19:46: posted A Type System for the Java Bytecode Language and Verifier
19:42: posted The XtreemFS architecture - a case for object-based file systems in Grids
19:37: posted GFARM V2: A GRID FILE SYSTEM THAT SUPPORTS HIGH-PERFORMANCE DISTRIBUTED AND PARALLEL DATA COMPUTING
19:32: posted The Google file system
18:10: posted Memory coherence in shared virtual memory systems

2008-09-25

23:12: posted A fast mutual exclusion algorithm
21:37: posted Abstracting Allocation
21:37: posted Formalizing and verifying semantic type soundness of a simple compiler
21:34: posted A certified type-preserving compiler from lambda calculus to assembly language
21:31: posted Formal Verification of a C Compiler Front-End
21:29: posted Coinductive big-step operational semantics
15:19: posted Shared-memory mutual exclusion: major research trends since 1986

2008-09-24

22:52: posted Ivy: a read/write peer-to-peer file system
17:52: posted Natural semantics

2008-09-23

20:51: posted Flux: a language for programming high-performance servers
20:49: posted Making events less slippery with eel
20:46: posted A structured TCP in standard ML.
20:42: posted What good are models and what models are good?
17:35: posted Lustre: Building a file system for 1000-node clusters
17:34: posted Serverless network file systems
17:33: posted The Zebra striped network file system
17:32: posted Beating the I/O Bottleneck: A Case for Log-Structured File Systems
17:31: posted PVFS: A parallel file system for linux clusters
17:30: posted Improving the Performances of a Distributed NFS Implementation
17:28: posted The Sprite Network Operating System
17:26: posted RAID: high-performance, reliable secondary storage
17:24: posted File Systems for Clusters from a Protocol Perspective
17:23: posted Distributed file systems: concepts and examples
12:18: posted Type inference for unboxed types and first class mutability
12:12: posted Time, clocks, and the ordering of events in a distributed system

2008-09-22

18:33: posted Selecting software test data using data flow information
18:32: posted Theories of Program Testing and the Application of Revealing Subdomains
18:31: posted Reliability of the Path Analysis Testing Strategy
18:26: posted Toward a theory of test data selection
12:13: posted Programming language challenges in systems codes: why systems programmers still use C, and what to do about it

2008-09-19

08:40: posted Appraising two decades of distributed computing theory research

2008-09-16

16:57: posted First-class macros have types

2008-09-15

21:18: posted Stack-based Typed Assembly Language
21:17: posted Type-safe linking and modular assembly language
21:17: posted TALx86: A realistic typed assembly language
21:16: posted From system F to typed assembly language
21:14: posted Scalable Certication for Typed Assembly Language
16:00: posted Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions
14:44: posted Coinductive Proof Principles for Stochastic Processes