Discover open access scientific publications

Search, annotate, share and cite publications

Publications by James Leifer

A Secure Compiler for Session Abstractions

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2008English

Secure Implementations for Typed Session Abstractions

20th IEEE Computer Security Foundations Symposium (CSF'07)
2007English

Related publications

Towards a Compiler for Reals

ACM Transactions on Programming Languages and Systems
Software
2017English

Abstractions for Network Update

2012English

Verifying a Compiler for Java Threads

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Compiler Framework for Speculative Optimizations

Transactions on Architecture and Code Optimization
HardwareInformation SystemsArchitectureSoftware
2004English

Secure and Seamless Session Management in Mobile and Heterogeneous Environment

2012English

Pythia: A Parallel Compiler for Delirium

1990English

Abstractions for Mobile Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Abstractions for Distributed Systems (DPA 2008)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy