Research output per year
Research output per year
Fingerprint
Dive into the research topics where Sergey Goncharov is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 2 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Higher-order bialgebraic semantics
Goncharov, S., Milius, S., Schröder, L., Tsampas, S. & Urbat, H., 24 Jun 2026, In: Journal of Functional Programming. 36, 47 p., 1.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
Goncharov, S., 16 Feb 2026, In: Logical Methods in Computer Science. 22, 1, 36 p., 9.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile -
Towards a Higher-Order Bialgebraic Denotational Semantics
Goncharov, S., Peressotti, M., Tsampas, S., Urbat, H. & Volpe, S., 17 Aug 2026, In: Proceedings of the ACM on Programming Languages. 10, ICFP, p. 611-639 29 p., 295.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Abstract Operational Methods for Call-by-Push-Value
Goncharov, S., Tsampas, S. & Urbat, H., 9 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, POPL, p. 1013-1039 27 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile -
Bialgebraic Reasoning on Stateful Languages
Goncharov, S., Milius, S., Schröder, L., Tsampas, S. & Urbat, H., 5 Aug 2025, In: Proceedings of the ACM on Programming Languages. 9, ICFP, p. 246-275 30 p., 244.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Projects
- 2 Active
-
(Transfer) Abstract Techniques for Programming Languages and Secure Compilation
Goncharov, S. (Principal Investigator)
DEUTSHE FORSCHUNGSGEMEINSCHAFT (DFG)
1/05/25 → 31/07/28
Project: Research
-
(Transfer) High-level Monad-based Programming and Verification
Goncharov, S. (Principal Investigator)
DEUTSHE FORSCHUNGSGEMEINSCHAFT (DFG)
1/02/25 → 15/12/27
Project: Research