Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Quan Phan

Towards Region-Based Memory Management for Mercury Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Related publications

Region-Based Memory Management in Cyclone

2002English

Multiprogrammed Memory Management for Random-Sized Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1976English

Mercury a Dilemma for the Caribbean Region

Biomedical Journal of Scientific & Technical Research
2018English

Towards Transactional Memory for OpenMP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Automating Deductive Verification for Weak-Memory Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Communication Optimizations for Distributed-Memory X10 Programs

2011English

Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods

Journal of Software
2015English

Towards Composable Timing for Real-Time Programs

2009English

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Proceedings of the ACM on Programming Languages
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy