Changes in doc/bibliography/pl.bib [b51b2a6:f704974]

File:

• doc/bibliography/pl.bib (modified) (71 diffs)

doc/bibliography/pl.bib

@@ -147 +147 @@
     author      = {Zhang, Yizhou and Salvaneschi, Guido and Beightol, Quinn and Liskov, Barbara and Myers, Andrew C.},
     title       = {Accepting Blame for Safe Tunneled Exceptions},
-    organization= {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation},
+    booktitle   = {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation},
     series      = {PLDI'16},
     year        = {2016},
@@ -198 +198 @@
 }
 
-@inproceedings{Koster16,
-    keywords    = {Actor Model, Concurrency},
-    contributer = {pabuhr@plg},
-    author      = {De Koster, Joeri and Van Cutsem, Tom and De Meuter, Wolfgang},
-    title       = {43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-    organization= {Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control},
-    pages       = {31-40},
-    numpages    = {10},
-    year        = {2016},
-    location    = {Amsterdam, Netherlands},
-    series      = {AGERE 2016}
-}
-
-@misc{ActorBenchmarks,
-    keywords    = {Actors, microbenchmarks, uC++. CAF, ProtoActor, AkkaC, AkkaT},
-    contributer = {pabuhr@plg},
-    key         = {ActorBenchmarks},
-    title       = {Actor Benchmarks},
-    author      = {Peter A. Buhr and Colby A. Parsons},
-    howpublished= {\href{https://github.com/pabuhr/ActorExperiments}{https://\-github.com/\-pabuhr/\-ActorExperiments}},
-    year        = 2022,
-}
-
 @book{Actors,
     keywords    = {actors, concurrency},
@@ -230 +205 @@
     publisher   = {MIT Press, Cambridge},
     year        = 1986
-}
-
-@inproceedings{Srinivasan08,
-    author      = {Srinivasan, Sriram and Mycroft, Alan},
-    editor      = {Vitek, Jan},
-    title       = {Kilim: Isolation-Typed Actors for Java},
-    organization= {ECOOP 2008 -- Object-Oriented Programming},
-    year        = {2008},
-    publisher   = {Springer Berlin Heidelberg},
-    address     = {Berlin, Heidelberg},
-    pages       = {104--128},
-}
-
-@inproceedings{Haller07,
-    author      = {Haller, Philipp and Odersky, Martin},
-    editor      = {Murphy, Amy L. and Vitek, Jan},
-    title       = {Actors That Unify Threads and Events},
-    organization= {Coordination Models and Languages},
-    year        = 2007,
-    publisher   = {Springer Berlin Heidelberg},
-    address     = {Berlin, Heidelberg},
-    pages       = {171-190},
 }
 
@@ -292 +245 @@
 }
 
-@manual{Ada95,
-    keywords    = {Ada},
-    contributer = {pabuhr@plg},
-    title       = {{A}da Reference Manual},
-    edition     = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}},
-    organization= {Intermetrics, Inc.},
-    month       = dec,
-    year        = 1995,
-    note        = {Language and Standards Libraries}
-}
-
-@manual{Ada12,
-    keywords    = {ISO/IEC Ada},
-    contributer = {pabuhr@plg},
-    author      = {Ada12},
-    title       = {Programming languages -- {Ada} ISO/IEC 8652:2012},
-    edition     = {3rd},
-    organization= {International Standard Organization},
-    address     = {Geneva, Switzerland},
-    year        = 2012,
-    note        = {\href{https://www.iso.org/standard/61507.html}{https://\-www.iso.org/\-standard/\-61507.html}},
-}
-
-@manual{Ada95:annotated,
-    keywords    = {Ada},
-    contributer = {pabuhr@plg},
-    title       = {Annotated {A}da Reference Manual},
-    edition     = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}},
-    organization= {Intermetrics, Inc.},
-    month       = dec,
-    year        = 1995,
-    note        = {Language and Standards Libraries}
-}
-
 @article{dim:ada,
     keywords    = {Dimensional Analysis, Ada},
@@ -337 +256 @@
     number      = 2,
     pages       = {189-203},
-}
-
-@article{Agrawal08,
-    keywords    = {Adaptive scheduling, multiprocessing, processor allocation, randomized algorithm, space sharing, thread scheduling, two-level scheduling, work-stealing},
-    author      = {Agrawal, Kunal and Leiserson, Charles E. and He, Yuxiong and Hsu, Wen Jing},
-    title       = {Adaptive Work-stealing with Parallelism Feedback},
-    journal     = {ACM Trans. Comput. Syst.},
-    issue_date  = {September 2008},
-    volume      = {26},
-    number      = {3},
-    month       = sep,
-    year        = {2008},
-    pages       = {7:1-7:32},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
 }
 
@@ -472 +376 @@
     month       = sep,
     year        = 2016,
