NWPT 2023 - 34th Nordic Workshop on Programming Theory Contributors - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Filter

Role Type

Contributing to

Number of Roles

Country

Results (89)

A Luca AcetoAceto, Luca Reykjavik UniversityIceland Infinite hard families of equations in process algebras
Antonis AchilleosAchilleos, Antonis Reykjavik University Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Exposing Flaws by Modeling Vulnerable-by-Design Smart Contracts
Jesper AmilonAmilon, Jesper KTH Royal Institute of TechnologySweden Verification of Extended Quantifiers Using Instrumentation Operators
Elli AnastasiadiAnastasiadi, Elli Uppsala UniversitySweden Infinite hard families of equations in process algebras
Heinrich ApfelmusApfelmus, Heinrich IOGGermany Algebraic Reasoning about Timeliness
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, SwedenSweden Session Chair of Types and Planning (part of NWPT - 34th Nordic Workshop on Programming Theory ) Exposing Flaws by Modeling Vulnerable-by-Design Smart Contracts
B Peter BackemanBackeman, Peter Mälardalen UniversitySweden Session Chair of Algebraic Modeling, Categories, and Reasoning (part of NWPT - 34th Nordic Workshop on Programming Theory ) Session Chair of Welcome and Opening (part of NWPT - 34th Nordic Workshop on Programming Theory ) Co-chair in Organizing Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Mikhail BarashBarash, Mikhail University of BergenNorway Algebraic Reasoning about Timeliness Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Johannes BorgströmBorgström, Johannes Uppsala University, SwedenSweden Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Einar Broch JohnsenBroch Johnsen, Einar University of OsloNorway Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning Reliable Plan Selection with Quantified Risk-Sensitivity
Tobias Bruun Sandberg HansenBruun Sandberg Hansen, Tobias Aalborg UniversityDenmark Buzzy: An eBPF Fuzzer
C James ChapmanChapman, James Input Output Algebraic Reasoning about Timeliness
Jeremy Paul CoffeltCoffelt, Jeremy Paul ROSEN Technology and Research Center Reliable Plan Selection with Quantified Risk-Sensitivity
D Neil DaviesDavies, Neil IOHK, PNSolUnited Kingdom Algebraic Reasoning about Timeliness
Elena Di LavoreDi Lavore, Elena Tallinn University of TechnologyEstonia Symmetric Monoidal Automata
Crystal Chang DinDin, Crystal Chang University of BergenNorway Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
E Matt EarnshawEarnshaw, Matt Tallinn University of TechnologyEstonia Presentations of Premonoidal Categories by Devices Polar Interleavings for Deadlock-Free Message-Passing
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Zafer EsenEsen, Zafer Uppsala UniversitySweden Verification of Extended Quantifiers Using Instrumentation Operators
Mojtaba EshghieEshghie, Mojtaba KTH Royal Institute of TechnologySweden Exposing Flaws by Modeling Vulnerable-by-Design Smart Contracts
F Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Towards hybrid distributed deadlock detection
Susanne FronnåFronnå, Susanne Mälardalen UniversitySweden Organizing Chair in Organizing Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
G Mohsen GhaffariGhaffari, Mohsen IT University of CopenhagenDenmark Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning
Dilian GurovGurov, Dilian KTH Royal Institute of TechnologySweden Verification of Extended Quantifiers Using Instrumentation Operators
Håkon Robbestad GylterudGylterud, Håkon Robbestad University of Bergen Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
H Seyed Hossein HaeriHaeri, Seyed Hossein University of Bergen, NorwayNorway Algebraic Reasoning about Timeliness
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden A New Take on Join Patterns How to Make Distributed Programming Safer using Types
Kevin HammondHammond, Kevin IOHKUnited Kingdom Algebraic Reasoning about Timeliness
Magne HaveraaenHaveraaen, Magne University of Bergen, NorwayNorway Algebraic Reasoning about Timeliness Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Keijo HeljankoHeljanko, Keijo University of Helsinki Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Thomas T. HildebrandtHildebrandt, Thomas T. University of CopenhagenDenmark Exposing Flaws by Modeling Vulnerable-by-Design Smart Contracts Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Andreas Holck Høeg-PetersenHolck Høeg-Petersen, Andreas Aalborg UniversityDenmark Minimizing State Space Partitionings Using Decision Trees
Ayman HusseinHussein, Ayman Technical University of DenmarkDenmark A New Take on Join Patterns
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany A Denotational Finite-Trace Semantics and Logic for While
J Peter Gjøl JensenJensen, Peter Gjøl Aalborg University, DenmarkDenmark Minimizing State Space Partitionings Using Decision Trees
Tobias JohnJohn, Tobias University of Oslo Reliable Plan Selection with Quantified Risk-Sensitivity
Philipp JoramJoram, Philipp Tallinn University of TechnologyEstonia Applications of Univalent Universe Completions
Jaakko JärviJärvi, Jaakko University of Bergen Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
K Christian Gram KalhaugeKalhauge, Christian Gram Technical University of DenmarkDenmark Generalized Input Reduction
Maja KirkebyKirkeby, Maja Roskilde UniversityDenmark Semi-Inversion with Sum Types Exploring an Energy-Efficient Programming Model
Joachim KristensenKristensen, Joachim University of Oslo Semi-Inversion with Sum Types
L Yngve LamoLamo, Yngve Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Kim Guldstrand LarsenLarsen, Kim Guldstrand Minimizing State Space Partitionings Using Decision Trees
Christian LidströmLidström, Christian KTH Royal Institute of TechnologySweden Verification of Extended Quantifiers Using Instrumentation Operators
Bjorn LisperLisper, Bjorn Malardalen UniversitySweden Time-Sensitive Control Closure: A Key Component for Secure Information Flow
M Abu Naser MasudMasud, Abu Naser Malardalen UniversitySweden Time-Sensitive Control Closure: A Key Component for Secure Information Flow
Dylan McDermottMcDermott, Dylan Reykjavik UniversityIceland Bidirectional data-flow analyses compared to relational through Galois connections Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, ArgentinaArgentina A New Take on Join Patterns
Zahra MoezkarimiMoezkarimi, Zahra Mälardalen UniversitySweden Enhancing CRYSTAL: Preventive Recovery in Brief Organizer in Organizing Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Mahya Mohamadi KashaniMohamadi Kashani, Mahya IT University of Copenhagen Reliable Plan Selection with Quantified Risk-Sensitivity
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Fereidoun MoradiMoradi, Fereidoun Mälardalen UniversitySweden Enhancing CRYSTAL: Preventive Recovery in Brief
Yasuaki MoritaMorita, Yasuaki Reykjavik UniversityIceland Bidirectional data-flow analyses compared to relational through Galois connections
Wojciech MostowskiMostowski, Wojciech Halmstad UniversitySweden Session Chair of Security and Safety (part of NWPT - 34th Nordic Workshop on Programming Theory ) Static Analysis of Energy Usage in Software Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Peter MüllerMüller, Peter ETH ZurichSwitzerland CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
N Chad NesterNester, Chad Tallinn University of TechnologyEstonia Presentations of Premonoidal Categories by Devices Polar Interleavings for Deadlock-Free Message-Passing
P Danny Bøgsted PoulsenPoulsen, Danny Bøgsted Aalborg University Session Chair of Programming and Distributed Systems (part of NWPT - 34th Nordic Workshop on Programming Theory ) Buzzy: An eBPF Fuzzer
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied Sciences Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Q Sergio QuijanoQuijano, Sergio IT University of CopenhagenDenmark Modeling and Safety Analysis of Autonomous Underwater Robot Behaviors
R Ville RantalaRantala, Ville University of JyväskyläFinland Between Formal and Practical Mathematical Reasoning
Christoph ReichenbachReichenbach, Christoph Lund UniversitySweden Static Analysis of Energy Usage in Software
Mario RománRomán, Mario Tallinn University of TechnologyEstonia Presentations of Premonoidal Categories by Devices Symmetric Monoidal Automata Polar Interleavings for Deadlock-Free Message-Passing
Radosław RowickiRowicki, Radosław Technical University of DenmarkDenmark Towards hybrid distributed deadlock detection
Philipp RuemmerRuemmer, Philipp University of Regensburg and Uppsala UniversityGermany Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
René Rydhof HansenRydhof Hansen, René Aalborg University, DenmarkDenmark Buzzy: An eBPF Fuzzer
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala UniversityGermany Verification of Extended Quantifiers Using Instrumentation Operators
S Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Towards hybrid distributed deadlock detection A New Take on Join Patterns Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden Exposing Flaws by Modeling Vulnerable-by-Design Smart Contracts
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Session Chair of Keynote 1 (part of NWPT - 34th Nordic Workshop on Programming Theory ) Session Chair of Welcome and Opening (part of NWPT - 34th Nordic Workshop on Programming Theory ) Session Chair of Keynote 3 (part of NWPT - 34th Nordic Workshop on Programming Theory ) Committee Member in Organizing Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Session Chair of Welcome and Opening (part of NWPT - 34th Nordic Workshop on Programming Theory ) Session Chair of Keynote 2 (part of NWPT - 34th Nordic Workshop on Programming Theory ) Enhancing CRYSTAL: Preventive Recovery in Brief Committee Member in Organizing Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Martin SteffenSteffen, Martin University of Oslo Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Sandro StuckiStucki, Sandro AmazonSweden Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Antoine SébertSébert, Antoine NoneDenmark A New Take on Join Patterns
T Peter ThompsonThompson, Peter PNSol & IOHKUnited Kingdom Algebraic Reasoning about Timeliness
Michael Kirkedal ThomsenThomsen, Michael Kirkedal University of Oslo & University of Copenhagen Session Chair of Machine Learning and Automata (part of NWPT - 34th Nordic Workshop on Programming Theory ) Semi-Inversion with Sum Types Exploring an Energy-Efficient Programming Model
Mikkel Tolstrup JensenTolstrup Jensen, Mikkel Aalborg UniversityDenmark Buzzy: An eBPF Fuzzer
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly A New Take on Join Patterns
U Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Bidirectional data-flow analyses compared to relational through Galois connections
V Lars-Bo Husted VadgaardVadgaard, Lars-Bo Husted Department of Informatics, University of OsloNorway Semi-Inversion with Sum Types Exploring an Energy-Efficient Programming Model
Antti ValmariValmari, Antti University of JyväskyläFinland Between Formal and Practical Mathematical Reasoning Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Algebraic Reasoning about Timeliness
Mahsa VarshosazVarshosaz, Mahsa IT University of Copenhagen, DenmarkDenmark Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning Modeling and Safety Analysis of Autonomous Underwater Robot Behaviors
Niccolò VeltriVeltri, Niccolò Tallinn University of TechnologyEstonia Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Marten VoorbergVoorberg, Marten KTH Royal Institute of TechnologySweden Verification of Extended Quantifiers Using Instrumentation Operators
W Marina WaldénWaldén, Marina Abo Akademi University Committee Member in Program Committee within the NWPT - 34th Nordic Workshop on Programming Theory -track
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning Modeling and Safety Analysis of Autonomous Underwater Robot Behaviors Reliable Plan Selection with Quantified Risk-Sensitivity Minimizing State Space Partitionings Using Decision Trees