More Like this

1. The AD+ Conjecture and the Continuum Hypothesis

   https://doi.org/10.1090/proc/16214  

   Trang, Nam (April 2023, Proceedings of the American Mathematical Society)

   We show that Woodin’s AD+ Conjecture follows from various hypotheses extending the Continuum Hypothesis (CH). These results complement Woodin’s original result that the AD+ Conjecture follows from MM(c). 

   more » « less
2. The Continuous-Time Inventory-Routing Problem

   https://doi.org/10.1287/trsc.2019.0902  

   Lagos, Felipe; Boland, Natashia; Savelsbergh, Martin (March 2020, Transportation Science)

   null (Ed.)

   We consider a continuous time variant of the Inventory Routing Problem in which the maximum quantity that can delivered at a customer depends on the customer's storage capacity and product inventory at the time of the delivery. We investigate critical components of a dynamic discretization discovery algorithm and demonstrate in an extensive computational study that these components are sufficient to produce provably high-quality, often optimal, solutions. 

   more » « less
3. Detecting Anti Ad-blockers in the Wild

   Muhammad Haris Mughees, Zhiyun Qian (January 2017, Privacy Enhancing Technologies Symposium (PETS))
4. Detecting Anti Ad-blockers in the Wild

   https://doi.org/10.1515/popets-2017-0032  

   Mughees, Muhammad Haris; Qian, Zhiyun; Shafiq, Zubair (July 2017, Proceedings on Privacy Enhancing Technologies)

   Abstract The rise of ad-blockers is viewed as an economic threat by online publishers who primarily rely on online advertising to monetize their services. To address this threat, publishers have started to retaliate by employing anti ad-blockers , which scout for ad-block users and react to them by pushing users to whitelist the website or disable ad-blockers altogether. The clash between ad-blockers and anti ad-blockers has resulted in a new arms race on the Web. In this paper, we present an automated machine learning based approach to identify anti ad-blockers that detect and react to ad-block users. The approach is promising with precision of 94.8% and recall of 93.1%. Our automated approach allows us to conduct a large-scale measurement study of anti ad-blockers on Alexa top-100K websites. We identify 686 websites that make visible changes to their page content in response to ad-block detection. We characterize the spectrum of different strategies used by anti ad-blockers. We find that a majority of publishers use fairly simple first-party anti ad-block scripts. However, we also note the use of third-party anti ad-block services that use more sophisticated tactics to detect and respond to ad-blockers. 

   more » « less
5. Partial type constructors: or, making ad hoc datatypes less ad hoc

   https://doi.org/10.1145/3371108  

   Jones, Mark_P; Morris, J_Garrett; Eisenberg, Richard_A (December 2019, Proceedings of the ACM on Programming Languages)

   Functional programming languages assume that type constructors are total. Yet functional programmers know better: counterexamples range from container types that make limiting assumptions about their contents (e.g., requiring computable equality or ordering functions) to type families with defining equations only over certain choices of arguments. We present a language design and formal theory of partial type constructors, capturing the domains of type constructors using qualified types. Our design is both simple and expressive: we support partial datatypes as first-class citizens (including as instances of parametric abstractions, such as the Haskell Functor and Monad classes), and show a simple type elaboration algorithm that avoids placing undue annotation burden on programmers. We show that our type system rejects ill-defined types and can be compiled to a semantic model based on System F. Finally, we have conducted an experimental analysis of a body of Haskell code, using a proof-of-concept implementation of our system; while there are cases where our system requires additional annotations, these cases are rarely encountered in practical Haskell code. 

   more » « less