Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings von Sergey, Ilya

Volltext

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings von Gebser, Martin, Sergey, Ilya

Volltext

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode von Albert, Elvira, Gordillo, Pablo, Livshits, Benjamin, Rubio, Albert, Sergey, Ilya

Volltext

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,... von Sergey, Ilya

Volltext

Practical Aspects of Declarative Languages: 26th International Symposium, PDAL 2024, London, UK, January 15-16, 2024 von Gebser, Martin, Sergey, Ilya

Volltext

Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings

Volltext

Structuring the synthesis of heap-manipulating programs von Polikarpova, Nadia, Sergey, Ilya

Volltext

A Concurrent Perspective on Smart Contracts von Sergey, Ilya, Hobor, Aquinas

Volltext

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings

Volltext

RacerD: compositional static race detection von Blackshear, Sam, Gorogiannis, Nikos, O'Hearn, Peter W., Sergey, Ilya

Volltext

Programming and proving with distributed protocols von Sergey, Ilya, Wilcox, James R., Tatlock, Zachary

Volltext

Ontological Reasoning over Shy and Warded Datalog+/– for Streaming-Based Architectures von Baldazzi, Teodoro, Bellomarini, Luigi, Favorito, Marco, Sallinger, Emanuel

Volltext

Mostly Automated Proof Repair for Verified Libraries von Gopinathan, Kiran, Keoliya, Mayank, Sergey, Ilya

Volltext

Safer smart contract programming with Scilla von Sergey, Ilya, Nagaraj, Vaivaswatha, Johannsen, Jacob, Kumar, Amrit, Trunov, Anton, Hao, Ken Chan Guan

Volltext

Automated Temporal Verification for Algebraic Effects von Song, Yahui, Foo, Darius, Chin, Wei-Ngan

Volltext

An Algebraic Theory for Shared-State Concurrency von Dvir, Yotam, Kammar, Ohad, Lahav, Ori

Volltext

Decoupling the Ascending and Descending Phases in Abstract Interpretation von Arceri, Vincenzo, Mastroeni, Isabella, Zaffanella, Enea

Volltext

Novice Type Error Diagnosis with Natural Language Models von Geng, Chuqin, Ye, Haolin, Li, Yixuan, Han, Tianyu, Pientka, Brigitte, Si, Xujie

Volltext

Hippodrome: Data Race Repair Using Static Analysis Summaries von Costea, Andreea, Tiwari, Abhishek, Chianasta, Sigmund, R, Kishore, Roychoudhury, Abhik, Sergey, Ilya

Volltext

Characterizing Functions Mappable over GADTs von Johann, Patricia, Cagne, Pierre

Volltext