Research output per year
Research output per year
Fingerprint
Dive into the research topics where Software Technology is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Publication network from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Fast Wait-Free Solution to Read-Reclaim Races in Reference Counting
de Wolff, I. G., Anderson, D., Keller, G. K. & Seletskiy, A., 26 Aug 2024, Euro-Par 2024: Parallel Processing - 30th European Conference on Parallel and Distributed Processing, Proceedings. Carretero, J., Garcia-Blas, J., Shende, S., Brandic, I., Olcoz, K. & Schreiber, M. (eds.). Springer, p. 103-118 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14803 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game
Pastor Ricós, F., Marín, B., Prasetya, I. S. W. B., Vos, T. E. J., Davidson, J. & Hovorka, K., 2 May 2024, Research Challenges in Information Science - 18th International Conference, RCIS 2024, Proceedings. Araújo, J., de la Vara, J. L., Santos, M. Y. & Assar, S. (eds.). Springer, p. 393-409 17 p. (Lecture Notes in Business Information Processing; vol. 513).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Automatic differentiation for ML-family languages: Correctness via logical relations
Lucatelli Nunes, F. & Vákár, M., 2024, In: Mathematical Structures in Computer Science. 34, 8, p. 747-806 60 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
B-systems and C-systems are equivalent
Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., Dec 2024, In: Journal of Symbolic Logic. 89, 4, p. 1513-1521Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Efficient CHAD
Smeding, T. J. & Vákár, M. I. L., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, 29 p., 36.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile
Activities
-
From dual-numbers reverse AD to an efficient implementation
Smeding, T. (Speaker)
29 Jun 2022Activity: Talk or presentation › Invited talk › Academic
-
Type Error Customization in GHC
Serrano Mena, A. (Invited speaker)
30 Aug 2017Activity: Talk or presentation › Poster/paper presentation › Academic
-
Constraint Handling Rules with Scopes
Serrano Mena, A. (Invited speaker)
1 Sept 2017Activity: Talk or presentation › Poster/paper presentation › Academic
-
Microsoft Research Cambridge
Serrano Mena, A. (Visiting researcher)
20 Mar 2017 → 21 Mar 2017Activity: Visiting an external institution › Visiting an external academic institution › Academic
-
18th International Conference on Computational Science (Event)
Lamprecht, A.-L. (Peer reviewer)
Dec 2017 → Apr 2018Activity: Publication peer-review and editorial work › Publication peer-review › Academic