Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Eva Darulova
Towards a Compiler for Reals
ACM Transactions on Programming Languages and Systems
Software
Related publications
Verifying a Compiler for Java Threads
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Compiler Framework for Speculative Optimizations
Transactions on Architecture and Code Optimization
Hardware
Information Systems
Architecture
Software
A Secure Compiler for Session Abstractions
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Pythia: A Parallel Compiler for Delirium
The META-T Compiler-Compiler
The META-T Compiler-Compiler
Random Reals and Souslin Trees
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
A Basic Linear Algebra Compiler for Embedded Processors
A Standard ML Compiler
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
