Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Clément Hurlin
Permission-Based Separation Logic for Multithreaded Java Programs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Automatic Parallelization and Optimization of Programs by Proof Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Permission-Based Separation Logic for Message-Passing Concurrency
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Provably Correct Inline Monitoring for Multithreaded Java-Like Programs
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Logic Programs for Consistency-Based Diagnosis.
Cooperative Empirical Failure Avoidance for Multithreaded Programs
ACM SIGPLAN Notices
Computer Science
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Visualization System for Permission Check in Java Using Static Analysis
The KIPS Transactions:PartA
Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors
NSeq: A Multithreaded Java Application for Finding Positioned Nucleosomes From Sequencing Data
Frontiers in Genetics
Genetics
Molecular Medicine
Online Power-Performance Adaptation of Multithreaded Programs Using Hardware Event-Based Prediction
