PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements (APLAS 2025 - The 8th Workshop on New Ideas and Emerging Results in Programming Languages and Systems) - APLAS 2025

Mon 27 - Thu 30 October 2025 Bengaluru, India

Who

Inzemamul Haque, Pankaj Siwan, Indranil Saha

Track

APLAS 2025 ATVA and APLAS NIER

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 27 Oct 2025 12:00 - 12:30 at R102 - NIER 2

Inzemamul Haque

Indian Institute of Technology Kanpur

Pankaj Siwan

Indranil Saha

IIT Kanpur

India

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Mon 27 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

	11:00 - 12:30	NIER 2ATVA and APLAS NIER at R102

	11:00 30m Talk		Property Grouping and Context-Aware Runtime Enforcement ATVA and APLAS NIER Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA
	11:30 30m Talk		Compositional Probabilistic Model Checking with String Diagrams of MDPs ATVA and APLAS NIER Ichiro Hasuo National Institute of Informatics, Japan
	12:00 30m Talk		PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements ATVA and APLAS NIER Inzemamul Haque Indian Institute of Technology Kanpur, Pankaj Siwan , Indranil Saha IIT Kanpur

Hide past events