0 results

People (10 results)
Philip Zucker

Philip Zucker


… A member of the formal methods group at Draper Labs, working on a constraint based compiler and binary verification using BAP. Interested in all things Datalog. …

Samuel Coward

Samuel Coward

Imperial College London, UK / Intel Corporation

… Hi, I’m currently an Imperial College London PhD student in the Circuits and Systems Group, under the supervision of Professor George Constantinides. My research looks at all aspects of numerical hardware design and how we can create fast …

Işıl Dillig

Işıl Dillig

University of Texas at Austin

all her degrees (BS, MS, and PhD) from Stanford University. …

Events (45 results)

Why can’t we all just get along? Training SA and AI tools to communicate

ASA 2023 When: Sat 17 Jun 2023 16:00 - 16:45 People: Yaniv David

… …

Covering All the Bases: Type-Based Verification of Test Input Generators

PLDI Research Papers When: Mon 19 Jun 2023 10:40 - 11:00 People: Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan

… expected of these generators is that they be capable of producing _all

HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms

ARRAY 2023 When: Sun 18 Jun 2023 14:00 - 14:30 People: Bjorn Lisper, Linus Källberg

… HERO-ML is an array language, on very high level, which is intended for
specifying data parallel algorithms in a concise and platform-independent
way where all the inherent data parallelism is easy to identify. The goal is to support …

ItyFuzz: Snapshot-Based Fuzzer for Onchain Smart Contract Auditing

ASA 2023 People: Koushik Sen

… Smart contracts are critical financial instruments, and their security is paramount. However, smart contract programs are challenging to fuzz due to the persistent blockchain state behind all transactions. Mutating sequences …

Attending Information (4 results)


… PLDI 2023 will be a part of ACM FCRC 2023 this year, and all conference registration will be handled through FCRC 2023. You may register here. …


… the ESTA page.

All … letters, refer all requests to [FCRC’s visa support letter request page](https …


… Sign up to be a Volunteer and help us make PLDI 2023 a great experience for all attendants!

PLDI 2023 is pleased to offer a number of opportunities … all timezones are welcome.

About Volunteering

The skills, talents …

Tracks (13 results)

Workshop on Distributions, Relational Algebra, Graphs, Semi-Rings, Tensors, and All That

… , and All That (aka. DRAGSTERS)

Over the last decade, researchers working … and irregular data * Data-structure synthesis * Datalog connections for all …. All submissions and reviews will take place on [HotCRP](https …


… will be organized as a hybrid event. Most speakers and all panelists … to creating a welcoming, inclusive, diverse environment that provides space for all … the research community.

PLMW values the physical and mental well-being of all

Libraries, Languages and Compilers for Array Programming

… .

The ARRAY series of workshops explores all aspects of array programming … and extended abstracts. All submissions should be formatted in conformance with the ACM … hardware, by fully automatic and user-assisted means.

All submissions must …

General (13 results)

SOAP 2023 Homepage

… SOAP 2023 Welcome to the website of the SOAP 2023 conference. We are working hard to fill the website with all related information. Please check back soon! 63211f36-edb8-434f-ade5-a3deb3902df6 …

PLMW@PLDI 2023 Homepage

… PLMW@PLDI 2023 Welcome to the website of the PLMW@PLDI 2023 conference. We are working hard to fill the website with all related information. Please check back soon! b04dca92-6209-41b4-a205-a4cea8d389b5 …

ASA 2023 Homepage

… ASA 2023 Welcome to the website of the ASA 2023 conference. We are working hard to fill the website with all related information. Please check back soon! …