Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Justin Whitaker

dblp:248/1643 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
2since 2021 · last 2025
0000-0002-8552-5361ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 2Applied, interdisciplinary, general and emerging computing · 2 · 2 first-author · 2 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
2 papers
Privacy and data protection · 100%
Software engineering, system software, and programming languages
1 paper
Program analysis · 100%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Privacy and data protection › privacy policy
privacy policy analysis
0.412020
Actions Speak Louder than Words: Entity-Sensitive Privacy Policy and Data Flow Analysis with PoliCheck · USENIX Security Symposium 2020
Program analysis
data flow analysis
0.112020
Actions Speak Louder than Words: Entity-Sensitive Privacy Policy and Data Flow Analysis with PoliCheck · USENIX Security Symposium 2020
Privacy and data protection
mobile app privacy
0.112019
PolicyLint: Investigating Internal Privacy Policy Contradictions on Google Play · USENIX Security Symposium 2019

Methods — techniques the papers use, named apart from their topics

natural language processing · 1.2data flow analysis · 0.9
YearPublicationVenuePosition
2025 Scheduling Battery-Electric Bus Charging Under Stochasticity Using a Receding-Horizon Approach
abstract
A significant challenge of adopting battery electric buses into fleets lies in scheduling the charging, which in turn is complicated by considerations such as timing constraints imposed by routes, long charging times, limited numbers of chargers, and utility cost structures. This work builds on previous network-flow-based charge scheduling approaches and includes both consumption and demand time-of-use costs while accounting for uncontrolled loads on the same meter. Additionally, a variable-rate, non-linear partial charging model compatible with the mixed-integer linear program (MILP) is developed for increased charging fidelity. To respond to feedback in an uncertain environment, the resulting MILP is adapted to a hierarchical receding horizon planner that utilizes a static plan for the day as a reference to follow while reacting to stochasticity on a regular basis. This receding horizon planner is analyzed with Monte-Carlo techniques alongside two other possible planning methods. It is found to provide up to 52% cost savings compared to a non-time-of-use aware method and significant robustness benefits compared to an optimal open-loop method.
Justin Whitaker, Derek Redmond, Greg N. Droge, Jacob H. Gunther
IEEE Trans. Intell. Transp. Syst.1
2023 A Network Flow Approach to Battery Electric Bus Scheduling
abstract
A major challenge to adopting battery electric buses into bus fleets is the scheduling of the battery charging while considering route timing constraints and battery charge. This work develops a scheduling framework to balance the use of slow and fast chargers assuming the bus routes and charger locations are fixed. Slow chargers are utilized when possible to lower the cost of charging and fast chargers are used when needed to meet timing constraints and to ensure a sufficient charge for route execution. A directed graph is used to model the available charge times for buses that periodically return to the station to pick up passengers and to recharge its battery. A constrained network flow Mixed-Integer Linear Program (MILP) problem is formulated to optimize the scheduling of chargers as well as to determine the number of chargers required to meet battery state of charge thresholds. Using a randomly generated route schedule for thirty buses, results are presented that demonstrate the ability of the proposed method to find optimal charging plans while considering time-of-use (TOU) costs and allowing for fixed and variable numbers of chargers. These optimal charging plans reduce costs up to 20.9% compared to a thresholding-based plan and up to 12.3% compared to an optimal strategy that does not consider the TOU costs.
Justin Whitaker, Greg N. Droge, Matthew Hansen, Daniel Mortensen, Jacob H. Gunther
IEEE Trans. Intell. Transp. Syst.1
2020 Actions Speak Louder than Words: Entity-Sensitive Privacy Policy and Data Flow Analysis with PoliCheck
Benjamin Andow, Samin Yaseer Mahmud, Justin Whitaker, William Enck, Bradley Reaves, Kapil Singh, Serge Egelman
USENIX Security Symposium3
2019 PolicyLint: Investigating Internal Privacy Policy Contradictions on Google Play
Benjamin Andow, Samin Yaseer Mahmud, Justin Whitaker, William Enck, Bradley Reaves, Kapil Singh, Tao Xie 0001
USENIX Security Symposium4