-    note        = {\url{http://doc.akka.io/docs/akka/2.4/AkkaScala.pdf}},
-}
-
-@misc{AkkaClassic,
-    contributer = {pabuhr@plg},
-    key         = {AkkaClassic},
-    title       = {Akka Classic Actors},
-    author      = {{Lightbend}},
-    howpublished= {\url{https://doc.akka.io/docs/akka/current/index-classic.html}},
-    year        = 2023,
-}
-
-@misc{AkkaFuture,
-    contributer = {pabuhr@plg},
-    key         = {AkkaFuture},
-    title       = {Akka Futures},
-    author      = {{Lightbend}},
-    howpublished= {\url{https://doc.akka.io/docs/akka/2.5/futures.html}},
-    year        = 2022,
-}
-
-@misc{AkkaTyped,
-    contributer = {pabuhr@plg},
-    key         = {AkkaTyped},
-    title       = {Akka Typed Actors},
-    author      = {{Lightbend}},
-    howpublished= {\url{https://doc.akka.io/docs/akka/2.5/typed-actors.html}},
-    year        = 2022,
+    note        = {\href{http://doc.akka.io/docs/akka/2.4/AkkaScala.pdf}{http://\-doc.akka.io/\-docs/\-akka/\-2.4/\-AkkaScala.pdf}},
 }
 
@@ -671 +548 @@
 }
 
-@inproceedings{Mitzenmacher98,
-    author      = {Mitzenmacher, Michael},
-    title       = {Analyses of Load Stealing Models Based on Differential Equations},
-    organization= {Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures},
-    series      = {SPAA '98},
-    year        = {1998},
-    isbn        = {0-89791-989-0},
-    location    = {Puerto Vallarta, Mexico},
-    pages       = {212-221},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
-@inproceedings{Squillante91,
-    author      = {Squillante, Mark S. and Nelson, Randolph D.},
-    title       = {Analysis of Task Migration in Shared-memory Multiprocessor Scheduling},
-    organization= {Proceedings of the 1991 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems},
-    series      = {SIGMETRICS '91},
-    year        = {1991},
-    isbn        = {0-89791-392-2},
-    location    = {San Diego, California, USA},
-    pages       = {143-155},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
 @article{Sinha00,
     author      = {Saurabh Sinha and Mary Jean Harrold},
@@ -711 +562 @@
     author      = {Martin P. Robillard and Gail C. Murphy},
     title       = {Analyzing Exception Flow in {J}ava Programs},
-    organization= {ESEC/FSE-7: Proceedings of the 7th European Software Engineering Conference held jointly
+    booktitle   = {ESEC/FSE-7: Proceedings of the 7th European Software Engineering Conference held jointly
                    with the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering},
     year        = 1999,
@@ -753 +604 @@
     author      = {Henry Qin and Qian Li and Jacqueline Speiser and Peter Kraft and John Ousterhout},
     title       = {Arachne: Core-Aware Thread Management},
-    organization= {13th {USENIX} Symp. on Oper. Sys. Design and Impl. ({OSDI} 18)},
+    booktitle   = {13th {USENIX} Symp. on Oper. Sys. Design and Impl. ({OSDI} 18)},
     year        = {2018},
     address     = {Carlsbad, CA},
@@ -810 +661 @@
     author      = {Jaewoong Chung and Luke Yen and Stephan Diestelhorst and Martin Pohlack and Michael Hohmuth and David Christie and Dan Grossman},
     title       = {ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory},
-    organization= {Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture},
+    booktitle   = {Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture},
     series      = {MICRO '43},
     year        = 2010,
@@ -831 +682 @@
 }
 
-@misc{AsyncAwait,
-    contributer = {pabuhr@plg},
-    key         = {AsyncAwait},
-    title       = {Async Await},
-    author      = {{WikipediA}},
-    howpublished= {\href{https://en.wikipedia.org/wiki/Async/await}{https://\-en.wikipedia.org/\-wiki/\-Async/\-await}},
-    year        = 2022,
-}
-
 @inproceedings{Krischer08,
     keywords    = {exception handling, asynchronous, blocked tasks},
@@ -845 +687 @@
     author      = {Roy Krischer and Peter A. Buhr},
     title       = {Asynchronous Exception Propagation in Blocked Tasks},
-    organization= {4th International Workshop on Exception Handling (WEH.08)},
+    booktitle   = {4th International Workshop on Exception Handling (WEH.08)},
     optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
     address     = {Atlanta, U.S.A},
@@ -854 +696 @@
 
 @article{Joung00,
-    keywords    = {group mutual exclusion, congenial talking philosophers, resource allocation, shared-memory algorithms},
     author      = {Joung, Yuh-Jzer},
     title       = {Asynchronous group mutual exclusion},
@@ -918 +759 @@
     publisher   = {ACM},
     address     = {New York, NY, USA},
-}
-
-@techreport{Neill09,
-    author      = {Daniel Neill and Adam Wierman},
-    title       = {On the Benefits of Work Stealing in Shared-Memory Multiprocessors},
-    institution = {Carnegie Mellon University},
-    address     = {California Institute of Technology, Pasadena, CA, USA},
-    note        = {\href{http://www.cs.cmu.edu/~acw/15740/paper.pdf}{http://\-www.cs.cmu.edu/\-$\sim$acw/\-15740/\-paper.pdf}, Accessed May 2014},
-    year        = 2009,
 }
 
@@ -1084 +916 @@
 }
 
-@inproceedings{Ding12,
-    keywords    = {fairness, multicore, time sharing, work stealing},
-    author      = {Ding, Xiaoning and Wang, Kaibo and Gibbons, Phillip B. and Zhang, Xiaodong},
-    title       = {BWS: Balanced Work Stealing for Time-sharing Multicores},
-    organization= {Proceedings of the 7th ACM European Conference on Computer Systems},
-    series      = {EuroSys '12},
-    year        = {2012},
-    location    = {Bern, Switzerland},
-    pages       = {365-378},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
 % C
 
@@ -1171 +990 @@
 }
 
-@inproceedings{CAF,
-    keywords    = {performance measurement, actor model, c++, message-oriented middleware, distributed debugging},
-    contributer = {pabuhr@plg},
-    author      = {Charousset, Dominik and Hiesgen, Raphael and Schmidt, Thomas C.},
-    title       = {{CAF} -- the {C}++ Actor Framework for Scalable and Resource-Efficient Applications},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-    organization= {Proceedings of the 4th International Workshop on Programming Based on Actors Agents \& Decentralized Control},
-    pages       = {15-28},
-    numpages    = 14,
-    location    = {Portland, Oregon, USA},
-    series      = {AGERE'14},
-    year        = 2014,
-}
-
 @techreport{cfa-cc,
     keywords    = {Cforall, cfa-cc, transpiler},
@@ -1209 +1013 @@
     year        = 2018,
     pages       = {2111-2146},
-    optnote     = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
+    note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
 }
 
@@ -1368 +1172 @@
 @techreport{Prokopec11,
     keywords    = {ctrie, concurrent map},
-    contributer = {a3moss@uwaterloo.ca},
+    contributer = {a3moss@uwaterloo.ca},
     title       = {Cache-aware lock-free concurrent hash tries},
     author      = {Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
@@ -1692 +1496 @@
     author      = {Emery D. Berger and Benjamin G. Zorn and Kathryn S. McKinley},
     title       = {Composing High-Performance Memory Allocators},
-    organization= {{SIGPLAN} Conference on Programming Language Design and Implementation},
+    booktitle   = {{SIGPLAN} Conference on Programming Language Design and Implementation},
     pages       = {114-124},
     year        = 2001,
@@ -1870 +1674 @@
     month       = sep,
     year        = 2020,
-    note        = {\url{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}},
+    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}},
 }
 
@@ -2004 +1808 @@
     number      = 5,
     pages       = {1005-1042},
-    optnote     = {\href{https://onlinelibrary.wiley.com/doi/10.1002/spe.2925}{https://\-onlinelibrary.wiley.com/\-doi/\-10.1002/\-spe.2925}},
+    note        = {\href{https://onlinelibrary.wiley.com/doi/10.1002/spe.2925}{https://\-onlinelibrary.wiley.com/\-doi/\-10.1002/\-spe.2925}},
 }
 
@@ -2192 +1996 @@
     address     = {Eindhoven, Neth.},
     year        = 1965,
-    optnote     = {Reprinted in \cite{Genuys68} pp. 43--112.},
-    note        = {\url{https://pure.tue.nl/ws/files/4279816/344354178746665.pdf}},
+    note        = {Reprinted in \cite{Genuys68} pp. 43--112.}
 }
 
@@ -2200 +2003 @@
     author      = {Adya, Atul and Howell, Jon and Theimer, Marvin and Bolosky, William J. and Douceur, John R.},
     title       = {Cooperative Task Management Without Manual Stack Management},
-    organization= {Proc. of the General Track USENIX Tech. Conf.},
+    booktitle   = {Proc. of the General Track USENIX Tech. Conf.},
     series      = {ATEC '02},
     year        = {2002},
@@ -2308 +2111 @@
     year        = 2016,
     note        = {\href{http://dlang.org/spec/spec.html}{http://\-dlang.org/\-spec/\-spec.html}},
-}
-
-@article{Acar02,
-    author      = {Acar, Umut A. and Blelloch, Guy E. and Blumofe, Robert D.},
-    title       = {The Data Locality of Work Stealing},
-    journal     = {Theory of Computing Systems},
-    volume      = {35},
-    number      = {3},
-    year        = {2002},
-    publisher   = {Springer-Verlag},
-    pages       = {321-347},
 }
 
@@ -2578 +2370 @@
     editor      = {R. E. A. Mason},
     organization= {IFIP},
-    publisher   = {North-Holland},
-    summary     = {
+    publisher = {North-Holland},
+    summary = {
         Packages group related declarations or subprograms, and encapsulate
         data types.  Separate interfaces and bodies promotes information
@@ -2806 +2598 @@
     address     = {Waterview Corporate Center, 20 Waterview Boulevard, Parsippany, NJ 07054},
     year        = {1993}
-}
-
-@inproceedings{Chen14,
-    keywords    = {Core allocation, Multi-programmed, Work-stealing},
-    author      = {Chen, Quan and Zheng, Long and Guo, Minyi},
-    title       = {DWS: Demand-aware Work-Stealing in Multi-programmed Multi-core Architectures},
-    organization= {Proceedings of Programming Models and Applications on Multicores and Manycores},
-    series      = {PMAM'14},
-    year        = {2007},
-    location    = {Orlando, FL, USA},
-    pages       = {131:131-131:139},
-    articleno   = {131},
-    numpages    = {9},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
 }
 
@@ -2854 +2631 @@
     year        = 2003,
     pages       = {29-35},
-}
-
-@inproceedings{Hamidzadeh96,
-    keywords    = {processor scheduling, resource allocation, shared memory systems, average memory referencing delay},
-    author      = {Hamidzadeh, B. and Lilja, D.J.},
-    booktitle   = {Distributed Computing Systems, 1996., Proceedings of the 16th International Conference on},
-    title       = {Dynamic scheduling strategies for shared-memory multiprocessors},
-    year        = {1996},
-    month       = {May},
-    pages       = {208-215},
-}
-
-@article{Hendler06,
-    keywords    = {Concurrent programming; Load balancing; Work stealing; Lock-free; Data structures},
-    author      = {Hendler, Danny and Lev, Yossi and Moir, Mark and Shavit, Nir},
-    title       = {A dynamic-sized nonblocking work stealing deque},
-    journal     = {Distributed Computing},
-    volume      = {18},
-    number      = {3},
-    year        = {2006},
-    publisher   = {Springer-Verlag},
-    pages       = {189-207},
 }
 
@@ -2979 +2734 @@
 }
 
-@inproceedings{Blelloch04,
-    keywords    = {chip multiprocessors, multithreaded architectures, scheduling algorithms, shared cache},
-    author      = {Blelloch, Guy E. and Gibbons, Phillip B.},
-    title       = {Effectively Sharing a Cache Among Threads},
-    organization= {Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures},
-    series      = {SPAA '04},
-    year        = {2004},
-    location    = {Barcelona, Spain},
-    pages       = {235-244},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
 @techreport{Habermann80,
     keywords    = {Ada, threads},
@@ -3066 +2808 @@
     title       = {Encapsulation and Inheritance in Object-Oriented Programming Languages},
     journal     = sigplan,
-    volume      = {21},
-    number      = {11},
+    volume      = {21},    number = {11},
     pages       = {38-45},
-    month       = nov,
-    year        = 1986,
+    month       = nov, year = 1986,
     comment     = {
         Client, child interfaces should be distinct.  Child interface
@@ -3126 +2866 @@
 }
 
-@inproceedings{Ribic14,
-    keywords    = {dvfs, energy efficiency, language runtimes, thread management, work stealing},
-    author      = {Ribic, Haris and Liu, Yu David},
-    title       = {Energy-efficient Work-stealing Language Runtimes},
-    organization= {Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems},
-    series      = {ASPLOS '14},
-    year        = {2014},
-    location    = {Salt Lake City, Utah, USA},
-    pages       = {513-528},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
 @manual{EPT,
     keywords    = {concurrency, light-weight threads},
@@ -3160 +2887 @@
 }
 
-@misc{Soleimani16,
-    keywords    = {Erlang, scheduler, history},
-    contributer = {pabuhr@plg},
-    author      = {Hamidreza Soleimani},
-    title       = {Erlang Scheduler Details and Why It Matters},
-    month       = feb,
-    year        = 2016,
-    howpublished= {\url{https://hamidreza-s.github.io/erlang/scheduling/real-time/preemptive/migration/2016/02/09/erlang-scheduler-details.html}},
-}
-
 @inproceedings{MH88,
     keywords    = {modules, general sums, general products},
@@ -3186 +2903 @@
     publisher   = {North Oxford Academic},
     year        = 1985
-}
-
-@article{Torrellas95,
-    author      = {J. Torrellas and A. Tucker and A. Gupta},
-    title       = {Evaluating the Performance of Cache-Affinity Scheduling in Shared-Memory Multiprocessors},
-    journal     = {Journal of Parallel and Distributed Computing},
-    volume      = {24},
-    number      = {2},
-    pages       = {139-151},
-    year        = {1995},
 }
 
@@ -3907 +3614 @@
     author      = {Robert Griesemer and Rob Pike and Ken Thompson},
     title       = {{Go} Programming Language},
-    address     = {Mountain View, CA, USA},
     organization= {Google},
     year        = 2009,
@@ -4019 +3725 @@
 @article{Michael04a,
     keywords    = {Lock-free, synchronization, concurrent programming, memory management, multiprogramming, dynamic data structures},
-    contributer = {pabuhr@plg},
     author      = {Maged M. Michael},
     title       = {Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects},
@@ -4030 +3735 @@
     publisher   = {IEEE Press},
     address     = {Piscataway, NJ, USA},
-}
-
-@inproceedings{Johansson02,
-    keywords    = {concurrent languages, erlang, garbage collection, message passing, runtime systems},
-    contributer = {pabuhr@plg},
-    author      = {Erik Johansson and Konstantinos Sagonas and Jesper Wilhelmsson},
-    title       = {Heap Architectures for Concurrent Languages Using Message Passing},
-    year        = {2002},
-    isbn        = {1581135394},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-    organization= {Proceedings of the 3rd International Symposium on Memory Management},
-    pages       = {88-99},
-    location    = {Berlin, Germany},
 }
 
@@ -4223 +3914 @@
     title       = {Implementing Lock-Free Queues},
     booktitle   = {Seventh International Conference on Parallel and Distributed Computing Systems},
-    organization= {International Society for Computers and Their Applications},
     address     = {Las Vegas, Nevada, U.S.A.},
     year        = {1994},
     pages       = {64-69},
-}
-
-@inproceedings{Halstead84,
-    author      = {Halstead,Jr., Robert H.},
-    title       = {Implementation of Multilisp: Lisp on a Multiprocessor},
-    organization= {Proceedings of the 1984 ACM Symposium on LISP and Functional Programming},
-    series      = {LFP '84},
-    year        = {1984},
-    location    = {Austin, Texas, USA},
-    pages       = {9-17},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
 }
 
@@ -5017 +4695 @@
     contributer = {pabuhr@plg},
     author      = {Lua},
-    title       = {Lua 5.4 Reference Manual},
-    organization= {Pontifical Catholic University},
-    address     = {\href{https://www.lua.org/manual/5.4}{https://\-www.lua.org/\-manual/\-5.4}},
-    year        = 2020,
+    title       = {Lua 5.3 Reference Manual},
+    address     = {\href{https://www.lua.org/manual/5.3}{https://\-www.lua.org/\-manual/\-5.3}},
+    year        = 2018,
 }
 
@@ -5087 +4764 @@
 }
 
-@misc{MMTk,
+@manual{MMTk,
     keywords    = {Java memory management},
     contributer = {pabuhr@plg},
@@ -5094 +4771 @@
     month       = sep,
     year        = 2006,
-    howpublished= {\url{http://cs.anu.edu.au/~Robin.Garner/mmtk-guide.pdf}},
+    note        = {\href{http://cs.anu.edu.au/~Robin.Garner/mmtk-guide.pdf}
+                  {http://cs.anu.edu.au/\-$\sim$Robin.Garner/\-mmtk-guide.pdf}},
 }
 
@@ -5400 +5078 @@
     year        = 2015,
     note        = {\href{http://www.mpi-forum.org/docs/mpi-3.1/mpi31-report.pdf}{http://www.mpi-forum.org/\-docs/\-mpi-3.1/\-mpi31-report.pdf}},
-}
-
-@article{Lombardo19,
-    contributer = {pabuhr@plg},
-    author      = {Lombardo, Gianfranco and Fornacciari, Paolo and Mordonini, Monica and Tomaiuolo, Michele and Poggi, Agostino},
-    title       = {A Multi-Agent Architecture for Data Analysis},
-    journal     = {Future Internet},
-    volume      = 11,
-    year        = 2019,
-    number      = 2,
 }
 
@@ -5609 +5277 @@
         Programming Language},
     year        = 1980,
-    month       = dec,
-    pages       = {139-145},
+    month       = dec, pages = {139-145},
     note        = {SIGPLAN Notices, v. 15, n. 11},
     abstract    = {
@@ -5731 +5398 @@
     year        = 2005,
     pages       = {146-196},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
-@inproceedings{Hendler02,
-    author      = {Hendler, Danny and Shavit, Nir},
-    title       = {Non-blocking Steal-half Work Queues},
-    organization= {Proceedings of the Twenty-first Annual Symposium on Principles of Distributed Computing},
-    series      = {PODC '02},
-    year        = {2002},
-    location    = {Monterey, California},
-    pages       = {280-289},
     publisher   = {ACM},
     address     = {New York, NY, USA},
@@ -5991 +5646 @@
 }
 
-@misc{OpenTelemetry,
-    contributer = {pabuhr@plg},
-    key         = {OpenTelemetry},
-    title       = {OpenTelemetry},
-    author      = {{Asynkron AB}},
-    howpublished= {\href{https://proto.actor/docs/tracing}{https://\-proto.actor/\-docs/\-tracing}},
-    year        = 2022,
-}
-
 @inproceedings{Krebbers14,
     keywords    = {c formalization},
@@ -6237 +5883 @@
 }
 
-@article{Nigro21,
-    keywords    = {Actors, Asynchronous messages, Reflective control on message passing, Lock-free parallel computing, Java, Scalable multi-agent systems, Parallel matrix multiplication, Iterated Prisoner's Dilemma},
-    contributer = {pabuhr@plg},
-    author      = {Libero Nigro},
-    title       = {Parallel Theatre: An actor framework in {Java} for high performance computing},
-    journal     = {Simulation Modelling Practice and Theory},
-    volume      = {106},
-    number      = {102189},
-    year        = {2021},
-}
-
 @incollection{Stroustrup96,
     keywords    = {concurrency, C++},
@@ -6282 +5917 @@
     journal     = ieeese,
     year        = 1984,
-    month       = sep,
-    volume      = "SE-10",
-    number      = 5,
-    pages       = {528-543},
+    month       = sep, volume = "SE-10", number = 5, pages = {528-543},
     abstract    = {
         Parameterized programming is a powerful technique for the reliable
@@ -6317 +5949 @@
     booktitle   = {USENIX {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Conference},
     organization= {USENIX Association},
-    year        = 1988,
-    pages       = {1-18},
+    year        = 1988, pages = {1-18}
 }
 
@@ -6406 +6037 @@
 }
 
-@incollection{Kazempour08,
-    keywords    = {multicore processors; cache affinity; performance evaluation; scheduling},
-    author      = {Kazempour, Vahid and Fedorova, Alexandra and Alagheband, Pouya},
-    title       = {Performance Implications of Cache Affinity on Multicore Processors},
-    organization= {Euro-Par 2008 -- Parallel Processing},
-    series      = {Lecture Notes in Computer Science},
-    editor      = {Luque, Emilio and Margalef, Tomas and Benitez, Domingo},
-    year        = {2008},
-    volume      = {5168},
-    pages       = {151-161},
-    publisher   = {Springer Berlin Heidelberg},
-}
-
-@article{Anderson89,
-    keywords    = {data structures, multiprocessing systems, operating systems (computers), performance evaluation, critical resource waiting},
-    author      = {Anderson, T.E. and Lazowska, E.D. and Levy, H.M.},
-    journal     = {Computers, IEEE Transactions on},
-    title       = {The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors},
-    year        = {1989},
-    month       = {Dec},
-    volume      = {38},
-    number      = {12},
-    pages       = {1631-1644},
-}
-
 @article{Anderson90,
     keywords    = {spin locks, back off, performance},
@@ -6442 +6048 @@
     number      = 1,
     pages       = {6-16},
-}
-
-@article{Blumofe98,
-    author      = {Blumofe, Robert D. and Papadopoulos, Dionisios},
-    title       = {The Performance of Work Stealing in Multiprogrammed Environments (Extended Abstract)},
-    journal     = {SIGMETRICS Perform. Eval. Rev.},
-    volume      = {26},
-    number      = {1},
-    month       = jun,
-    year        = {1998},
-    issn        = {0163-5999},
-    pages       = {266-267},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
 }
 
@@ -6694 +6286 @@
 }
 
-@article{Varela01,
-    keywords    = {programming languages, SALSA, continuations, actors, java, internet, network computing, open systems, mobile computing},
-    contributer = {pabuhr@plg},
-    author      = {Varela, Carlos and Agha, Gul},
-    title       = {Programming Dynamically Reconfigurable Open Systems with SALSA},
-    issue_date  = {December 2001},
-    publisher   = {Association for Computing Machinery},
-    address     = {New York, NY, USA},
-    volume      = 36,
-    number      = 12,
-    journal     = {SIGPLAN Not.},
-    year        = 2001,
-    month       = dec,
-    pages       = {20-34},
-}
-
 @book{PowerPC,
     key         = {PowerPC processor},
@@ -6771 +6347 @@
     title       = {Programming Languages -- {C}},
     organization= {International Standard ISO/IEC 9899:1999 (E)},
-    publisher   = {American National Standards Institute},
+    publisher   = {American National Standards Institute},
     address     = {www.ansi.org},
     year        = 1999,
@@ -6782 +6358 @@
     title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:1998},
     edition     = {1st},
-    organization= {International Standard Organization},
+    organization  = {International Standard Organization},
     address     = {Geneva, Switzerland},
     year        = 1998,
@@ -7073 +6649 @@
 }
 
-@misc{protoactor,
-    contributer = {pabuhr@plg},
-    key         = {Protoactor},
-    author      = {{proto.actor}},
-    title       = {Asynkron AB},
-    year        = 2023,
-    howpublished= {\url{https://proto.actor}},
-}
-
 @misc{Pthreads,
     keywords    = {pthreads, C concurrency},
@@ -7193 +6760 @@
 }
 
-@inproceedings{Bacon03,
-    keywords    = {utilization, real-time scheduling, read barrier, defragmentation},
-    contributer = {pabuhr@plg},
-    author      = {David F. Bacon and Perry Cheng and V. T. Rajan},
-    title       = {A Real-Time Garbage Collector with Low Overhead and Consistent Utilization},
-    year        = {2003},
-    organization= {Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-    pages       = {285-298},
-    location    = {New Orleans, Louisiana, USA},
+@manual{Ada95,
+    keywords    = {Ada},
+    contributer = {pabuhr@plg},
+    title       = {{A}da Reference Manual},
+    edition     = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}},
+    organization= {Intermetrics, Inc.},
+    month       = dec,
+    year        = 1995,
+    note        = {Language and Standards Libraries}
+}
+
+@manual{Ada12,
+    keywords    = {ISO/IEC Ada},
+    contributer = {pabuhr@plg},
+    author      = {Ada12},
+    title       = {Programming languages -- {Ada} ISO/IEC 8652:2012},
+    edition     = {3rd},
+    organization= {International Standard Organization},
+    address     = {Geneva, Switzerland},
+    year        = 2012,
+    note        = {\href{https://www.iso.org/standard/61507.html}{https://\-www.iso.org/\-standard/\-61507.html}},
+}
+
+@manual{Ada95:annotated,
+    keywords    = {Ada},
+    contributer = {pabuhr@plg},
+    title       = {Annotated {A}da Reference Manual},
+    edition     = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}},
+    organization = {Intermetrics, Inc.},
+    month       = dec,
+    year        = 1995,
+    note        = {Language and Standards Libraries}
 }
 
@@ -7339 +6927 @@
     journal     = sigplan,
     year        = 1991,
-    month       = oct,
-    volume      = 26,
-    number      = 10,
-    pages       = {29-43},
+    month       = oct, volume = 26, number = 10, pages = {29-43},
     abstract    = {
         {\tt lcc} is a new retargetable compiler for ANSI C.  Versions for
@@ -7402 +6987 @@
 }
 
-@misc{rpmalloc,
-    author      = {Mattias Jansson},
-    title       = {rpmalloc version 1.4.1},
-    month       = apr,
-    year        = 2022,
-    howpublished= {\href{https://github.com/mjansson/rpmalloc}{https://\-github.com/\-mjansson/\-rpmalloc}},
-}
-
 @manual{Rust,
     keywords    = {Rust programming language},
@@ -7440 +7017 @@
     publisher   = {ACM},
     address     = {New York, NY, USA},
-    organization= {Proceedings of the 4th International Workshop on Programming Based on Actors Agents \& Decentralized Control},
+    booktitle   = {Proceedings of the 4th International Workshop on Programming Based on Actors Agents \& Decentralized Control},
     pages       = {67-80},
     numpages    = {14},
@@ -7464 +7041 @@
     booktitle   = {PLDI '04: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation},
     location    = {Washington DC, USA},
-    organization= {ACM},
+    publisher   = {ACM},
     address     = {New York, NY, USA},
     volume      = 39,
@@ -7470 +7047 @@
     month       = jun,
     pages       = {35-46},
-}
-
-@article{Nickolls08,
-    author      = {Nickolls, John and Buck, Ian and Garland, Michael and Skadron, Kevin},
-    title       = {Scalable Parallel Programming with CUDA},
-    journal     = {Queue},
-    volume      = {6},
-    number      = {2},
-    month       = mar,
-    year        = 2008,
-    pages       = {40-53},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
 }
 
@@ -7498 +7062 @@
 }
 
-@article{Blumofe99,
-    keywords    = {critical-path length, multiprocessor, multithreading, randomized algorithm, thread scheduling, work stealing},
-    author      = {Blumofe, Robert D. and Leiserson, Charles E.},
-    title       = {Scheduling Multithreaded Computations by Work Stealing},
-    journal     = {Journal of the ACM},
-    volume      = {46},
-    number      = {5},
-    month       = sep,
-    year        = {1999},
-    pages       = {720-748},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
-@inproceedings{Acar13,
-    keywords    = {dynamic load balancing, nested parallelism, work stealing},
-    author      = {Acar, Umut A. and Chargueraud, Arthur and Rainey, Mike},
-    title       = {Scheduling Parallel Programs by Work Stealing with Private Deques},
-    organization= {Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
-    series      = {PPoPP '13},
-    year        = {2013},
-    location    = {Shenzhen, China},
-    pages       = {219-228},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
-@inproceedings{Chen07,
-    keywords    = {chip multiprocessors, constructive cache sharing, parallel depth first, scheduling algorithms, thread granularity, work stealing, working set profiling},
-    author      = {Chen, Shimin and Gibbons, Phillip B. and Kozuch, Michael and Liaskovitis, Vasileios and Ailamaki, Anastassia and Blelloch, Guy E. and Falsafi, Babak and Fix, Limor and Hardavellas, Nikos and Mowry, Todd C. and Wilkerson, Chris},
-    title       = {Scheduling Threads for Constructive Cache Sharing on CMPs},
-    organization= {Proceedings of the Nineteenth Annual ACM Symposium on Parallel Algorithms and Architectures},
-    series      = {SPAA '07},
-    year        = {2007},
-    location    = {San Diego, California, USA},
-    pages       = {105-115},
-    numpages    = {11},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
 @manual{SELF,
     keywords    = {programming language, obect-oriented, polymorphism},
@@ -7560 +7083 @@
     publisher   = {Springer},
     note        = {Lecture Notes in Computer Science v. 173},
-}
-
-@inproceedings{Kahn74,
-    keywords    = {programming language, obect-oriented, polymorphism},
-    contributer = {pabuhr@plg},
-    title       = {The Semantics of a Simple Language for Parallel Programming},
-    author      = {Gilles Kahn},
-    organization= {IFIP Congress},
-    year        = 1974,
 }
 
@@ -7629 +7143 @@
     number      = 12,
     pages       = {66-76},
-}
-
-@book{Scott13,
-    author      = {Michael L. Scott},
-    title       = {Shared-Memory Synchronization},
-    publisher   = {Morgan \& Claypool},
-    year        = 2013,
-}
-
-@inproceedings{Leissa14,
-    title       = {{S}ierra: a {SIMD} extension for {C}++},
-    author      = {Lei{\ss}a, Roland and Haffner, Immanuel and Hack, Sebastian},
-    booktitle   = {Proceedings of the 2014 Workshop on Workshop on programming models for SIMD/Vector processing},
-    pages       = {17-24},
-    year        = {2014},
-    organization= {ACM}
 }
 
@@ -8282 +7780 @@
 
 @article{SysVABI,
-    keywords    = {System V ABI},
-    contributer = {a3moss@uwaterloo.ca},
+    keywords    =  {System V ABI},
+    contributer =  {a3moss@uwaterloo.ca},
     title       = {System {V} application binary interface},
     author      = {Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
@@ -8289 +7787 @@
     volume      = {99},
     year        = {2013}
-}
-
-@article{Albert18,
-    keywords    = {actor-based concurrency, partial order reduction, systematic testing, synchronization, task independence},
-    contributer = {pabuhr@plg},
-    author      = {Albert, Elvira and Arenas, Puri and G\'{o}mez-Zamalloa, Miguel},
-    title       = {Systematic testing of actor systems},
-    journal     = {Software Testing, Verification and Reliability},
-    volume      = {28},
-    number      = {3},
-    pages       = {e1661},
-    year        = {2018}
 }
 
@@ -8327 +7813 @@
     journal     = jcss,
     year        = 1978,
-    volume      = 17,
-    pages       = {348-375},
+    volume      = 17, pages = {348-375}
 }
 
@@ -8339 +7824 @@
     address     = {New York, New York, U.S.A.},
     year        = 1982
-}
-
-@article{Arora01,
-    author      = {Arora, N. S. and Blumofe, R. D. and Plaxton, C. G.},
-    title       = {Thread Scheduling for Multiprogrammed Multiprocessors},
-    journal     = {Theory of Computing Systems},
-    year        = {2001},
-    volume      = {34},
-    number      = {2},
-    pages       = {115-144},
-    publisher   = {Springer-Verlag},
 }
 
@@ -8579 +8053 @@
 }
 
-@misc{AkkaBecome,
-    contributer = {pabuhr@plg},
-    key         = {AkkaBecome},
-    title       = {Typed Actors},
-    author      = {{Lightbend}},
-    howpublished= {\href{https://doc.akka.io/docs/akka/2.5/typed-actors.html}{https://\-doc.akka.io/\-docs/\-akka/\-2.5/\-typed-actors.html}},
-    year        = 2022,
-}
-
 @article{concatenation,
     keywords    = {record concatenation, isa},
@@ -8652 +8117 @@
     author      = {Paul R. Wilson},
     title       = {Uniprocessor Garbage Collection Techniques},
-    organization= {Proceedings of the International Workshop on Memory Management},
+    booktitle   = {Proceedings of the International Workshop on Memory Management},
     location    = {St. Malo, France},
     publisher   = {Springer},
@@ -8665 +8130 @@
     author      = {Carl Hewitt and Peter Bishop and Richard Steiger},
     title       = {A Universal Modular {ACTOR} Formalism for Artificial Intelligence},
-    organization= {Proceedings of the 3rd International Joint Conference on Artificial Intelligence},
+    booktitle   = {Proceedings of the 3rd International Joint Conference on Artificial Intelligence},
     address     = {Standford, California, U.S.A.},
     pages       = {235-245},
-    location    = {Stanford, USA},
-    series      = {IJCAI'73},
     month       = aug,
     year        = 1973,
@@ -8701 +8164 @@
 @article{Karsten20,
     author      = {Karsten, Martin and Barghi, Saman},
-    title       = {User-level Threading: Have Your Cake and Eat It Too},
+    title       = {{User-level Threading: Have Your Cake and Eat It Too}},
     year        = {2020},
     issue_date  = {March 2020},
@@ -8726 +8189 @@
 }
 
-@article{Squillante93,
-    keywords    = {buffer storage, performance evaluation, queueing theory, scheduling, shared memory systems, processor-cache affinity},
-    author      = {Squillante, M.S. and Lazowska, E.D.},
-    title       = {Using Processor-Cache Affinity Information in Shared-Memory Multiprocessor Scheduling},
-    journal     = {Parallel and Distributed Systems, IEEE Transactions on},
-    year        = {1993},
-    month       = {Feb},
-    volume      = {4},
-    number      = {2},
-    pages       = {131-143},
-}
-
 @article{delegation,
     keywords    = {delegation, inheritance, actors},
@@ -8887 +8338 @@
     year        = 2003,
     pages       = {19-24},
-}
-
-@inproceedings{Saman18,
-    keywords    = {actors, scheduling, NUMA, locality},
-    contributer = {pabuhr@plg},
-    author      = {Saman Barghi and Martin Karsten},
-    organization= {2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS)}, 
-    title       = {Work-Stealing, Locality-Aware Actor Scheduling}, 
-    year        = {2018},
-    address     = {Vancouver, BC, Canada},
-    pages       = {484-494},
-}
-
-@article{Wimmer13,
-    keywords    = {priorities, scheduler hints, strategies, work-stealing},
-    author      = {Wimmer, Martin and Cederman, Daniel and Tr\"{a}ff, Jesper Larsson and Tsigas, Philippas},
-    title       = {Work-stealing with Configurable Scheduling Strategies},
-    journal     = {SIGPLAN Not.},
-    issue_date  = {August 2013},
-    volume      = {48},
-    number      = {8},
-    month       = feb,
-    year        = {2013},
-    issn        = {0362-1340},
-    pages       = {315-316},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
 }