etaps.org - Etaps Homepage

Example domain paragraphs

ETAPS 2024 is organized by Interdisciplinary Centre for Security, Reliability and Trust (SnT) / University of Luxembourg.

The ETAPS Call for Papers and the important dates are to be published soon!

New blog post is out! Read the interview with Mooly Sagiv!

Links to etaps.org (142)

uwplse.org UW PLSE
coalg.org Coalgebra
janvitek.org Jan Vitek @ NEU
tacas.info TACAS — International Conference on Tools and Algorithms for the Construction and Analysis of Systems
yanniss.github.io Yannis Smaragdakis
eptcs.org Electronic Proceedings in Theoretical Computer Science
avandeursen.com Arie van Deursen | Software engineering in theory and practice
granule-project.github.io The Granule Project | The Granule Project: A Research Project Studying the Next Generation of Functional Programming Languages
jonmsterling.com Jon Sterling
cakeml.org CakeML
robbertkrebbers.nl About | Robbert Krebbers
catalin-hritcu.github.io Catalin Hritcu - MPI-SP
prismmodelchecker.org PRISM - Probabilistic Symbolic Model Checker
ryandoeng.es ryandoeng.es
jrmcclurg.com Jedidiah McClurg
arthuraa.net Arthur Azevedo de Amorim
mardziel.com Piotr (Peter) Mardziel
thuanpv.github.io Dr. Thuan Pham
nikivazou.github.io Niki Vazou - index
effect-handlers.org EHOP: Effect Handler Oriented Programming
brijeshdongol.github.io Brijesh Dongol
dhil.net Daniel Hillerström | Huawei Zurich Research Center, Switzerland
josh-hs-ko.github.io Hsiang-Shang ‘Josh’ Ko 柯向上
mpaviotti.github.io Short bio | Marco Paviotti
gkastrinis.info George Kastrinis
bugcounting.net Carlo A. Furia · Homepage
kap.pe Tobias Kappé — About
zhang-xiyue.github.io About me - Xiyue Zhang’s Homepage
mhicks.me Michael Hicks
danielstrueber.de Daniel Strüber, Software Engineering Researcher
janvitek.github.io Jan Vitek @ NEU
tamarin-prover.github.io Tamarin Prover
fmbc.gitlab.io FMBC - Home
places-workshop.github.io PLACES – Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
akihisayamada.github.io Akihisa Yamada
ulifahrenberg.github.io Uli Fahrenberg
leodemoura.github.io Leonardo de Moura
michael-emmi.github.io Michael Emmi
zhenjiang888.github.io Zhenjiang Hu's home page
soundandcomplete.org Dr. Azalea Raad - Homepage
anthonywlin.github.io Homepage of Anthony Widjaja Lin [previously Anthony W. To] | Home Page of Anthony W. Lin
secure-compilation.github.io ERC SECOMP - Efficient Formally Secure Compilation to a Tagged Architecture
jorgenavas.github.io Jorge Navas Homepage
xnning.github.io Ningning Xie
msfp-workshop.github.io Mathematically Structured Functional Programming
nilsjansen.org Nils Jansen.
netzdoktor.eu Andreas Schmidt
conference-publishing.com Conference Tables of Contents and Programs
caterinaurban.github.io Caterina Urban
cowl.ws COWL: A Confinement System for the Web
jnagele.net Julian Nagele
alexander-egyed.com Alexander Egyed (Research, Teaching, Tools, and Publications)
lepigre.fr Rodolphe Lepigre's webpage
tbrk.org Timothy Bourke
chatzi.org Kostas Chatzikokolakis
jiangshanyu.com Jiangshan Yu
eziobartocci.com Ezio Bartocci - Technische Universität Wien (TU Wien)
zenzike.com Home
emsig.net Embedded Systems Special Interest Group
ulrichschoepp.de Ulrich Schöpp
uwplse.github.io UW PLSE
yangzhixuan.github.io Zhixuan Yang
rmonat.fr Raphaël Monat
lkovacs.com Laura Kovács
ronquistlab.github.io The Ronquist Lab
zetzsche.xyz Georg Zetzsche
maria-a-schett.net Maria A Schett
raulpardo.net Raul Pardo's Homepage
takisaka.github.io Toru Takisaka's webpage
chaudhuri.info Kaustuv Chaudhuri
askarov.net Aslan Askarov
fpauck.de Felix Pauck - Personal Website
dlunde.github.io Daniel Lundén
davidpichardie.github.io David Pichardie - Home page
wrla2024.gitlab.io WRLA 2024
parof.github.io Francesco Parolini
ebjohnsen.org Einar Broch Johnsen
hanielbarbosa.com Haniel Barbosa
dylanm.org Dylan McDermott
chatziko.github.io Kostas Chatzikokolakis
mike-rainey.site Mike Rainey’s research page
piskachev.com Goran Piskachev
mwhicks1.github.io Michael Hicks
chc-comp.github.io CHC-COMP — » CHC-COMP
etaps.community ETAPS e. V.
gkastrinis.github.io George Kastrinis
patricegodefroid.github.io Patrice Godefroid's Home Page
dorchard.github.io Dominic Orchard
rlepigre.github.io Rodolphe Lepigre's webpage
dzufferey.github.io Damien Zufferey
jeremydubut.com Jérémy Dubut's webpage
keikonakata.github.io Keiko Nakata - Welcome
hrutvik.co.uk About me | Hrutvik Kanabar
conferences-computer.science A list of conferences in computer science
smaragd.org Yannis Smaragdakis
chengyuzhang.com Chengyu Zhang's Homepage
peldszus.com Sven Peldszus – Researcher and Software Engineer
marcocampion.github.io Marco Campion - Home Page
hajduakos.github.io About Me | Ákos Hajdu
andreipopescu.uk Andrei Popescu
stefanheule.com Stefan Heule
clemensdubslaff.de Clemens Dubslaff | Welcome
felixpauck.de Felix Pauck - Personal Website
nmacedo.github.io Nuno Macedo
qcomp.org QComp - qcomp.org
danelahman.github.io Danel Ahman
bbisping.de Benjamin Bisping's Research
jerem.yt Jérémy Thibault
liujed.net Jed Liu
karkhaz.com Kareem Khazem - Home
thomasferrere.com Thomas Ferrère
mlcert.org Gordon Stewart
dhil.io Daniel Hillerström | Huawei Zurich Research Center, Switzerland
benedikt-bollig.org Benedikt Bollig
diepbp.github.io About me - Phi Diep Bui
njansen123.github.io Nils Jansen.
amoeller.dk Anders Møller
mohammadi.eu Esfandiar Mohammadi
ahman.ee Danel Ahman
anchakarov.github.io Home: Aleksandar Chakarov
deian.org Deian Stefan
nicolaikraus.github.io Nicolai Kraus
feliperodri.github.io Felipe R. Monteiro
recursively.net Keiichi Watanabe
merascu.github.io Mădălina ERAŞCU
gpetri.github.io Gustavo Petri
dardinier.me Thibault Dardinier
heizmann.name heizmann.name
sergiomover.eu Home Page of Sergio Mover
peldszus.de Sven Peldszus – Researcher and Software Engineer
dddejan.github.io About me | Dejan Jovanović
willardthor.com Willard Rafnsson
florianlonsing.com Florian Lonsing
chrisn.me.uk Chris Novakovic
cormacflanagan.com Cormac Flanagan Homepage
sl-comp.github.io SL-COMP | Competition of Solvers for Separation Logic
ahmed-irfan.github.io About | Ahmed Irfan
cmath.eu Christoph Matheja
nkrusch.github.io Neea Rusch
ffrohn.github.io Florian Frohn
sstucki.github.io Sandro Stucki
jedliu.net Jed Liu