| CARVIEW |
Select Language
HTTP/2 200
date: Wed, 30 Jul 2025 21:39:43 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"c8d83993fc3241b077527ae38dc61ae8"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: no-referrer-when-downgrade
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=%2FCkMeBWGkyr%2BymgOaP8P5mzLoJpFZcztvWWgRFsiUPoVmnK7C8LhrxTW3xUHCf2143E9v1Wj3ObZmHrQlJVtStqy5%2FWR5vqlM9m3glZVC%2Br97VhtE1ENA79oMAKThSm2MAsuQrMT%2FA0X5WY8XwbUD3ltc8j%2FzP45%2Befs78k9g3SqB0bP87Bn7Y0I3WP0drNUdXrWuM1Lr0GC2GsBF%2FoZo0WT3bkTa32uNt8siMT9MV1LqrqN6q5loxmQBencievWIxP6qiH4a7XIW9rARS6JQg%3D%3D--sGL7bpWCIykTXBia--ou0Ag%2BMIVxuOjVZ8jKnPbA%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.1700802736.1753911582; Path=/; Domain=github.com; Expires=Thu, 30 Jul 2026 21:39:42 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Thu, 30 Jul 2026 21:39:42 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: C914:39F7D:57385:7DD6C:688A911E
JPF Day 2021 (Online) · javapathfinder/jpf-core Wiki · GitHub
Skip to content
Navigation Menu
{{ message }}
-
Notifications
You must be signed in to change notification settings - Fork 370
JPF Day 2021 (Online)
Yannic Noller edited this page Dec 4, 2021
·
3 revisions
Since 2008, ten times the Java PathFinder (JPF) workshop has been organized. Given the current pandemic, as in 2020 also this year we will organize a JPF day instead. On Saturday, December 4, a Zoom session will be held (15:00-17:45 UTC).
All times are in UTC.
| 15:00 - 15:10 | Opening |
| 15:10 - 15:55 | Invited Talk: Divya Gopinath Constraint-based repair of neural network classifiers |
| 15:55 - 16:00 | Short break |
| 16:00 - 16:05 | GSoC’2021 Overview and Results |
| 16:05 - 16:25 | Pu Yi, Pavel Parizek, Cyrille Artho Systematic Bit-Flip Fault Injection and Exploration using Java PathFinder |
| 16:25 - 16:45 | Parssa Khazra, Anto Nanah Ji, Matt Walker, Hongru Wang, Franck van Breugel jpf-ctl: CTL Model Checking of Java Code |
| 16:45 - 17:05 | Ward Muylaert, Coen De Roover Detecting Semantic Merge Conflicts with Symbolic Execution |
| 17:05 - 17:45 | Closing Panel Discussion |
For those interested in participating, please send an email to javapathfinder21@gmail.com with the subject JPF 2021. The receipt of your email will be acknowledged and the Zoom details will be emailed to you one day in advance of the meeting.
Additionally, we encourage you to join the official JPF Day 2021 discord server where you can engage in project-specific discussions with the authors, ask JPF-related questions, or just hang out during the event. We hope to see you there!
- Yannic Noller, National University of Singapore
- Franck van Breugel, York University, Toronto
Please contact us by creating an issue. We are trying to fix the process below, which no longer works.
-
How to obtain and install JPF
- System requirements
- Downloading
- Creating a site properties file
- Building, testing, and running
- JPF plugins
-
Developer guide
- Top-level design
- Key mechanisms
- Extension mechanisms
- Common utilities
- Running JPF from within your application
- Writing JPF tests
- Coding conventions
- Hosting an Eclipse plugin update site
Clone this wiki locally
You can’t perform that action at this time.