Fair Asynchronous Session Subtyping

Συγγραφείς: Mario Bravetti, Julien Lange, Gianluigi Zavattaro

Πηγή: Logical Methods in Computer Science, Vol 20, Issue 4 (2024)

Θεματικοί όροι: computer science - programming languages, computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://lmcs.episciences.org/12368/pdf; https://doaj.org/toc/1860-5974

Σύνδεσμος πρόσβασης: https://doaj.org/article/2fd134b0ce3f425d9b2a1ee9d3becd12

A model of actors and grey failures

Συγγραφείς: Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea

Πηγή: Logical Methods in Computer Science, Vol 19, Issue 4 (2023)

Θεματικοί όροι: computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://lmcs.episciences.org/10238/pdf; https://doaj.org/toc/1860-5974

Σύνδεσμος πρόσβασης: https://doaj.org/article/88d897bd45574091bd5d70f01b84f34d

Welterweight Go: Boxing, Structural Subtyping, and Generics

Συγγραφείς: Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, Keith Randall

Πηγή: Hu, R, Lange, J, Toninho, B, Wadler, P, Griesemer, R & Randall, K 2026, 'Welterweight Go : Boxing, structural subtyping, and generics', Proceedings of the ACM on Programming Languages, vol. 10, 79, pp. 2295-2322. https://doi.org/10.1145/3776721

Θεματικοί όροι: go, boxing, generics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://www.pure.ed.ac.uk/ws/files/631728950/HuEtalPOPL2026WelterweightGo.pdf
https://www.research.ed.ac.uk/en/publications/8ee0c2d1-10c8-4db7-bf54-62042994b20b
https://hdl.handle.net/20.500.11820/8ee0c2d1-10c8-4db7-bf54-62042994b20b
https://doi.org/10.1145/3776721

A Modular Static Cost Analysis for GPU Warp-Level Parallelism

Συγγραφείς: Gregory Blike, Hannah Zicarelli, Udaya Sathiyamoorthy, Julien Lange, Tiago Cogumbreiro

Πηγή: Proceedings of the ACM on Programming Languages. 10:1471-1499

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

Συγγραφείς: Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Πηγή: Logical Methods in Computer Science, Vol 17, Issue 1 (2021)

Θεματικοί όροι: computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://lmcs.episciences.org/5974/pdf; https://doaj.org/toc/1860-5974

Σύνδεσμος πρόσβασης: https://doaj.org/article/061b532a1987468eae05bbca15f37dd7

Multiparty Compatibility for Concurrent Objects

Συγγραφείς: Roly Perera, Julien Lange, Simon J. Gay

Πηγή: Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 73-82 (2016)

Θεματικοί όροι: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://arxiv.org/pdf/1606.05943v1; https://doaj.org/toc/2075-2180

Σύνδεσμος πρόσβασης: https://doaj.org/article/135917fd5ae4406791cbf49e45290fd7

Choreography Synthesis as Contract Agreement

Συγγραφείς: Julien Lange, Alceste Scalas

Πηγή: Electronic Proceedings in Theoretical Computer Science, Vol 131, Iss Proc. ICE 2013, Pp 52-67 (2013)

Θεματικοί όροι: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://arxiv.org/pdf/1310.4573v1; https://doaj.org/toc/2075-2180

Σύνδεσμος πρόσβασης: https://doaj.org/article/247d4f90dcd44c8b8738b39effaa5e90

A Modular Toolkit for Distributed Interactions

Συγγραφείς: Julien Lange, Emilio Tuosto

Πηγή: Electronic Proceedings in Theoretical Computer Science, Vol 69, Iss Proc. PLACES 2010, Pp 92-110 (2011)

Θεματικοί όροι: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://arxiv.org/pdf/1110.4164v1; https://doaj.org/toc/2075-2180

Σύνδεσμος πρόσβασης: https://doaj.org/article/0bffc48114b5445fb5ca6f01fef7ca46

Amending Contracts for Choreographies

Συγγραφείς: Laura Bocchi, Julien Lange, Emilio Tuosto

Πηγή: Electronic Proceedings in Theoretical Computer Science, Vol 59, Iss Proc. ICE 2011, Pp 111-129 (2011)

Θεματικοί όροι: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://arxiv.org/pdf/1108.0470v1; https://doaj.org/toc/2075-2180

Σύνδεσμος πρόσβασης: https://doaj.org/article/0b1cdd53aa2a4fd3ba5a4177bf028b85

