Search for tag: "interface"

Lowering the Barrier for Web Advertisement Research at Scale, Kai Ji (Kevin) Feng, UG '21 (2310672)

Web advertisements are essential to the day-to-day operations on the internet by providing a key channel of revenue to websites that offer content at little to no cost. However, they are also common…

From  Research Princeton Research Day on April 29th, 2021 3 likes 54 plays

AutoSVA: Democratizing Formal Verification of Hardware Module Interactions, Marcelo Vera, GS (2311653)

In academia and particularly at Princeton we have research groups making chip designs into silicon. In the industry you would have dedicated engineers doing verification, both simulating tests and…

From  Research Princeton Research Day on April 29th, 2021 4 likes 54 plays

CITP Seminar: Juan Gilbert – Can Voters Detect Ballot Manipulations with a Transparent Voting Machine?

Touch-screen ballot-marking devices (BMDs) produce paper ballots that are counted by optical-scan voting machines and can be recounted by hand. If the BMD is hacked or misprogrammed so that it prints…

From  CI Center for Information Technology Policy on April 1st, 2021 0 likes 47 plays

cos326-2020-12-02-module-choices

Ocaml Modules: Part 2: Design Choices

From  Daniel Macleod on August 16th, 2020 0 likes 148 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod on August 16th, 2020 0 likes 187 plays