pHluid: the design of a parallel functional language implementation on workstations
Proceedings of the first ACM SIGPLAN international conference on Functional programming
ACM Computing Surveys (CSUR)
A practical subtyping system for Erlang
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
The message classification model
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
A compacting incremental collector and its performance in a production quality compiler
Proceedings of the 1st international symposium on Memory management
Real-Time Systems
Recursion and dynamic data-structures in bounded space: towards embedded ML programming
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transactional workflow paradigm: its application to mobile computing
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
On the verification of open distributed systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Increasing the realibility of email services
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
A high performance Erlang system
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Profile-guided optimization across process boundaries
DYNAMO '00 Proceedings of the ACM SIGPLAN workshop on Dynamic and adaptive compilation and optimization
Modules, abstract types, and distributed versioning
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Asynchronous exceptions in Haskell
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
ACM SIGPLAN Lisp Pointers
Events in Haskell, and how to implement them
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Heap architectures for concurrent languages using message passing
Proceedings of the 3rd international symposium on Memory management
On type systems for object-oriented database programming languages
ACM Computing Surveys (CSUR)
Hierarchical module namespaces in Erlang
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
Trace analysis of Erlang programs
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
Global scheduler properties derived from local restrictions
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
The role of language paradigms in teaching programming
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
Trace analysis of Erlang programs
ACM SIGPLAN Notices
Haskell: language for business systems
Trends in functional programming
Active Networking Means Evolution (or Enhanced Extensibility Required)
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Mnesia - A Distributed Robust DBMS for Telecommunications Applications
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Linear Scan Register Allocation in a High-Performance Erlang Compiler
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A Framework for Formal Reasoning about Open Distributed Systems
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Toward Parametric Verification of Open Distributed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Functional Vs Object-Oriented Distributed Languages
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Securing Communication in a Concurrent Language
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Verifying Erlang Code: A Resource Locker Case-Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Verifying a Distributed Database Lookup Manager Written in Erlang
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Verifying Generic Erlang Client-Server Implementations
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Proving Correctness of Programs with IO - A Paradigm Comparison
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
The Eden Coordination Model for Distributed Memory Systems
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
Designing reliable systems from reliable components using the context-dependent constraint concept
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Semi-Automated Verification of Erlang Code
Proceedings of the 16th IEEE international conference on Automated software engineering
Evaluating distributed functional languages for telecommunications software
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
ARMISTICE: an experience developing management software with Erlang
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
Parameterized modules in Erlang
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
A study of Erlang ETS table implementations and performance
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
A soft-typing system for Erlang
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
Dynamic rebinding for marshalling and update, with destruct-time ?
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Proof systems for π-calculus logics
Logic for concurrency and synchronisation
Hume: a domain-specific language for real-time embedded systems
Proceedings of the 2nd international conference on Generative programming and component engineering
A unifying approach to the security of distributed and multi-threaded programs
Journal of Computer Security - Special issue on CSFW14
Distributed communication in ML
Journal of Functional Programming
Uniform confluence in concurrent computation
Journal of Functional Programming
Parallel and Distributed Haskells
Journal of Functional Programming
Journal of Functional Programming
The dynamic compilation of lazy functional programs
Journal of Functional Programming
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Multi-threading and message communication in Qu-Prolog
Theory and Practice of Logic Programming
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Annals of Mathematics and Artificial Intelligence
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Towards a higher-order synchronous data-flow language
Proceedings of the 4th ACM international conference on Embedded software
EX11: a GUI in a concurrent functional language
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
Troubleshooting a large erlang system
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
Erlang's exception handling revisited
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
An external short message entity for gambling services
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
On modelling agent systems with erlang
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
Proceedings of the 4th international symposium on Memory management
Building functional patterns for implementing distributed applications
LANC '03 Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research
Towards concrete concurrency: occam-pi on the LEGO mindstorms
Proceedings of the 36th SIGCSE technical symposium on Computer science education
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
Journal of Functional Programming
Acute: high-level programming language design for distributed computation
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
TypEr: a type annotator of Erlang code
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
A high performance Erlang Tcp/Ip stack
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
Modeling Erlang in the pi-calculus
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
A semantics for distributed Erlang
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
An efficient incremental marshaling framework for distributed systems
Future Generation Computer Systems - Special issue: Parallel computing technologies
Automatic detection and correction of programming faults for software applications
Journal of Systems and Software
ACM Transactions on Programming Languages and Systems (TOPLAS)
Improving dynamic update for operating systems
Proceedings of the twentieth ACM symposium on Operating systems principles
Practical dynamic software updating for C
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Practical type inference based on success typings
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Message analysis for concurrent programs using message passing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Moving Out of the Lab: Deploying Pervasive Technologies in a Hospital
IEEE Pervasive Computing
Towards automatic verification of Erlang programs by π-calculus translation
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Evaluation of database management systems for Erlang
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Resource control for synchronous cooperative threads
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Five perspectives on modern memory management: systems, hardware and theory
Science of Computer Programming - Special issue on five perspectives on modern memory management: Systems, hardware and theory
Efficient memory management for concurrent programs that use message passing
Science of Computer Programming - Special issue on five perspectives on modern memory management: Systems, hardware and theory
Developing a functional Tcp/Ip stack oriented towards Tcp connection replication
LANC '05 Proceedings of the 3rd international IFIP/ACM Latin American conference on Networking
A hierarchical coordination language for interacting real-time tasks
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Type-based publish/subscribe: Concepts and experiences
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards formally verifiable resource bounds for real-time embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Language support for fast and reliable message-based communication in singularity OS
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Proceedings of the 2007 ACM symposium on Applied computing
Manticore: a heterogeneous parallel language
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Why events are a bad idea (for high-concurrency servers)
HOTOS'03 Proceedings of the 9th conference on Hot Topics in Operating Systems - Volume 9
Java takes flight: time-portable real-time programming with exotasks
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Verification of Peer-to-peer Algorithms: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching operating systems with ruby
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Abstraction and Model Checking of Core Erlang Programs in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Oz/K: a kernel language for component-based open programming
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
McErlang: a model checker for a distributed functional programming language
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Evaluating high-level distributed language constructs
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Introducing records by refactoring
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
A more accurate semantics for distributed erlang
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Verification of timed erlang/OTP components using the process algebra μcrl
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Learning programming with erlang
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Status report: the manticore project
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Acute: High-level programming language design for distributed computation
Journal of Functional Programming
The Design and Implementation of a Domain-Specific Language for Network Performance Testing
IEEE Transactions on Parallel and Distributed Systems
Tool support for refactoring functional programs
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A network programming language based on concurrent processes and regular expressions
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Embedded functional programming in Hume
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Controlled, systematic, and efficient code replacement for running java programs
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
Encapsulating and exploiting change with changeboxes
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08)
Reboots are for hardware: challenges and solutions to updating an operating system on the fly
ATC'07 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Stage: exploring erlang style concurrency in ruby
Proceedings of the 1st international workshop on Multicore software engineering
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
Journal of Functional Programming
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Implicitly-threaded parallelism in Manticore
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching
Proceedings of the first ACM SIGPLAN symposium on Haskell
Verifying Erlang/OTP Components in μCRL
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Verifying Erlang Telecommunication Systems with the Process Algebra μCRL
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Testing Erlang Refactorings with QuickCheck
Implementation and Application of Functional Languages
Kilim: Isolation-Typed Actors for Java
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
UpgradeJ: Incremental Typechecking for Class Upgrades
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Use Cases for Refactoring in Erlang
Central European Functional Programming School
Join patterns for visual basic
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Low-latency time-portable real-time programming with Exotasks
ACM Transactions on Embedded Computing Systems (TECS)
Use concurrent programming models to motivate teaching of programming languages
ACM SIGPLAN Notices
Proceedings of the 4th workshop on Declarative aspects of multicore programming
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Amalgamating sessions and methods in object-oriented languages with generics
Theoretical Computer Science
Scala Actors: Unifying thread-based and event-based programming
Theoretical Computer Science
Tackling online game development problems with a novel network scripting language
Proceedings of the 7th ACM SIGCOMM Workshop on Network and System Support for Games
Journal of Functional Programming
Model Checking and Artificial Intelligence
Equational Abstractions for Reducing the State Space of Rewrite Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Parallelizing extensible query optimizers
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Towards an actor-based concurrent machine model
Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Hop, a Fast Server for the Diffuse Web
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Multicore Scheduling for Lightweight Communicating Processes
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A functional I/O system or, fun for freshman kids
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Runtime support for multicore Haskell
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Automatic assessment of failure recovery in Erlang applications
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
State management and concurrency in event processing
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Another neat tool for refactoring Erlang programs
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Flexibility and coordination in event-based, loosely coupled, distributed systems
Computer Languages, Systems and Structures
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Equational Abstractions for Model Checking Erlang Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient parallel programming in Poly/ML and Isabelle/ML
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Lightweight asynchrony using parasitic threads
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
An efficient incremental marshaling framework for distributed systems
Future Generation Computer Systems - Special issue: Parallel computing technologies
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation
Towards a strongly typed functional operating system
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Message analysis for concurrent languages
SAS'03 Proceedings of the 10th international conference on Static analysis
Actors that unify threads and events
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Scheduling intense applications most 'surprising' first
Proceedings of the 2010 ACM Symposium on Applied Computing
Verification of program properties using different theorem provers: a case study
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
A distributed filesystem for spare storage
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Model checking a video-on-demand server using McErlang
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Implementing joins using extensible pattern matching
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Actors with multi-headed message receive patterns
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Finding counter examples in induction proofs
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Collecting hollywood's garbage: avoiding space-leaks in composite events
Proceedings of the 2010 international symposium on Memory management
Dynamic updates for web and cloud applications
APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
A higher-order extension for imperative synchronous languages
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Adaptive locks: Combining transactions and locks for efficient concurrency
Journal of Parallel and Distributed Computing
Lolliproc: to concurrency from classical linear logic via curry-howard and control
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Implicit invocation meets safe, implicit concurrency
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Reconciling concurrency and modularity with Panini's asynchronous typed events
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Building scalable software systems in the multicore era
Proceedings of the FSE/SDP workshop on Future of software engineering research
Capabilities for uniqueness and borrowing
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Self-replicating objects for multicore platforms
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Model-checking Erlang: a comparison between EtomCRL2 and McErlang
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Property-based testing: the ProTest project
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Programming in Manticore, a heterogenous parallel functional language
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
The F# asynchronous programming model
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards liquid service oriented architectures
Proceedings of the 20th international conference companion on World wide web
Implicitly threaded parallelism in manticore
Journal of Functional Programming
Actor-based parallel dataflow analysis
CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
Entangled queries: enabling declarative data-driven coordination
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Composable asynchronous events
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Program analysis for event-based distributed systems
Proceedings of the 5th ACM international conference on Distributed event-based system
Session typing for a featherweight Erlang
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
A generic middleware framework for handling process intensive hybrid cloud services from mobiles
Proceedings of the 9th International Conference on Advances in Mobile Computing and Multimedia
Convergence in language design: a case of lightning striking four times in the same place
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Row-based effect types for database integration
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Event-Based programming without inversion of control
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Failure handling in a network-transparent distributed programming language
Advanced Topics in Exception Handling Techniques
Implementation of a new cache and schedule scheme for distributed VOD servers
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
UML based statistical testing acceleration of distributed safety-critical software
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Verification of language based fault-tolerance
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Actor garbage collection using vertex-preserving actor-to-object graph transformations
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
Semi-formal development of a fault-tolerant leader election protocol in erlang
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
S: a scripting language for high-performance RESTful web services
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Synchronization views for event-loop actors
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
The oz-e project: design guidelines for a secure multiparadigm programming language
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
A fault tolerant abstraction for transparent distributed programming
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Are high-level languages suitable for robust telecoms software?
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
A functional shell that operates on typed and compiled applications
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Scalable programming abstractions for XML services
Dependable Systems
Multicore scheduling for lightweight communicating processes
Science of Computer Programming
Deadlock-Free channels and locks
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Symbolic execution of concurrent objects in CLP
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Specifying and verifying the correctness of dynamic software updates
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Language-Theoretic abstraction refinement
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Entangled queries: Enabling declarative data-driven coordination
ACM Transactions on Database Systems (TODS)
Functional high performance financial IT: the hiperfit research center in copenhagen
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Isolation types and multi-core architectures
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Analysis of may-happen-in-parallel in concurrent objects
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Verification of timed erlang programs using mcerlang
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Molecule: using monadic and streaming I/O to compose process networks on the JVM
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Integrating task parallelism with actors
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
MegaPipe: a new programming interface for scalable network I/O
OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
Programming language design and analysis motivated by hardware evolution
SAS'07 Proceedings of the 14th international conference on Static Analysis
On the integration of the actor model in mainstream technologies: the scala perspective
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Domains: safe sharing among actors
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Implementing a high-level distributed-memory parallel haskell in haskell
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012)
ACM SIGOPS Operating Systems Review
aPET: a test case generation tool for concurrent objects
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Towards an efficient verification approach on network configuration
Proceedings of the 8th International Conference on Network and Service Management
BigActors: a model for structure-aware computation
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Tanks: multiple reader, single writer actors
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Semantics-preserving sharing actors
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Structured reasoning about actor systems
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
A language-independent approach to black-box testing using Erlang as test specification language
Journal of Systems and Software
Notions of aliasing and ownership
Aliasing in Object-Oriented Programming
Science of Computer Programming
| Hi-index | 0.00 |