Automated Verification of Parametric Channel-Based Process Communication

Συγγραφείς: Georgian-Vlad Saioc, Julien Lange, Anders Møller

Πηγή: Saioc, G-V, Lange, J & Møller, A 2024, Automated Verification of Parametric Channel-Based Process Communication. in Proceedings of the ACM on Programming Languages. vol. 8, 344, Proceedings of the ACM on Programming Languages, no. OOPSLA2, vol. 8, pp. 2070-2096. https://doi.org/10.1145/3689784

Θεματικοί όροι: message passing concurrency, static analysis, Go, partial deadlocks, automated verification, invariant discovery

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://pure.au.dk/portal/en/publications/c7527446-03ef-4983-b4cc-5272ecbe0fb0
https://doi.org/10.1145/3689784
https://pure.au.dk/ws/files/453156709/3689784.pdf
https://www.scopus.com/pages/publications/85206890223

Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs

Συγγραφείς: Dennis Liew, Tiago Cogumbreiro, Julien Lange

Πηγή: Proceedings of the ACM on Programming Languages. 8:2434-2461

Hidden Assumptions in Static Verification of Data-race Free GPU Programs

Συγγραφείς: Tiago Cogumbreiro, Julien Lange

Πηγή: Lecture Notes in Computer Science ISBN: 9783031974915

RustMC: Extending the GenMC stateless model checker to Rust

Συγγραφείς: Oliver Pearce, Julien Lange, Dan O'Keeffe

Πηγή: CoRR.

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Cryptography and Security, Cryptography and Security (cs.CR), Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2502.06293

Memory access protocols: certified data-race freedom for GPU kernels

Συγγραφείς: Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli

Πηγή: Formal Methods in System Design. 63:134-171

Θεματικοί όροι: data-race, static analysis, behavioural types, GPU, Computer science

Περιγραφή αρχείου: application/xml

Automated Verification of Go Programs via Bounded Model Checking

Συγγραφείς: Nicolas Dilley, Julien Lange

Πηγή: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE). :1016-1027

Θεματικοί όροι: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences, Static verification, Golang, Spin, Go, Promela, Deadlock detector

Σύνδεσμος πρόσβασης: https://zenodo.org/record/5101557/files/gomela-paper-ase21.pdf

Bounded verification of message-passing concurrency in Go using Promela and Spin

Συγγραφείς: Nicolas Dilley, Julien Lange

Πηγή: EPTCS

Θεματικοί όροι: QA75, Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://arxiv.org/pdf/2004.01323.pdf
http://arxiv.org/abs/2004.01323
https://kar.kent.ac.uk/80588/1/main.pdf

Featherweight go

Συγγραφείς: Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida

Συνεισφορές: DI - Departamento de Informática, NOVALincs, RUN

Πηγή: Griesemer, R, Hu, R, Kokke, W, Lange, J, Lance Taylor, I, Toninho, B, Wadler, P & Yoshida, N 2020, 'Featherweight Go', Proceedings of the ACM on Programming Languages, vol. 4, no. OOPSLA, 149. https://doi.org/10.1145/3428217

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Go, Monomorphisation, Generics, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Software, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://dl.acm.org/doi/pdf/10.1145/3428217
http://arxiv.org/abs/2005.11710
https://arxiv.org/abs/2005.11710
https://hdl.handle.net/10362/114686
https://www.research.ed.ac.uk/en/publications/59b27a46-1949-420d-9d76-a71790e1fab7
https://doi.org/10.1145/3428217
https://dl.acm.org/doi/10.1145/3428217
https://www.pure.ed.ac.uk/ws/files/179320836/Featherweight_Go_GRIESEMER_DOA01102020_VOR_CC_BY.pdf
https://hdl.handle.net/20.500.11820/59b27a46-1949-420d-9d76-a71790e1fab7

Automated verification of concurrent go programs via bounded model checking

Συγγραφείς: Nicolas Dilley, Julien Lange

Πηγή: Automated Software Engineering. 30

A Tool for Choreography-Based Analysis of Message-Passing Software

Συγγραφείς: Julien Lange, Emilio Tuosto, Nobuko Yoshida

Πηγή: Behavioural Types ISBN: 9781003337331

An Empirical Study of Messaging Passing Concurrency in Go Projects

Συγγραφείς: Nicolas Dilley, Julien Lange

Πηγή: 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). :377-387

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, QA76

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://kar.kent.ac.uk/71491/1/main.pdf