Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
131 | Ana Lúcia de Moura, Roberto Ierusalimschy |
Revisiting coroutines. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
generators, Continuations, multitasking |
69 | Adrien Guillon, Deborah Loach |
YetiSim: a C++ simulation library with execution graphs instead of coroutines. |
SpringSim |
2008 |
DBLP DOI BibTeX RDF |
execution graph, threading building blocks, UML, C++, coroutines |
45 | Silvana Rossetto, Noemi de La Rocque Rodriguez |
A cooperative multitasking model for networked sensors. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
event-driven model, cooperative multitasking, Sensor networks, programming models, TinyOS, coroutines |
45 | Steve Dekorte |
Io: a small programming language. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
prototype-based, object oriented, languages, actors, lazy evaluation, coroutines |
45 | Ikuo Nakata, Masataka Sassa |
Programming with Streams in a Pascal-Like Language. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
loop statements, Pascal-like language, fixed type, composite function, component functions, iterative statements, parallel mode, coroutine mode, inline mode, programming, functional programming, streams, Lisp, reusability, combinations, coroutines, programming styles, dataflow languages |
42 | Marcelo Cohen, Thiago Ponte, Silvana Rossetto, Noemi de La Rocque Rodriguez |
Using Coroutines for RPC in Sensor Networks. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
42 | James Laird |
A Calculus of Coroutines. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Mirjana Ivanovic, Zoran Budimac |
Involving coroutines in interaction between functional and conventional language. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni |
Modular verification of assembly code with stack-based control abstractions. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
assembly code verification, control abstractions, stack-based, modularity, proof-carrying code |
36 | Donald E. Knuth, Frank Ruskey |
Efficient Coroutine Generation of Constrained Gray Sequences. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Peter A. Buhr, W. Y. Russell Mok |
Advanced Exception Handling Mechanisms. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
resumption, concurrent, object-oriented, robustness, Exception handling, interrupts, termination |
36 | Gary Lindstrom |
Backtracking in a Generalized Control Setting. |
ACM Trans. Program. Lang. Syst. |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Jorma Sajaniemi |
The Safety of a Coroutine System. |
ICALP |
1977 |
DBLP DOI BibTeX RDF |
|
27 | Olin Shivers, Matthew Might |
Continuations and transducer composition. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines |
27 | Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil |
An Implementation Technique for Database Query Languages. |
ACM Trans. Database Syst. |
1982 |
DBLP DOI BibTeX RDF |
database interfaces, lazy evaluation, applicative programing, coroutines |
24 | Qiqi Gu, Wei Ke 0001 |
Typing Requirement Model as Coroutines. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Conor John Williams, James Elliott |
Libfork: portable continuation-stealing with stackless coroutines. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Qiqi Gu, Wei Ke 0001 |
Typing Composable Coroutines. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Jens Egholm Pedersen, Jörg Conradt |
AEStream: Accelerated event-based processing with coroutines. |
NICE |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Nikita Koval, Dan Alistarh, Roman Elizarov |
Fast and Scalable Channels in Kotlin Coroutines. |
PPoPP |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Mirai Ikebuchi, Andres Erbsen, Adam Chlipala |
Certifying derivation of state machines from coroutines. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jens Egholm Pedersen, Jörg Conradt |
AEStream: Accelerated event-based processing with coroutines. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Nikita Koval, Dan Alistarh, Roman Elizarov |
Fast and Scalable Channels in Kotlin Coroutines. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Dorian Weber, Paula Wiesner, Joachim Fischer |
A closer look at process-based simulation with stackless coroutines. |
Inf. Softw. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Leonard von Merzljak, Philipp Fent, Thomas Neumann 0001, Jana Giceva |
What Are You Waiting For? Use Coroutines for Asynchronous I/O to Hide I/O Latencies and Maximize the Read Bandwidth! |
ADMS@VLDB |
2022 |
DBLP BibTeX RDF |
|
24 | Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider |
Runtime Verification of Kotlin Coroutines. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
24 | D. Beronic, L. Modric, Branko Mihaljevic, Aleksander Radovan |
Comparison of Structured Concurrency Constructs in Java and Kotlin - Virtual Threads and Coroutines. |
MIPRO |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Bruce Belson, Bronson Philippa |
Speeding up Machine Learning Inference on Edge Devices by Improving Memory Access Patterns using Coroutines. |
CSE |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Bruce Belson, Wei Xiang 0001, Jason Holdsworth, Bronson Philippa |
C++20 Coroutines on Microcontrollers - What We Learned. |
IEEE Embed. Syst. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Nikita Koval, Dmitry Khalanskiy, Dan Alistarh |
A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
24 | Roman Elizarov, Mikhail A. Belyaev, Marat Akhin, Ilmir Usmanov |
Kotlin coroutines: design and implementation. |
Onward! |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Ole Lehrmann Madsen |
Using Coroutines for Multi-core Preemptive Scheduling. |
PLOS@SOSP |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Aamir Shafi, Jahanzeb Maqbool Hashmi, Hari Subramoni, Dhabaleswar K. Panda 0001 |
Blink: Towards Efficient RDMA-based Communication Coroutines for Parallel Python Applications. |
HiPC |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Satoru Kawahara, Yukiyoshi Kameyama |
One-Shot Algebraic Effects as Coroutines. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Dorian Weber, Joachim Fischer |
Process-Based Simulation with Stackless Coroutines. |
SAM |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Bruce Belson, Jason Holdsworth, Wei Xiang 0001, Bronson Philippa |
A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems. |
ACM Trans. Embed. Comput. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Bruce Belson, Jason Holdsworth, Wei Xiang 0001, Bronson Philippa |
A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
24 | Georgios Psaropoulos, Thomas Legler, Norman May, Anastasia Ailamaki |
Interleaving with coroutines: a systematic and practical approach to hide memory latency in index joins. |
VLDB J. |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Hirochika Asai |
Deep Pipelining: Efficient Pipelining of Network Function Chains with Coroutines. |
NetSoft |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Aleksandar Prokopec, Fengyun Liu |
On the Soundness of Coroutines with Snapshots. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
24 | Dimitri Racordon |
Coroutines with Higher Order Functions. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
24 | Christopher Jonathan, Umar Farooq Minhas, James Hunter, Justin J. Levandoski, Gor V. Nishanov |
Exploiting Coroutines to Attack the "Killer Nanoseconds". (PDF / PS) |
Proc. VLDB Endow. |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink |
Deadlock Detection for Actor-Based Coroutines. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Aleksandar Prokopec, Fengyun Liu |
Theory and Practice of Coroutines with Snapshots. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Georgios Psaropoulos, Thomas Legler, Norman May, Anastasia Ailamaki |
Interleaving with Coroutines: A Practical Approach for Robust Index Joins. (PDF / PS) |
Proc. VLDB Endow. |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Vincent Nys, Danny De Schreye |
Abstract conjunctive partial deduction for the analysis and compilation of coroutines. |
Formal Aspects Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Tristan Crolard |
A verified abstract machine for functional coroutines. |
WoC |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Vincent Nys |
Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
24 | Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi |
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Danny De Schreye, Vincent Nys, Colin J. Nicholson |
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi |
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
24 | Zhen Li 0006, Eileen T. Kraemer |
Programming with Concurrency: Threads, Actors, and Coroutines. |
IPDPS Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Oleg Kiselyov, Chung-chieh Shan |
Monolingual Probabilistic Programming Using Generalized Coroutines |
CoRR |
2012 |
DBLP BibTeX RDF |
|
24 | Lukas Stadler, Thomas Würthinger, Christian Wimmer |
Efficient coroutines for the Java platform. |
PPPJ |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Konrad Anton, Peter Thiemann 0001 |
Towards Deriving Type Systems and Implementations for Coroutines. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Konrad Anton, Peter Thiemann 0001 |
Typing Coroutines. |
Trends in Functional Programming |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Oleg Kiselyov, Chung-chieh Shan |
Monolingual Probabilistic Programming Using Generalized Coroutines. |
UAI |
2009 |
DBLP BibTeX RDF |
|
24 | Jack A. Laird |
A calculus of coroutines. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
24 | György E. Révész |
Experimenting with tail-recursion and simulating coroutines. |
ACM SIGCSE Bull. |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Norman D. Thomson |
APL and coroutines. |
ACM SIGAPL APL Quote Quad |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Luis Mateu |
An Efficient Implementation for Coroutines. |
IWMM |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Gérard Padiou |
Nested Coroutines for Exception Handling in Modula-2. |
Struct. Program. |
1990 |
DBLP BibTeX RDF |
|
24 | Wolfgang Kreutzer, Malcolm Stairmand |
C-Flavours: A Scheme-Based Flavour System with Coroutines and its Application to the Design of Object-Oriented Simulation Software. |
Comput. Lang. |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Lloyd Allison |
Direct Semantics and Exceptions Define Jumps and Coroutines. |
Inf. Process. Lett. |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand |
Obtaining Coroutines with Continuations. |
Comput. Lang. |
1986 |
DBLP DOI BibTeX RDF |
|
24 | I. A. Horton, Stephen J. Turner |
Using Coroutines in Pascal. |
Softw. Pract. Exp. |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Theo de Ridder |
Coroutines for C Reconsidered. |
Softw. Pract. Exp. |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Graham M. Birtwistle |
The coroutines of Hanoi. |
ACM SIGPLAN Notices |
1985 |
DBLP DOI BibTeX RDF |
|
24 | Hanan Samet |
Bidirectional Coroutines. |
Inf. Process. Lett. |
1985 |
DBLP DOI BibTeX RDF |
|
24 | B. Dwyer |
Should Cobol Support Coroutines. |
Aust. Comput. J. |
1985 |
DBLP BibTeX RDF |
|
24 | Paul A. Bailes |
A Low-Cost Implementation of Coroutines for C. |
Softw. Pract. Exp. |
1985 |
DBLP DOI BibTeX RDF |
|
24 | A. J. Fischer |
Guarded and Unguarded Coroutines: an Implementation in BCPL. |
Softw. Pract. Exp. |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand |
Continuations and Coroutines. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Pierre Cointe |
Ue implémentation des coroutines en Lisp, application à Smalltalk. |
Symposium on Programming |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Harley Flanders |
Coroutines in Pascal. |
ACM SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
24 | Lloyd Allison |
Stable Marriages by Coroutines. |
Inf. Process. Lett. |
1983 |
DBLP DOI BibTeX RDF |
|
24 | J. R. W. Glauert |
Evaluating recursive relational queries modelled by networks of coroutines. |
|
1983 |
RDF |
|
24 | Gary Lindstrom, Mary Lou Soffa |
Referencing and Retention in Block-Structured Coroutines. |
ACM Trans. Program. Lang. Syst. |
1981 |
DBLP DOI BibTeX RDF |
|
24 | Edmund M. Clarke |
Proving Correctness of Coroutines Without History Variables. |
Acta Informatica |
1980 |
DBLP DOI BibTeX RDF |
|
24 | J. Kriz, H. Sandmayr |
Extension of Pascal by Coroutines and its Application to Quasi-parallel Programming and Simulation. |
Softw. Pract. Exp. |
1980 |
DBLP DOI BibTeX RDF |
|
24 | Chris D. Marlin |
Coroutines: A Programming Methodology, a Language Design and an Implementation |
|
1980 |
DOI RDF |
|
24 | Ryszard Janicki |
Analysis of vectors of coroutines by means of components. |
FCT |
1979 |
DBLP BibTeX RDF |
|
24 | Rudolf Marty, L. Vanek |
Hierarchical Coroutines: A Mechanism for Improved Program Structure. |
ICSE |
1979 |
DBLP BibTeX RDF |
|
24 | Brian Lewis |
Further comments on "a view of coroutines". |
ACM SIGPLAN Notices |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Emmanuel Skordalakis, George K. Papakonstantinou |
Coroutines in FORTRAN. |
ACM SIGPLAN Notices |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Tom Jacobsen |
Another view of coroutines. |
ACM SIGPLAN Notices |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Jean Bézivin, Jean Louis Nebut, Robert Rannou |
Another view of coroutines. |
ACM SIGPLAN Notices |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Edmund M. Clarke |
Proving the correctness of coroutines without history variables. |
ACM-SE |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Dick Grune |
A view of coroutines. |
ACM SIGPLAN Notices |
1977 |
DBLP DOI BibTeX RDF |
|
24 | Gilles Kahn, David B. MacQueen |
Coroutines and Networks of Parallel Processes. |
IFIP Congress |
1977 |
DBLP BibTeX RDF |
|
24 | Ryszard Janicki |
Vectors of Coroutines over Blikle Nets. |
FCT |
1977 |
DBLP DOI BibTeX RDF |
|
24 | William Stallings |
An application of coroutines and backtracking in interactive systems. |
Int. J. Parallel Program. |
1976 |
DBLP DOI BibTeX RDF |
|
24 | Ryszard Janicki |
Vectors of Coroutines. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
24 | Bernd Krieg |
A Class of Recursive Coroutines. |
IFIP Congress |
1974 |
DBLP BibTeX RDF |
|
24 | Maurice Clint |
Program Proving: Coroutines. |
Acta Informatica |
1973 |
DBLP DOI BibTeX RDF |
|
18 | Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria |
Modeling and simulation of complex heterogeneous systems. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Olaf Chitil, Frank Huch |
Monadic, Prompt Lazy Assertions in Haskell. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Luca Cardelli |
An Accidental Simula User. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes Filho |
The evolution of Lua. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Peter A. Buhr, Roy Krischer |
Bound Exceptions in Object-Oriented Programming. |
Advanced Topics in Exception Handling Techniques |
2006 |
DBLP DOI BibTeX RDF |
|