Inferring Types for Parallel Programs (original) (raw)
Related papers
A type-based algorithm for the control-flow analysis of higher-order concurrent programs
Lecture Notes in Computer Science, 1997
Type and behaviour reconstruction for higher-order concurrent programs
Journal of Functional Programming, 1997
Type-based verification of message-passing parallel programs
Lazy Type Inference and Program Analysis
Science of Computer Programming, 1995
Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs
IEEE Micro, 2000
Bidirectional data flow analysis for type inferencing
Computer Languages, Systems & Structures, 2003
Type Discovery for Parameterized Race-Free Java
Type Inference for Parameterized Race-Free Java
2004
A Type System for Lock-Free Processes
Information and Computation, 2002
Dynamic inference of polymorphic lock types
2005
Dependence Analysis Through Type Inference
Precise concrete type inference for object-oriented languages
ACM SIGPLAN Notices, 1994
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Electronic Proceedings in Theoretical Computer Science, 2010
A Type and Effect System for Determinism in Multithreaded Programs
Lecture Notes in Computer Science, 2012
A type and effect system for deterministic parallel Java
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09, 2009
A hybrid type system for lock-freedom of mobile processes
ACM Transactions on Programming Languages and Systems, 2010
Automated type-based analysis of data races and atomicity
2005
Deductive Verification of Parallel Programs Using Why3
Electronic Proceedings in Theoretical Computer Science, 2015
Predictive Typestate Checking of Multithreaded Java Programs
2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
A type system for finding upper resource bounds of multi-threaded programs with nested transactions
Proceedings of the Third Symposium on Information and Communication Technology - SoICT '12, 2012
Analysis and Verification of Rich Typestate Properties for Complex Programs
ECOOP '17 Companion , 2017
Ynot: dependent types for imperative programs
Proceedings of the 13th Acm Sigplan International Conference, 2008
Non-standard type inference for functional programs
1998
ACM SIGPLAN Notices, 1990
Unified type system for the modern general-purpose programing language
2022
Coping with the reality: adding crucial features to a typestate-oriented language
2021
Patterns for finding concurrency for parallel application programs
2000
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering, 2000
Fast type reconstruction for dynamically typed programming languages
Sigplan Notices, 2009
Type Systems Based Data Race Detector
Computer and Information Science, 2012
Inference based analyses of functional programs: dead-code and strictness
Mathematical Society of Japan Memoirs, 1998
Type checking a multithreaded functional language with session types
Theoretical Computer Science, 2006
A Type System for Parallel Components
arXiv preprint arXiv:0905.3432, 2009
Type-based information flow analysis for the π-calculus
Acta Informatica, 2005