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.
- 1 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
-
Abstract Operational Methods for Call-by-Push-Value
Goncharov, S., Tsampas, S. & Urbat, H., 9 Jan 2025, Proceedings of the ACM on Programming Languages: 52nd ACM SIGPLAN Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), p. 1013-1039 27 p. 35. (Proceedings of the Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages; vol. 9).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile31 Downloads (Pure) -
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 -
Big Steps in Higher-Order Mathematical Operational Semantics
Goncharov, S., Partow, P. & Tsampas, S., 5 Aug 2025, In: Proceedings of the ACM on Programming Languages. 9, ICFP, p. 1007-1035 29 p., 271.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Identity-Preserving Lax Extensions and Where to Find Them
Goncharov, S., Hofmann, D., Nora, P., Schröder, L. & Wild, P., 24 Feb 2025, 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025. Beyersdorff, O., Pilipczuk, M., Pimentel, E. & Thang, N. K. (eds.). Schloss Dagstuhl, 40. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 327).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile16 Downloads (Pure) -
Probabilistic Strategies: Definability and the Tensor Completeness Problem
Bowler, N., Goncharov, S. & Levy, P., 9 Oct 2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Singapore: ACM/IEEE, p. 485-498 14 p. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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/01/27
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