All PLSE Meetings
Aggregated PLSE schedule.
Date | Who | What |
---|---|---|
Sun, Mar 8
2:30pm-3:30pm
|
- Room: CSE 203
|
Programming with Constraints Reading GroupNo meeting (Visit days) |
Tue, Jun 23
11:30am-12:30pm
|
James W Room: CSE 203
|
Underground Reading Group100 Impossibility Proofs for Distributed Computing |
Wed, Jun 24
11:00am-12:00pm
|
James W Room: CSE 203
|
Underground Reading GroupSeparation Logic: A Logic for Shared Mutable Data Structures Installing VST. Coq 8.4pl4. CompCert 2.4. VST 1.5. VST manual |
Thu, Jun 25
11:00am-12:00pm
|
James W Room: CSE 203
|
Underground Reading GroupElimination with a motive |
Tue, Jun 30
11:30am-12:30pm
|
Naveen Room: CSE 203
|
Underground Reading GroupViewstamped Replication Revisted |
Wed, Jul 1
11:00am-12:00pm
|
Doug Room: CSE 203
|
Underground Reading GroupProgram Logics for Certified Compilers, Part 1 |
Tue, Jul 7
11:30am-12:30pm
|
Doug Room: CSE 203
|
Underground Reading GroupKnowledge and common knowledge in a distributed environment |
Tue, Jul 14
11:30am-12:30pm
|
Pavel Room: CSE 203
|
Underground Reading GroupUnreliable failure detectors for reliable distributed systems |
Wed, Jul 15
11:00am-12:00pm
|
—
Room: CSE 203
|
Underground Reading GroupProgram Logics for Certified Compilers, Part 2 |
Thu, Jul 16
11:00am-12:00pm
|
—
Room: CSE 203
|
Underground Reading GroupEliminating Dependent Pattern Matching |
Tue, Jul 21
11:30am-12:30pm
|
Anna Room: CSE 203
|
Underground Reading GroupImplementing remote procedure calls |
Wed, Jul 22
11:00am-12:00pm
|
—
Room: CSE 203
|
Underground Reading Group(no meeting due to James being in the zone) |
Thu, Jul 23
11:00am-12:00pm
|
—
Room: CSE 203
|
Underground Reading GroupObservational equality, now! |
Tue, Jul 28
11:30am-12:30pm
|
Ellis Room: CSE 203
|
Underground Reading GroupZab High-performance broadcast for primary-backup systems |
Wed, Jul 29
11:00am-12:00pm
|
—
Room: CSE 303
|
Underground Reading GroupProgram Logics for Certified Compilers, Part 3 |
Thu, Jul 30
2:30pm-3:30pm
|
—
Room: CSE 203
|
Underground Reading GroupInnovations in computational type theory using Nuprl |
Tue, Aug 4
11:30am-12:30pm
|
Tom! Room: CSE 203
|
Underground Reading GroupA Logic of Authentication |
Wed, Aug 5
11:00am-12:00pm
|
—
Room: CSE 203
|
Underground Reading GroupInstall VST |
Thu, Aug 6
2:30pm-3:30pm
|
—
Room: CSE 203
|
Underground Reading GroupIntuitionistic Type Theory |
Tue, Aug 11
11:30am-12:30pm
|
Brandon Room: CSE 203
|
Underground Reading GroupManaging Update Conflicts in Bayou, a weakly connected replicated storage system |
Thu, Aug 13
2:30pm-3:30pm
|
—
Room: CSE 203
|
Underground Reading GroupA Simplification of Girard’s Paradox |
Tue, Aug 18
11:30am-12:30pm
|
—
Room: CSE 203
|
Underground Reading Groupno meeting this week |
Thu, Aug 20
2:30pm-3:30pm
|
—
Room: CSE 203
|
Underground Reading GroupChapter 1 of Advanced Topics in Types and Programming Languages by Pierce |
Tue, Aug 25
11:30am-12:30pm
|
Katelin Room: CSE 203
|
Underground Reading GroupEnd-to-end arguments in system design |
Thu, Aug 27
2:30pm-3:30pm
|
—
Room: CSE 203
|
Underground Reading GroupA Polymorphic Modal Type System for Lisp-Like Multi-Staged Languages |
Tue, Sep 1
11:30am-12:30pm
|
James W Room: CSE 203
|
Underground Reading GroupSelf-stabilizing systems in spite of distributed control |
Wed, Sep 30
3:30pm-4:30pm
|
Everyone Room: CSE 203
|
590P: PL Reading GroupPaper Selection |
Thu, Oct 1
2:30pm-3:30pm
|
James W Room: CSE 203
|
Underground Reading GroupIn Search of Types (optional) Organizational meeting |
Fri, Oct 2
3:30pm-4:30pm
|
Everyone Room: CSE 203
|
PLSE Group Meeting2-minute madness |
Mon, Oct 5
3:30pm-4:30pm
|
Everyone Room: CSE 203
|
590N: SE Reading GroupSelect papers |
Tue, Oct 6
2:30pm-3:30pm
|
Everyone Room: CSE 203
|
Programming with Constraints Reading GroupSelect papers |
Wed, Oct 7
3:30pm-4:30pm
|
Bill, Sam, Calvin Room: CSE 203
|
590P: PL Reading GroupThe Next 700 Programming Languages |
Thu, Oct 8
2:30pm-3:30pm
|
James W Room: CSE 674
|
Underground Reading GroupSkim introduction; Read Chapter 1, Sections 1 through 7 For background on the simply typed lambda calculus, see Chapter 9 of Pierce’s Types and Programming Languages (there is a copy in the lab and several of us have copies). |
Fri, Oct 9
2:30pm-3:20pm
|
Daniel von Dincklage (Google) Room: EEB 037
|
PLSE Group MeetingYedalog |
Mon, Oct 12
3:30pm-4:30pm
|
Daryl Zuniga Room: CSE 203
|
590N: SE Reading GroupThe Emperor’s Old Clothes (C.A.R. Hoare Turing Award Speech) |
Tue, Oct 13
2:30pm-3:30pm
|
Alex S and Calvin Room: CSE 203
|
Programming with Constraints Reading GroupNondeterministic Algorithms |
Wed, Oct 14
3:30pm-4:30pm
|
Nate, Talia, James Room: CSE 203
|
590P: PL Reading GroupAbstracting Abstract Machines Matt Might has good blog posts on CEK machines and CESK machines |
Thu, Oct 15
2:30pm-3:30pm
|
Konne Room: CSE 203
|
Underground Reading GroupFinish Chapter 1 |
Fri, Oct 16
3:30pm-4:30pm
|
Konstantin, Maaz Room: CSE 203
|
PLSE Group MeetingAffiliates Practice Talks |
Mon, Oct 19
3:30pm-4:30pm
|
Nate Yazdani Room: CSE 203
|
590N: SE Reading GroupMultiSE: Multi-Path Symbolic Execution using Value Summaries (FSE ‘15) |
Tue, Oct 20
2:30pm-3:30pm
|
- Room: CSE 203
|
Programming with Constraints Reading GroupNo meeting (Affiliates) |
Wed, Oct 21
3:30pm-4:30pm
|
Brandon H., John Room: CSE 203
|
590P: PL Reading GroupIncremental Computation with Names |
Thu, Oct 22
2:30pm-3:30pm
|
Pavel Room: CSE 203
|
Underground Reading GroupRe-read 1.12 on equality Take a look at the first part of Pavel’s blog post on equality. |
Fri, Oct 23
3:30pm-4:30pm
|
Brian Burg Room: CSE 203
|
PLSE Group MeetingExplaining Visual Changes in User Interfaces (UIST’15 Practice Talk, 1/2 slot available) |
Mon, Oct 26
3:30pm-4:30pm
|
Calvin Loncaric Room: CSE 203
|
590N: SE Reading GroupAutomated Structure Generation: Refuting Common Wisdom (ICSE ‘15) |
Tue, Oct 27
2:30pm-3:30pm
|
Talia and Julie Room: CSE 203
|
Programming with Constraints Reading GroupModular Synthesis of Sketches Using Models |
Wed, Oct 28
3:30pm-4:30pm
|
Martin Monperrus Room: CSE 203
|
590P: PL Reading GroupLatest Results on Automatic Software Repair Automatic software repair is the process of fixing software bugs automatically. This is a recent and active research area in the software engineering community. Before having a large impact on practice, research tries to understand the fundamental strengths and weaknesses of current repair algorithms. This talk presents the results of a recent experiment on repairing 224 real Java bugs from open source projects. |
Thu, Oct 29
2:30pm-3:30pm
|
Doug Woooooos Room: CSE 203
|
Underground Reading GroupChapter 2 through and including 2.3 |
Fri, Oct 30
3:30pm-4:30pm
|
- Room: CSE 203
|
PLSE Group MeetingNo meeting |
Mon, Nov 2
3:30pm-4:30pm
|
Michael Ernst + Zach Tatlock Room: CSE 203
|
590N: SE Reading GroupAn Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems |
Tue, Nov 3
2:30pm-3:30pm
|
Dominik and Doug Room: CSE 203
|
Programming with Constraints Reading GroupFunctional Reactive Animation |
Wed, Nov 4
3:30pm-4:30pm
|
Alex S., Doug, Spencer, Daryl Room: CSE 203
|
590P: PL Reading GroupPartial Evaluation of Computation Process: An Approach to a Compiler-Compiler |
Thu, Nov 5
2:30pm-3:30pm
|
John Toman Room: CSE 203
|
Underground Reading GroupRe-read 2.2 and 2.3 |
Fri, Nov 6
3:30pm-4:30pm
|
James Wilcox / Stuart Pernsteiner Room: CSE 203
|
PLSE Group MeetingArray Shadow State Compression for Precise Dynamic Race Detection Crust: A Bounded Verifier for Rust |
Mon, Nov 9
3:30pm-4:30pm
|
James Wilcox Room: CSE 203
|
590N: SE Reading GroupEmpirical study towards a leading indicator for cost of formal software verification |
Tue, Nov 10
2:30pm-3:30pm
|
Jared, Eric, Chandrakana Room: CSE 203
|
Programming with Constraints Reading GroupProgramming with Enumerable Sets of Structures |
Wed, Nov 11
3:30pm-4:30pm
|
– Room: CSE 203
|
590P: PL Reading GroupNo meeting (Veterans Day) |
Thu, Nov 12
2:30pm-3:30pm
|
Pavel Panchekha Room: CSE 203
|
Underground Reading Group2.4–2.5 |
Fri, Nov 13
3:30pm-4:30pm
|
Brandon Myers Room: CSE 203
|
PLSE Group MeetingBringing Query Processing into High Performance Languages |
Mon, Nov 16
3:30pm-4:30pm
|
Amanda Swearngin + Doug Woos Room: CSE 203
|
590N: SE Reading GroupWhy Good Developers Write Bad Code |
Tue, Nov 17
2:30pm-3:30pm
|
James W and John Room: CSE 203
|
Programming with Constraints Reading GroupPredicting Learnt Clauses Quality in Modern SAT Solvers |
Wed, Nov 18
3:30pm-4:30pm
|
Chandra, Stuart, Konne Room: CSE 203
|
590P: PL Reading GroupVerified Correctness and Security of OpenSSL HMAC see also the SHA256 paper |
Thu, Nov 19
2:30pm-3:30pm
|
– Room: CSE 203
|
Underground Reading GroupNo meeting (PLDI deadline) |
Fri, Nov 20
3:30pm-4:30pm
|
Alan Borning Room: CSE 203
|
PLSE Group MeetingConstraints for Interactive Systems: from ThingLab to Wallingford |
Mon, Nov 23
3:30pm-4:30pm
|
Julie Newcomb Room: CSE 203
|
590N: SE Reading GroupAlloy*: A General-Purpose Higher-Order Relational Constraint Solver (ICSE ‘15) |
Tue, Nov 24
2:30pm-3:30pm
|
Chenglong Room: CSE 203
|
Programming with Constraints Reading GroupFlapjax: A Programming Language for Ajax Applications |
Wed, Nov 25
3:30pm-4:30pm
|
– Room: CSE 203
|
590P: PL Reading GroupNo meeting (Thanksgiving) |
Thu, Nov 26
2:30pm-3:30pm
|
– Room: CSE 203
|
Underground Reading GroupNo meeting (Thanksgiving) |
Fri, Nov 27
3:30pm-4:30pm
|
– Room: CSE 203
|
PLSE Group MeetingNo meeting (Thanksgiving) |
Mon, Nov 30
3:30pm-4:30pm
|
Colin Scott Room: CSE 203
|
590N: SE Reading GroupDynamic Generation of Likely Invariants for Multithreaded Programs (ICSE ‘15) |
Tue, Dec 1
2:30pm-3:30pm
|
Stuart and Nate Room: CSE 203
|
Programming with Constraints Reading GroupCurry, a functional logic programming language |
Wed, Dec 2
3:30pm-4:30pm
|
Jared, Eric M. Room: CSE 203
|
590P: PL Reading GroupPilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language |
Thu, Dec 3
2:30pm-3:30pm
|
James W Room: CSE 203
|
Underground Reading Group2.6–2.9 |
Fri, Dec 4
3:30pm-4:30pm
|
Calvin Loncaric Room: CSE 203
|
PLSE Group MeetingData Structure Synthesis (quals talk) |
Mon, Dec 7
3:30pm-4:30pm
|
Spencer Pearson Room: CSE 203
|
590N: SE Reading GroupFuzzing with Code Fragments |
Tue, Dec 8
2:30pm-3:30pm
|
Alex P and James B Room: CSE 203
|
Programming with Constraints Reading GroupOn Counterexample Guided Quantifier Instantiation for Synthesis in CVC4 |
Wed, Dec 9
3:30pm-4:30pm
|
Chenglong, Alex P., Pavel Room: CSE 203
|
590P: PL Reading GroupEfficient Synthesis of Probabilistic Programs |
Thu, Dec 10
2:30pm-3:30pm
|
James W Room: CSE 203
|
Underground Reading Groupfinish chapter 2 |
Fri, Dec 11
3:30pm-4:30pm
|
Incarnate Team Room: CSE 203
|
PLSE Group MeetingClosing the 3D Printing Error Loop |
Mon, Jan 4
3:30pm-4:30pm
|
Everyone Room: CSE 203
|
590N: SE Reading GroupPaper Selection |
Tue, Jan 5
2:30pm-3:30pm
|
Everyone Room: CSE 203
|
Programming with Constraints Reading GroupSelect papers and schedule tool sessions |
Wed, Jan 6
3:30pm-4:30pm
|
Everyone Room: CSE 203
|
590P: PL Reading GroupPaper Selection |
Thu, Jan 7
2:30pm-3:30pm
|
James W Room: CSE 624
|
Underground Reading GroupOrganizational meeting |
Fri, Jan 8
3:30pm-4:30pm
|
Nadia Polikarpova (MIT) Room: CSE 203
|
PLSE Group MeetingProgram Synthesis from Refinement Types |
Mon, Jan 11
3:30pm-4:30pm
|
Calvin Loncaric Room: CSE 203
|
590N: SE Reading GroupHey, You Have Given Me Too Many Knobs! |
Tue, Jan 12
2:30pm-3:30pm
|
Calvin and Talia Room: CSE 203
|
Programming with Constraints Reading GroupIntegrating constraint satisfaction techniques with complex object structures |
Wed, Jan 13
3:30pm-4:30pm
|
Bartosz and Marisa Room: CSE 203
|
590P: PL Reading GroupComprehending Monads |
Thu, Jan 14
2:30pm-3:30pm
|
Doug Room: CSE 203
|
Underground Reading GroupObservational Equality Now |
Fri, Jan 15
3:30pm-4:30pm
|
James W. Room: CSE 203
|
PLSE Group MeetingPlanning for Change in a Formal Verification of the Raft Consensus protocol (CPP practice talk) |
Mon, Jan 18
3:30pm-4:30pm
|
No meeting Room: CSE 203
|
590N: SE Reading GroupMLK Day |
Tue, Jan 19
2:30pm-3:30pm
|
Sam and Alex Room: CSE 203
|
Programming with Constraints Reading GroupConstraints as Control |
Wed, Jan 20
3:30pm-4:30pm
|
Ben and John Room: CSE 203
|
590P: PL Reading GroupAccess-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis With Unbounded Access Paths |
Thu, Jan 21
2:30pm-3:30pm
|
—
Room: CSE 624
|
Underground Reading GroupTBD |
Fri, Jan 22
3:30pm-4:30pm
|
- Room: CSE 203
|
PLSE Group MeetingNo meeting (POPL) |
Mon, Jan 25
3:30pm-4:30pm
|
Julie Newcomb Room: CSE 203
|
590N: SE Reading GroupFlexJava |
Tue, Jan 26
2:30pm-3:30pm
|
Alan Room: CSE 203
|
Programming with Constraints Reading GroupWallingford: Toward a Constraint Reactive Programming Language For background see Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages |
Wed, Jan 27
3:30pm-4:30pm
|
Doug and Pavel Room: CSE 203
|
590P: PL Reading GroupDependent Types and Multi-Monadic Effects in F* |
Thu, Jan 28
2:30pm-3:30pm
|
Alex Room: CSE 624
|
Underground Reading GroupA Formulae-as-Types Notion of Control |
Fri, Jan 29
3:30pm-4:30pm
|
Grigory Fedyukovich Room: CSE 203
|
PLSE Group MeetingAutomated Incremental Software Verification |
Mon, Feb 1
3:30pm-4:30pm
|
Spencer Pearson Room: CSE 203
|
590N: SE Reading GroupHow Developers Search for Code: A Case Study |
Tue, Feb 2
2:30pm-3:30pm
|
Pavel Room: CSE 203
|
Programming with Constraints Reading GroupCassius |
Wed, Feb 3
3:30pm-4:30pm
|
Talia and Alex S. Room: CSE 203
|
590P: PL Reading GroupA Unification Algorithm for COQ Featuring Universe Polymorphism and Overloading |
Thu, Feb 4
2:30pm-3:30pm
|
Sam Room: CSE 203
|
Underground Reading GroupTuring-Completeness Totally Free |
Fri, Feb 5
3:30pm-4:30pm
|
PLSE Room: CSE 203
|
PLSE Group MeetingPlease help set up for the PLSE-hosted TGIF! |
Mon, Feb 8
3:30pm-4:30pm
|
James Wilcox Room: CSE 203
|
590N: SE Reading GroupStaged Program Repair with Condition Synthesis |
Tue, Feb 9
2:30pm-3:30pm
|
Eric Butler Room: CSE 203
|
Programming with Constraints Reading GroupAlgebra Synthesis |
Wed, Feb 10
3:30pm-4:30pm
|
Eric and Stuart Room: CSE 203
|
590P: PL Reading GroupSound Type-Dependent Syntactic Language Extension |
Thu, Feb 11
2:30pm-3:30pm
|
Bartosz Room: CSE 203
|
Underground Reading GroupCategory Theory intro - Part 1 of Bartosz’s blog |
Fri, Feb 12
3:30pm-4:30pm
|
Ryan Beckett (Princeton) Room: CSE 203
|
PLSE Group MeetingDon’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations |
Mon, Feb 15
3:30pm-4:30pm
|
No meeting Room: CSE 203
|
590N: SE Reading GroupPresidents’ Day |
Tue, Feb 16
2:30pm-3:30pm
|
Julian Room: CSE 203
|
Programming with Constraints Reading GroupAnswer Set Programming |
Wed, Feb 17
3:30pm-4:30pm
|
Alex P. and Calvin Room: CSE 203
|
590P: PL Reading GroupIn Search of Types |
Thu, Feb 18
2:30pm-3:30pm
|
Konstantin Room: CSE 303
|
Underground Reading GroupFrom Sets to Types to Categories to Sets |
Fri, Feb 19
3:30pm-4:30pm
|
Sam Elliott Room: CSE 203
|
PLSE Group MeetingA short exploration of PLT Redex and Linear Types |
Mon, Feb 22
3:30pm-4:30pm
|
Zach Tatlock Room: CSE 203
|
590N: SE Reading GroupGuided Differential Testing of Certificate Validation in SSL/TLS Implementations |
Tue, Feb 23
2:30pm-3:30pm
|
Arvind Room: CSE 203
|
Programming with Constraints Reading GroupVega |
Wed, Feb 24
3:30pm-4:30pm
|
Chenglong and Konstantin Room: CSE 203
|
590P: PL Reading GroupPractical Principled FRP |
Thu, Feb 25
2:30pm-3:30pm
|
– Room: CSE 203
|
Underground Reading GroupNo meeting |
Fri, Feb 26
3:30pm-4:30pm
|
Keith Butler Room: CSE 203
|
PLSE Group MeetingModel Checking User Interfaces |
Mon, Feb 29
3:30pm-4:30pm
|
Michael Ernst Room: CSE 203
|
590N: SE Reading GroupGRT: Program-Analysis-Guided Random Testing |
Tue, Mar 1
2:30pm-3:30pm
|
Julie Room: CSE 203
|
Programming with Constraints Reading GroupHints DSL |
Wed, Mar 2
3:30pm-4:30pm
|
James B. and Bill Room: CSE 203
|
590P: PL Reading GroupThe Silently Shifting Semicolon |
Thu, Mar 3
2:30pm-3:30pm
|
Nate and ?? Room: CSE 203
|
Underground Reading GroupType Theory in Type Theory using Quotient Inductive Types |
Fri, Mar 4
3:30pm-4:30pm
|
Everyone Room: CSE 203
|
PLSE Group MeetingVisit days prep? |
Mon, Mar 7
3:30pm-4:30pm
|
Doug Woos Room: CSE 203
|
590N: SE Reading GroupCopy and Paste Redeemed |
Wed, Mar 9
3:30pm-4:30pm
|
- Room: CSE 203
|
590P: PL Reading GroupNo meeting (visit days) |
Fri, Mar 11
3:30pm-4:30pm
|
Archaeopteryx Room: CSE 203
|
PLSE Group MeetingIntroduction to Equality in Dependent Type Theory |
Mon, Mar 28
3:30pm-4:30pm
|
Michael Ernst Room: CSE 203
|
590N: SE Reading GroupFrom Word Embeddings To Document Similarities for Improved Information Retrieval in Software Engineering |
Tue, Mar 29
2:30pm-3:30pm
|
Everyone Room: CSE 203
|
Underground Constraints Reading GroupPaper Selection |
Wed, Mar 30
3:30pm-4:30pm
|
James B Room: CSE 203
|
590P: PLSE Seminar‘Specifying and Checking File System Crash-Consistency Models’ ASPLOS practice talk |
Thu, Mar 31
2:30pm-3:30pm
|
everyone Room: CSE 674
|
Underground Reading GroupOrganizational meeting |
Fri, Apr 1
3:30pm-4:30pm
|
Mangpo Room: CSE 203
|
PLSE Group Meeting‘Scaling Up Superoptimization’ ASPLOS practice talk |
Mon, Apr 4
3:30pm-4:30pm
|
James W Room: CSE 203
|
590N: SE Reading GroupGuiding Dynamic Symbolic Execution Toward Unverified Program Executions |
Tue, Apr 5
2:30pm-3:30pm
|
Alex Room: CSE 674 (Irish)
|
Underground Constraints Reading GroupSynthesizing Transformations on Hierarchically Structured Data |
Wed, Apr 6
3:30pm-4:30pm
|
Leonardo de Moura (MSR) Room: CSE 203
|
590P: PLSE SeminarThe Lean Theorem Prover |
Thu, Apr 7
2:30pm-3:30pm
|
James W Room: CSE 674
|
Underground Reading GroupBreaking Through the Normalization Barrier: A Self-Interpreter for F-omega |
Fri, Apr 8
3:30pm-4:30pm
|
– Room: CSE 203
|
PLSE Group Meeting– |
Mon, Apr 11
3:30pm-4:30pm
|
Doug Room: CSE 203
|
590N: SE Reading GroupCrowdie: Feedback-Directed Instrumentation for Deployed JavaScript Applications |
Tue, Apr 12
2:30pm-3:30pm
|
Nate Room: CSE 674 (Irish)
|
Underground Constraints Reading GroupAn Overview of the Leon Verification System Including a Demo |
Wed, Apr 13
3:30pm-4:30pm
|
Canceled Room: CSE 203
|
590P: PLSE SeminarCanceled |
Fri, Apr 15
2:30pm-3:30pm
|
Doug Woos Room: CSE 674
|
Underground Reading GroupLearning Invariants using Decision Trees and Implication Counterexamples and please skim Decidability of Inferring Inductive Invariants |
Fri, Apr 15
3:30pm-4:30pm
|
Mooly Sagiv (outside speaker, University of Tel Aviv) Room: CSE 203
|
PLSE Group MeetingVerifying Safety of Distributed Systems |
Mon, Apr 18
3:30pm-4:30pm
|
Talia Room: CSE 203
|
590N: SE Reading GroupTricorder: Building a Program Analysis Ecosystem |
Tue, Apr 19
2:30pm-3:30pm
|
Alan Room: CSE 674 (Irish)
|
Underground Constraints Reading GroupSurvey of Reactive Programming |
Wed, Apr 20
3:30pm-4:30pm
|
Nate Yazdani and Ras Bodik Room: CSE 203
|
590P: PLSE SeminarParallelizing Browser Layout |
Fri, Apr 22
2:30pm-3:30pm
|
Doug and James Room: CSE 674
|
Underground Reading GroupIvy: Safety Verification by Interactive Generalization |
Fri, Apr 22
3:30pm-4:30pm
|
Cristina Nita-Rotaru (outside speaker, Northeastern University) Room: CSE 203
|
PLSE Group MeetingAdversarial Testing and Compliance Checking of Protocol Implementations |
Mon, Apr 25
3:30pm-4:30pm
|
Chenglong Room: CSE 203
|
590N: SE Reading GroupAn Analysis of the Search Spaces for Generate and Validate Patch Generation Systems |
Tue, Apr 26
2:30pm-3:30pm
|
Chenglong Room: CSE 674 (Irish)
|
Underground Constraints Reading GroupConditionally Correct Superoptimization |
Wed, Apr 27
3:30pm-4:30pm
|
External visitor prep Room: CSE 203
|
590P: PLSE SeminarTBD |
Fri, Apr 29
2:30pm-3:30pm
|
Talia Room: CSE 674
|
Underground Reading GroupF-ing Modules |
Fri, Apr 29
3:30pm-4:30pm
|
– Room: CSE 203
|
PLSE Group MeetingTBD |
Mon, May 2
3:30pm-4:30pm
|
Julie Newcomb Room: CSE 203
|
590N: SE Reading GroupWork Practices and Challenges in Pull-Based Development: The Contributor’s Perspective |
Tue, May 3
2:30pm-3:30pm
|
Julie Room: CSE 674 (Irish)
|
Underground Constraints Reading GroupHints DSL Demo + Experiment |
Wed, May 4
3:30pm-4:30pm
|
– Room: CSE 203
|
590P: PLSE Seminar(DARPA Sandcat visit) |
Fri, May 6
2:30pm-3:30pm
|
Nate Room: CSE 674
|
Underground Reading GroupCubical Type Theory |
Fri, May 6
3:30pm-4:30pm
|
John Room: CSE 203
|
PLSE Group Meeting(Quals Talk) Staccato: A Bug-Finder for Dynamic Configuration Updates |
Mon, May 9
3:30pm-4:30pm
|
John Room: CSE 203
|
590N: SE Reading GroupEfficient Large-scale Trace Checking Using MapReduce |
Tue, May 10
2:30pm-3:30pm
|
Sam Room: CSE 674 (Irish)
|
Underground Constraints Reading GroupProgram Synthesis From Polymorphic Refinement Types |
Wed, May 11
3:30pm-4:30pm
|
Shaz Qadeer, Microsoft Room: CSE 203
|
590P: PLSE SeminarProgramming Devices and Services with P |
Fri, May 13
2:30pm-3:30pm
|
Konstantin Weitz Room: CSE 674
|
Underground Reading GroupThe Denotational Semantics of Programming Languages |
Fri, May 13
3:30pm-4:30pm
|
Maria Gorinova (outside speaker, University of Cambridge) Room: CSE 203
|
PLSE Group MeetingA Live, Multiple-Representation Probabilistic Programming Environment for Novices |
Mon, May 16
3:30pm-4:30pm
|
Spencer, Amanda Room: CSE 203
|
590N: SE Reading GroupOn the Techniques We Create, the Tools We Build, and Their Misalignments: A Study of KLEE |
Tue, May 17
2:30pm-3:30pm
|
Calvin Room: CSE 674 (Irish)
|
Underground Constraints Reading GroupSynthesis Modulo Recursive Functions This follows from An Overview of the Leon Verification System above |
Wed, May 18
3:30pm-4:30pm
|
Craig Chambers, Google Room: CSE 691 (Gates Commons)
|
590P: PLSE SeminarFlume/Dataflow: Easy, Efficient Parallel Data Processing |
Fri, May 20
2:30pm-3:30pm
|
Thomas Lou Room: CSE 674
|
Underground Reading GroupMorphoid Type Theory (Sections 1 and 2 only) |
Fri, May 20
3:30pm-4:30pm
|
Ben Hindman (outside speaker, group alum, 2016 Diamond Award Winner) Room: CSE 203
|
PLSE Group Meetingco-founder Mesosphere, title TBD, Gates Commons, CSE 691 |
Mon, May 23
3:30pm-4:30pm
|
Calvin Loncaric Room: CSE 203
|
590N: SE Reading GroupEnergy Profiles of Java Collections Classes |
Tue, May 24
2:30pm-3:30pm
|
James Room: CSE 674 (Irish)
|
Underground Constraints Reading GroupReactive Programming with Reactive Variables |
Wed, May 25
3:30pm-4:30pm
|
No Meeting Room: CSE 203
|
590P: PLSE SeminarTBD |
Fri, May 27
2:30pm-3:30pm
|
Alex Sanchez-Stern Room: CSE 674
|
Underground Reading GroupSymbolic Abstract Data Type Inference |
Fri, May 27
3:30pm-4:30pm
|
Eric Mullen Room: CSE 203
|
PLSE Group MeetingPLDI Practice Talk (Peek) |
Mon, May 30
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupMemorial Day |
Tue, May 31
2:30pm-3:30pm
|
Julie Room: CSE 674 (Irish)
|
Underground Constraints Reading GroupProgram Extrapolation with Jennisys |
Wed, Jun 1
3:30pm-4:30pm
|
BRASS/SandCat Internal Meeting Room: CSE 203
|
590P: PLSE SeminarTBD |
Fri, Jun 3
2:30pm-3:30pm
|
Everyone Room: CSE 674
|
Underground Reading GroupCubical Type Theory |
Fri, Jun 3
3:30pm-4:30pm
|
Stuart Pernsteiner Room: CSE 203
|
PLSE Group MeetingInvestigating safety of a radiotherapy machine using system models with pluggable checkers (CAV practice talk) |
Wed, Jun 8
3:30pm-4:30pm
|
Milind Kulkarni, Purdue Room: CSE 305
|
590P: PLSE SeminarRegularizing the irregular: analyses and transformations for recursive, irregular applications |
Wed, Aug 3
3:30pm-4:30pm
|
Christoph Csallner, UTA Room: CSE 305
|
590P: PLSE SeminarReverse Engineering Mobile Application User Interfaces With REMAUI |
Mon, Aug 8
3:30pm-4:30pm
|
Maria Christakis, Microsoft RiSE Room: CSE 305
|
590P: PLSE SeminarBuilding Program Analyzers for Developers |
Fri, Aug 26
3:30pm-4:30pm
|
Zhilei Xu, MIT Room: CSE 403
|
590P: PLSE SeminarMSL: A Deterministic Model for Bulk-Synchronous SPMD Programming |
Thu, Sep 1
3:30pm-4:30pm
|
Shachar Itzhaky, MIT Room: CSE 403
|
590P: PLSE SeminarRefinement Reloaded, or- Deriving Divide-and-Conquer Dynamic Programming Algorithms by Transformation |
Wed, Sep 28
2:30pm-3:30pm
|
everyone Room: CSE 303
|
Underground Reading GroupOrganizational meeting |
Fri, Sep 30
3:30pm-4:30pm
|
PLSE Room: CSE 203
|
590P: PL Reading GroupPaper Selection |
Mon, Oct 3
3:30pm-4:30pm
|
Julie Newcomb Room: CSE 203
|
590N: SE Reading GroupCan Testedness be Effectively Measured? (FSE 16) |
Wed, Oct 5
2:30pm-3:30pm
|
James W Room: CSE 303
|
Underground Reading GroupInnovations in Computational Type Theory using Nuprl Introduction to NuPRL |
Fri, Oct 7
3:30pm-4:30pm
|
Pavel and Stuart Room: CSE 203
|
590P: PL Reading GroupRead papers by Eva Darulova Certifying Solutions for Numerical Constraints and Sound Compilation of Reals |
Mon, Oct 10
3:30pm-4:30pm
|
Talia Ringer Room: CSE 203
|
590N: SE Reading GroupCrash Consistency Validation Made Easy (FSE 16) |
Wed, Oct 12
2:30pm-3:30pm
|
Max Room: CSE 303
|
Underground Reading GroupDag-calculus: a calculus for parallel computation |
Wed, Oct 12
3:30pm-4:30pm
|
Eva Darulova Room: CSE 305
|
PLSE Colloquium SeriesProgramming with Numerical Uncertainties |
Fri, Oct 14
3:30pm-4:30pm
|
Calvin and Ryan Room: CSE 203
|
590P: PL Reading GroupOn the Complexity and Performance of Parsing with Derivatives background reading: Parsing with Derivatives, a functional pearl |
Mon, Oct 17
3:30pm-4:30pm
|
Steven Lyubomirsky Room: CSE 203
|
590N: SE Reading GroupExtracting Instruction Semantics via Symbolic Execution of Code Generators (FSE 16) |
Wed, Oct 19
2:30pm-3:30pm
|
– Room: CSE 303
|
Underground Reading GroupNo meeting (Affiliates) |
Fri, Oct 21
3:30pm-4:30pm
|
Talia and Doug Room: CSE 203
|
590P: PL Reading GroupRead papers by David Tarditi Checked-C spec (Section 1, Section 11, skim rest); TIL: A Type-Directed Optimizing Compiler for ML and a restrospective |
Mon, Oct 24
3:30pm-4:30pm
|
James Wilcox Room: CSE 203
|
590N: SE Reading GroupPurposes, Concepts, Misfits, and a Redesign of Git (OOPSLA ‘16) Background reading on Jackson’s theory of concepts: Towards a Theory of Conceptual Design for Software |
Wed, Oct 26
2:30pm-3:30pm
|
James W Room: CSE 303
|
Underground Reading GroupPlay around with JonPRL |
Wed, Oct 26
3:30pm-4:30pm
|
David Tarditi Room: CSE 305
|
PLSE Colloquium SeriesAn Overview of the Checked C Project |
Fri, Oct 28
3:30pm-4:30pm
|
John and Chenglong Room: CSE 203
|
590P: PL Reading GroupOne Phosphor paper and one not-taint-tracking one |
Mon, Oct 31
3:30pm-4:30pm
|
Martin Kellogg Room: CSE 203
|
590N: SE Reading GroupAnti-patterns in Search-Based Program Repair (FSE 16) |
Wed, Nov 2
2:30pm-3:30pm
|
Ryan Room: CSE 303
|
Underground Reading GroupDependent Intersection: A New Way of Defining Records in Type Theory |
Fri, Nov 4
3:30pm-4:30pm
|
Spencer and Steven Room: CSE 203
|
590P: PL Reading GroupModel Checking Programs and Software Engineering and Automated Deduction One Java PathFinder paper and one not-that |
Mon, Nov 7
3:30pm-4:30pm
|
Spencer Pearson Room: CSE 203
|
590N: SE Reading GroupA Large-Scale Empirical Comparison of Static and Dynamic Test Case Prioritization Techniques (FSE 16) |
Wed, Nov 9
2:30pm-3:30pm
|
Doug Room: CSE 303
|
Underground Reading GroupDo Be Do Be Do |
Wed, Nov 9
3:30pm-4:30pm
|
Chris, Spencer, Martin, Calvin Room: CSE 305
|
PLSE Colloquium SeriesFSE Student Research Competition practice talks |
Fri, Nov 11
3:30pm-4:30pm
|
Veteran’s Day Holiday Room: CSE 203
|
590P: PL Reading GroupNone |
Mon, Nov 14
3:30pm-4:30pm
|
Jon Bell Room: CSE 305
|
PLSE Colloquium SeriesMaking Software More Reliable by Uncovering Hidden Dependencies |
Mon, Nov 14
3:30pm-4:30pm
|
Jonathan Bell Room: CSE 203
|
590N: SE Reading GroupMaking Software More Reliable by Uncovering Hidden Dependencies Read either the Phosphor paper or the Pebbles paper |
Wed, Nov 16
2:30pm-3:30pm
|
Thomas Room: CSE 303
|
Underground Reading GroupHazelnut: A Bidirectionally Typed Structure Editor Calculus |
Wed, Nov 16
3:30pm-4:30pm
|
Arie Gurfinkel Room: CSE 305
|
PLSE Colloquium SeriesAlgorithmic Logic-Based Verification with SeaHorn |
Fri, Nov 18
3:30pm-4:30pm
|
Alessandra Gorla Room: CSE 203
|
590P: PL Reading GroupMining Android Apps for Anomalous Behavior |
Fri, Nov 18
3:30pm-4:30pm
|
Alessandra Gorla Room: CSE 305
|
PLSE Colloquium SeriesMining Android Apps for Anomalous Behavior |
Mon, Nov 21
3:30pm-4:30pm
|
Willem Visser Room: CSE 305
|
PLSE Colloquium SeriesAn Analytical Perspective on Mutations and Coverage |
Mon, Nov 21
3:30pm-4:30pm
|
Willem Visser Room: CSE 305
|
590N: SE Reading GroupAn Analytical Perspective on Mutations and Coverage |
Wed, Nov 23
2:30pm-3:30pm
|
– Room: CSE 303
|
Underground Reading GroupNo meeting (Thanksgiving) |
Wed, Nov 23
3:30pm-4:30pm
|
Thanksgiving Holiday Room: CSE 305
|
PLSE Colloquium SeriesNone |
Fri, Nov 25
3:30pm-4:30pm
|
Thanksgiving Holiday Room: CSE 203
|
590P: PL Reading GroupNone |
Mon, Nov 28
3:30pm-4:30pm
|
Calvin Loncaric Room: CSE 203
|
590N: SE Reading GroupPython Probabilistic Type Inference with Natural Language Support (FSE 16) |
Wed, Nov 30
2:30pm-3:30pm
|
John Toman Room: CSE 303
|
Underground Reading GroupAccelerating Program Analyses by Cross-Program Training |
Wed, Nov 30
3:30pm-4:30pm
|
Nate Foster Room: CSE 305
|
PLSE Colloquium SeriesCantor Meets Scott: Semantic Foundations for Probabilistic Networks |
Fri, Dec 2
3:30pm-4:30pm
|
Martin and Max and Bill Room: CSE 203
|
590P: PL Reading GroupFeature-interaction detection based on feature-based specifications and Understanding Understanding Source Code with Functional Magnetic Resonance Imagining Read papers by Sven Apel |
Mon, Dec 5
3:30pm-4:30pm
|
Pavel Panchekha Room: CSE 203
|
590N: SE Reading GroupDetecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors (FSE 16) |
Wed, Dec 7
2:30pm-3:30pm
|
Nate Yazdani Room: CSE 303
|
Underground Reading GroupComputational Higher-Dimensional Type Theory |
Fri, Dec 9
3:30pm-4:30pm
|
Sam and Eric M. and Nate Room: CSE 203
|
590P: PL Reading GroupElaborator Reflection: Extending Idris in Idris |
Wed, Dec 14
2:30pm-3:30pm
|
everyone Room: CSE 303
|
Underground Reading GroupCatch up |
Fri, Jan 6
3:30pm-4:30pm
|
PLSE Room: CSE 203
|
590P: PL Reading GroupOrganize! |
Mon, Jan 9
3:30pm-4:30pm
|
Martin Kellogg Room: CSE 203
|
590N: SE Reading GroupProgrammatic and Direct Manipulation, Together at Last |
Wed, Jan 11
3:30pm-4:30pm
|
Ravi Chugh Room: CSE 305
|
PLSE Colloquium SeriesDirect Manipulation Programming Systems |
Wed, Jan 11
3:30pm-4:30pm
|
Ravi Chugh Room: CSE 305
|
PLSE Colloquium SeriesDirect Manipulation Programming Systems |
Thu, Jan 12
3:30pm-4:30pm
|
Matthew Flatt Room: CSE 305
|
PLSE Colloquium SeriesLet’s Build a Hygienic Macro Expander! |
Thu, Jan 12
3:30pm-4:30pm
|
Matthew Flatt Room: CSE 305
|
PLSE Colloquium SeriesLet’s Build a Hygienic Macro Expander! |
Fri, Jan 13
3:30pm-4:30pm
|
Doug Woos and Ryan Doenges Room: CSE 203
|
590P: PL Reading GroupRefinement Reflection |
Mon, Jan 16
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupNo meeting – MLK day |
Fri, Jan 20
3:30pm-4:30pm
|
Nate and Calvin Room: CSE 203
|
590P: PL Reading GroupComponent-Based Synthesis for Complex APIs |
Mon, Jan 23
3:30pm-4:30pm
|
collaborative effort Room: CSE 203
|
590N: SE Reading GroupEnhancing Automated Program Repair with Deductive Verification |
Wed, Jan 25
3:30pm-4:30pm
|
Claire Le Goues Room: CSE 305
|
PLSE Colloquium SeriesScalable Semantic Code Search for High-Quality Program Repair |
Wed, Jan 25
3:30pm-4:30pm
|
Claire Le Goues Room: CSE 305
|
PLSE Colloquium SeriesScalable Semantic Code Search for High-Quality Program Repair |
Fri, Jan 27
3:30pm-4:30pm
|
Talia and Stuart Room: CSE 203
|
590P: PL Reading GroupBeginner’s Luck: A Language for Property-Based Generators |
Mon, Jan 30
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupNo meeting |
Fri, Feb 3
3:30pm-4:30pm
|
John Room: CSE 203
|
590P: PL Reading GroupCall Graphs for Languages with Parametric Polymorphism |
Mon, Feb 6
3:30pm-4:30pm
|
Steven Lyubomirsky Room: CSE 203
|
590N: SE Reading GroupCorrectness Witnesses: Exchanging Verification Results between Verifiers |
Wed, Feb 8
3:30pm-4:30pm
|
Ranjit Jhala Room: CSE 305
|
PLSE Colloquium SeriesTBD |
Wed, Feb 8
3:30pm-4:30pm
|
Ranjit Jhala Room: CSE 305
|
PLSE Colloquium SeriesRefinement Types for Dynamic Languages |
Fri, Feb 10
3:30pm-4:30pm
|
Chenglong Room: CSE 203
|
590P: PL Reading GroupPolymorphism, Subtyping, and Type Inference in MLsub |
Mon, Feb 13
3:30pm-4:30pm
|
Doug Woos Room: CSE 203
|
590N: SE Reading GroupA Cross-Tool Communication Study on Program Analysis Tool Notifications |
Fri, Feb 17
3:30pm-4:30pm
|
Martin and Eric Room: CSE 203
|
590P: PL Reading GroupInto the depths of C: elaborating the de facto standards |
Mon, Feb 20
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupNo meeting – Presidents’ Day |
Fri, Feb 24
3:30pm-4:30pm
|
Steven and Max Room: CSE 203
|
590P: PL Reading GroupVerified Compilation of CakeML to Multiple Machine-Code Targets |
Mon, Feb 27
3:30pm-4:30pm
|
Calvin Loncaric Room: CSE 203
|
590N: SE Reading GroupSMT-Based Verification of Parameterized Systems |
Fri, Mar 3
3:30pm-4:30pm
|
Pavel and Mangpo Room: CSE 203
|
590P: PL Reading GroupAutomatic Parallelization of Pure Method Calls via Conditional Future Synthesis |
Mon, Mar 6
3:30pm-4:30pm
|
TBD Room: CSE 203
|
590N: SE Reading GroupTBD |
Mon, Mar 20
3:30pm-4:30pm
|
Stephen Chang Room: CSE 305
|
PLSE Colloquium SeriesType Systems as Macros |
Mon, Mar 27
3:30pm-4:30pm
|
TBD Room: CSE 203
|
590N: SE Reading GroupOrganization |
Fri, Mar 31
3:30pm-4:30pm
|
Max Room: CSE 203
|
590P: PL Reading GroupContext-free Session Types |
Mon, Apr 3
3:30pm-4:30pm
|
Spencer Room: CSE 203
|
590N: SE Reading GroupAn Unsupervised Approach for Discovering Relevant Tutorial Fragments for APIs (ICSE 2017) |
Fri, Apr 7
3:30pm-4:30pm
|
Stuart Room: CSE 203
|
590P: PL Reading GroupDijkstra Monads for Free |
Mon, Apr 10
3:30pm-4:30pm
|
Rajiv Room: CSE 203
|
590N: SE Reading GroupSearch-driven String Constraint Solving for Vulnerability Detection (ICSE 2017) |
Fri, Apr 14
3:30pm-4:30pm
|
Chenglong and Martin Room: CSE 203
|
590P: PL Reading GroupSynthesizing Program Input Grammars |
Mon, Apr 17
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupNo meeting (OOPSLA deadline) |
Fri, Apr 21
3:30pm-4:30pm
|
James W Room: CSE 203
|
590P: PL Reading GroupCompiling without continuations |
Mon, Apr 24
3:30pm-4:30pm
|
Calvin Room: CSE 203
|
590N: SE Reading GroupIncA: a DSL for the definition of incremental program analyses (ASE 16) |
Wed, Apr 26
3:30pm-4:30pm
|
Adam Chlipala Room: CSE 305
|
PLSE Colloquium SeriesA Case for Integrating Proof Assistants into Daily Programming |
Fri, Apr 28
3:30pm-4:30pm
|
Pavel and Shumo Room: CSE 203
|
590P: PL Reading GroupFarms, pipes, streams and reforestation |
Mon, May 1
3:30pm-4:30pm
|
Zach Room: CSE 203
|
590N: SE Reading GroupLearning to Prioritize Test Programs for Compiler Testing (ICSE 2017) |
Fri, May 5
3:30pm-4:30pm
|
Calvin and Bill Room: CSE 203
|
590P: PL Reading GroupRelational Cost Analysis |
Mon, May 8
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupNo meeting (SNAPL) |
Fri, May 12
3:30pm-4:30pm
|
Nate and Julie Room: CSE 203
|
590P: PL Reading GroupTyped self-evaluation via intensional type functions |
Mon, May 15
3:30pm-4:30pm
|
Martin Room: CSE 203
|
590N: SE Reading GroupAn Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption (ICSE 2017) |
Wed, May 17
3:30pm-4:30pm
|
Eric and Doug Room: CSE 203
|
590P: PL Reading GroupVerified Low-Level Programming Embedded in F* (no need to read the appendices!) [NOTE: WED!] |
Fri, May 19
3:30pm-4:30pm
|
Navid Yaghmazadeh Room: CSE 305
|
PLSE Colloquium SeriesAutomated Synthesis of Data Extraction and Transformation Programs |
Mon, May 22
3:30pm-4:30pm
|
James W Room: CSE 203
|
590N: SE Reading GroupAn empirical evaluation of two user interfaces of an interactive program verifier (ASE 16) |
Fri, May 26
3:30pm-4:30pm
|
Steven and Spencer Room: CSE 203
|
590P: PL Reading GroupType Inference for Static Compilation of JavaScript |
Mon, May 29
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupNo meeting (Memorial Day) |
Mon, May 29
5:00pm-7:30pm
|
PLSE Room: CSE 407
|
Lab Movie NightHackers |
Wed, May 31
3:30pm-4:30pm
|
Talia Room: CSE 203
|
590P: PL Reading GroupType Soundness Proofs with Definitional Interpreters |
Mon, Jun 5
3:30pm-4:30pm
|
Mike Room: CSE 203
|
590N: SE Reading GroupTo Type or Not to Type: Quantifying Preventable Bugs in JavaScript (ICSE 2017) |
Tue, Jun 6
12:00pm-1:30pm
|
Ave lunch Room: the Ave
|
PLSE LunchLunch on the Ave |
Tue, Jun 13
12:00pm-1:30pm
|
Amanda Swearngin Room: CSE 403
|
PLSE LunchLunch and talks: Genie: Input Retargeting on the Web through Command Reverse Engineering Food: Specialty's Sandwiches |
Thu, Jun 15
3:30pm-4:30pm
|
Vijay Ganesh Room: CSE 305
|
PLSE Colloquium SeriesOn The Unreasonable Effectiveness of Boolean SAT Solvers |
Tue, Jun 20
12:00pm-1:30pm
|
Max Room: CSE 403
|
PLSE LunchLunch and talks: Fluidics and/or domain-specific accelerators Food: Mediterranean |
Tue, Jun 27
12:00pm-1:30pm
|
Vincent Liew Room: CSE 403
|
PLSE LunchVerifying non-linear arithmetics Food: Mexican |
Tue, Jul 4
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Wed, Jul 5
3:30pm-4:30pm
|
Rene Just Room: CSE 305
|
PLSE Colloquium SeriesLearning from Program Context to Predict Effective Program Transformations |
Mon, Jul 10
2:00pm-3:00pm
|
Robert O’Callahan Room: CSE 305
|
PLSE Colloquium SeriesReal-World Record And Replay |
Tue, Jul 11
12:00pm-1:30pm
|
Lunch Downtown trip Room: Train Trip
|
PLSE LunchTake train downtown |
Tue, Jul 18
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Tue, Jul 25
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Tue, Aug 1
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Tue, Aug 8
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Tue, Aug 15
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Tue, Aug 22
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Tue, Aug 29
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Tue, Sep 5
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Tue, Sep 12
12:00pm-1:00pm
|
Andreas Zeller Room: CSE 305
|
PLSE Colloquium SeriesMining Input Grammars for Security Testing |
Tue, Sep 12
12:00pm-1:30pm
|
Andreas Zeller Room: CSE 305
|
PLSE LunchMining Input Grammars for Security Testing |
Tue, Sep 19
12:00pm-1:30pm
|
Ballard Homestead Room: CSE 305
|
PLSE LunchPLSE Orientation |
Tue, Sep 19
12:00pm-1:30pm
|
Lunch on the Ave Room: The Ave
|
PLSE LunchLunch on the Ave |
Tue, Sep 26
12:00pm-1:30pm
|
Rashmi Mudduluru Room: CSE 403
|
PLSE LunchLasso Detection using Partial State Caching. Lunch Czar: Sam Elliot, Zach Tatlock |
Tue, Sep 26
12:00pm-1:30pm
|
Start of Quarter Lunch Room: CSE 403
|
PLSE LunchWelcome back lunc Food: Thai |
Fri, Sep 29
3:30pm-4:30pm
|
Martin, Pavel Room: CSE 203
|
PLSE Reading GroupFairness Testing: Testing Software for Discrimination |
Tue, Oct 3
12:00pm-1:30pm
|
Mangpo Phothilimthana Room: CSE 305
|
PLSE LunchHigh-Coverage Hint Generation for Racket Programming Assignments Lunch Czar: Sam Elliot, James Bornholt |
Fri, Oct 6
3:30pm-4:30pm
|
John, James W Room: CSE 203
|
PLSE Reading GroupContext Transformations for Pointer Analysis |
Tue, Oct 10
12:00pm-1:30pm
|
Santosh Nagarakatte Room: CSE 305
|
PLSE LunchPLSE Seminar Series Speaker Lunch Czar: Sam Elliot, Martin Kellogg |
Fri, Oct 13
3:30pm-4:30pm
|
Zach, Stuart, Bill Room: CSE 203
|
PLSE Reading GroupAchieving High Coverage for Floating-Point Code via Unconstrained Programming |
Tue, Oct 17
12:00pm-1:30pm
|
Sarah Chasins Room: CSE 305
|
PLSE LunchPLSE Lunch OOPSLA Practice Lunch Czar: Sam Elliot, Martin Kellogg, Chandrakana Nandi |
Fri, Oct 20
3:30pm-4:30pm
|
Sarah, Chandra Room: CSE 203
|
PLSE Reading GroupLearning Syntactic Program Transformations from Examples |
Tue, Oct 24
12:00pm-1:30pm
|
John T Room: CSE 305
|
PLSE LunchConcerto: Towards Combined Concrete and Abstract Interpretation Lunch Czar: Chandrakana Nandi |
Fri, Oct 27
3:30pm-4:30pm
|
Jared, Max Room: CSE 203
|
PLSE Reading GroupCooperative Kernels: GPU Multitasking for Blocking Algorithms |
Mon, Oct 30
5:00pm-7:30pm
|
PLSE Room: CSE 407
|
Lab Movie Night3 Idiots |
Tue, Oct 31
12:00pm-1:30pm
|
James W Room: CSE 305
|
PLSE LunchIron Armada and Civilized Dafny: Verified Multithreaded Systems (work-in-progress talk) Lunch Czar: Doug Woos |
Fri, Nov 3
3:30pm-4:30pm
|
Benjamin Ylvisaker Room: CSE 203
|
PLSE Reading GroupVisitor Talk: JavaScript vs Atomicity and a New Tweak on Cooperative Threads |
Tue, Nov 7
12:00pm-1:30pm
|
Ave Lunch Room: the Ave
|
PLSE LunchLunch on the Ave |
Tue, Nov 14
12:00pm-1:30pm
|
Chandrakana Nandi Room: CSE 305
|
PLSE LunchResearch day practice talk Lunch Czar: Rashmi Mudduluru |
Fri, Nov 17
3:30pm-4:30pm
|
Remy, Chenglong Room: CSE 203
|
PLSE Reading GroupVerifying Equivalence of Spark Programs |
Tue, Nov 21
12:00pm-1:30pm
|
Ave Lunch Room: the Ave
|
PLSE LunchLunch on the Ave |
Tue, Nov 28
12:00pm-1:30pm
|
Doug Room: CSE 305
|
PLSE LunchVisualizing Distributed Systems (work-in-progress talk) Lunch Czar: Max Willsey |
Fri, Dec 1
3:30pm-4:30pm
|
Doug, Nate Room: CSE 203
|
PLSE Reading GroupVerifying a high-performance crash-safe file system using a tree specification |
Tue, Dec 5
12:00pm-1:30pm
|
Stephanie Weirich Room: CSE 305
|
PLSE LunchPLSE Seminar Series Speaker Lunch Czar: Talia Ringer |
Fri, Dec 8
3:30pm-4:30pm
|
Calvin, Talia Room: CSE 203
|
PLSE Reading GroupReluplex: An Efficient SMT Solver for Verifying Deep Neural Networks |
Tue, Dec 12
12:00pm-1:30pm
|
Cindy Rubio Gonzalez Room: CSE 305
|
PLSE LunchPLSE Seminar Series Speaker Lunch Czar: Pavel Panchekha |
Tue, Dec 19
12:00pm-1:30pm
|
Ave lunch Room: the Ave
|
PLSE LunchLunch on the Ave |
Tue, Jan 2
12:00pm-1:30pm
|
Several PLSE people Room: CSE 403
|
PLSE LunchPOPL practice talks Thai food |
Mon, Jan 8
3:30pm-4:30pm
|
Everyone Room: CSE 203
|
590N: SE Reading GroupIntroductions and set schedule |
Tue, Jan 9
12:00pm-1:30pm
|
Everyone! Room: The Ave
|
PLSE LunchAve Lunch |
Mon, Jan 15
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupNo meeting – MLK day |
Tue, Jan 16
12:00pm-1:30pm
|
Ronald Garcia Room: CSE 305
|
PLSE LunchPLSE Seminar Series Speaker God-Emperor of Lunch: Doug |
Fri, Jan 19
3:30pm-4:30pm
|
Sarah Chasins Room: CSE 203
|
PLSE Reading GroupWebRelate: Integrating Web Data with Spreadsheets using Examples |
Mon, Jan 22
3:30pm-4:30pm
|
Amanda Room: CSE 203
|
590N: SE Reading GroupUnderstanding Misunderstandings in Source Code |
Mon, Jan 22
5pm-6pm
|
John Leo Room: CSE 407
|
Proof Assistant User GroupProgramming in Cubical Type Theory One week late due to MLK day. |
Tue, Jan 23
12:00pm-1:30pm
|
Everyone! Room: CSE 305
|
PLSE LunchPLSE Town Hall Lunch Terminator: Jared |
Fri, Jan 26
3:30pm-4:30pm
|
Chandrakana Nandi and James Rasmussen Wilcox Room: CSE 203
|
PLSE Reading GroupThe Linearity Monad |
Mon, Jan 29
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupNo meeting |
Mon, Jan 29
5:00pm-7:30pm
|
PLSE Room: CSE 407
|
Lab Movie NightWordplay |
Tue, Jan 30
12:00pm-1:30pm
|
Pavel Panchekha Room: CSE 305
|
PLSE LunchHerbStar Chairman and General Secretary of Lunch: Shumo |
Thu, Feb 1
5pm-6pm
|
– Room: CSE 407
|
Proof Assistant User Group(No meeting this month) |
Fri, Feb 2
3:30pm-4:30pm
|
Doug “Distributed Systems” Woos and Martin “Testing” Kellogg Room: CSE 203
|
PLSE Reading GroupWhy Is Random Testing Effective for Partition Tolerance Bugs? |
Mon, Feb 5
3:30pm-4:30pm
|
Martin and Calvin Room: CSE 203
|
590N: SE Reading GroupJust-in-Time Static Analysis |
Tue, Feb 6
12:00pm-1:30pm
|
Everyone! Room: The Ave
|
PLSE LunchAve Lunch Waiter: Remy |
Fri, Feb 9
3:30pm-4:30pm
|
Talia Ringer and Remy Wang Room: CSE 203
|
PLSE Reading GroupA Principled approach to Ornamentation in ML |
Mon, Feb 12
3:30pm-4:30pm
|
Huayi, Tianchi Room: CSE 203
|
590N: SE Reading GroupCooperative Kernels: GPU Multitasking for Blocking Algorithms |
Tue, Feb 13
12:00pm-1:30pm
|
Mangpo Room: CSE 305
|
PLSE LunchFloem: A Programming System for NIC-Accelerated Network Applications Lunch Agent 007: Chenglong |
Fri, Feb 16
3:30pm-4:30pm
|
Zach Tatlock and Bill Zorn Room: CSE 203
|
PLSE Reading GroupA Comprehensive Study of Real-World Numerical Bug Characteristics |
Mon, Feb 19
3:30pm-4:30pm
|
– Room: CSE 203
|
590N: SE Reading GroupNo meeting – Presidents’ Day |
Tue, Feb 20
12:00pm-1:30pm
|
Amanda Swearngin Room: CSE 305
|
PLSE LunchUsing constraints and synthesis to guide interactive user interface layout design Czar: Sarah |
Fri, Feb 23
3:30pm-4:30pm
|
John Toman and Calvin Loncaric Room: CSE 203
|
PLSE Reading GroupDéjàVu: a map of code duplicates on GitHub |
Mon, Feb 26
3:30pm-4:30pm
|
Alon, Rashmi Room: CSE 203
|
590N: SE Reading GroupDiscovering Relational Specifications |
Tue, Feb 27
12:00pm-1:30pm
|
Martin Kellogg Room: CSE 305
|
PLSE LunchLightweight Verification of Array Indexing Czar: Rashmi |
Fri, Mar 2
3:30pm-4:30pm
|
Max Room: CSE 203
|
PLSE Reading GroupExperimental Biological Protocols with Formal Semantics |
Mon, Mar 5
3:30pm-4:30pm
|
Michael Room: CSE 203
|
590N: SE Reading GroupAutomatically Diagnosing and Repairing Error Handling Bugs in C |
Tue, Mar 6
12:00pm-1:30pm
|
Everyone! Room: The Ave
|
PLSE LunchAve Lunch Salazar |
Fri, Mar 9
3:30pm-4:30pm
|
Nate and Stuart Room: CSE 203
|
PLSE Reading GroupLem: Reusable Engineering of Real-world Semantics |
Tue, Mar 13
12:00pm-1:30pm
|
Everyone! Room: The Ave
|
PLSE LunchVisit Days Ave Lunch Salazar |
Tue, Mar 13
12:00pm-1:30pm
|
PLSE + Prospectives! Room: The Ave
|
PLSE LunchAve Lunch (VISIT DAYS!) |
Mon, Mar 19
5pm-6pm
|
– Room: CSE 407
|
Proof Assistant User Group(No meeting this month) (This is during Spring break.) |
Tue, Mar 20
12:00pm-1:30pm
|
Everyone! Room: The Ave
|
PLSE LunchAve Lunch (SPRING BREAK!) |
Mon, Mar 26
12:00pm-1:30pm
|
Everyone Room: CSE 128
|
Program Synthesis GroupChoose Papers |
Mon, Mar 26
3:30pm-4:30pm
|
Everyone Room: CSE 203
|
590N: SE Reading GroupIntroductions and set schedule |
Tue, Mar 27
12:00pm-1:30pm
|
Chandrakana Nandi Room: CSE 305
|
PLSE LunchQuals talk Czar of the Czars: James W. |
Fri, Mar 30
3:30pm-4:30pm
|
Martin and Rashmi Room: CSE 203
|
PLSE Reading GroupInferring Mutant Utility from Program Context |
Mon, Apr 2
12:00pm-1:30pm
|
Sam K Room: CSE 128
|
Program Synthesis GroupThe Three Pillars of Machine-Based Programming |
Mon, Apr 2
3:30pm-4:30pm
|
Martin Room: CSE 203
|
590N: SE Reading GroupDo Automated Program Repair Techniques Repair Hard and Important Bugs? (Journal-first paper. The formatting makes it look long, but it’s only about 1.5x longer than the conference papers we usually read, and you can skim the huge related work section.) |
Tue, Apr 3
12:00pm-1:30pm
|
Everyone! Room: The Ave
|
PLSE LunchAve Lunch |
Fri, Apr 6
3:30pm-4:30pm
|
Steve and Jared Room: CSE 203
|
PLSE Reading GroupTensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions |
Mon, Apr 9
12:00pm-1:30pm
|
Maaz Room: CSE 128
|
Program Synthesis GroupProgram Synthesis using Conflict-Driven Learning Early Version Linked, Looking for later version |
Mon, Apr 9
3:30pm-4:30pm
|
Calvin Room: CSE 203
|
590N: SE Reading GroupAutomated Localization for Unreproducible Builds |
Tue, Apr 10
12:00pm-1:30pm
|
Calvin Loncaric Room: CSE 305
|
PLSE LunchIncrementalization with Data Structures Czar: Chandra |
Fri, Apr 13
3:30pm-4:30pm
|
Doug by himself :( Room: CSE 203
|
PLSE Reading GroupInferring and Asserting Distributed System Invariants |
Mon, Apr 16
12:00pm-1:30pm
|
Chenglong Room: CSE 128
|
Program Synthesis GroupComparison: Learned Index Structures vs Classical |
Mon, Apr 16
3:30pm-4:30pm
|
Mike Room: CSE 203
|
590N: SE Reading GroupIs ‘Better Data’ Better Than ‘Better Data Miners’? |
Mon, Apr 16
5pm-6pm
|
Talia Room: CSE 407
|
Proof Assistant User GroupSpellcraft 101: Demystifying Supertactics |
Tue, Apr 17
12:00pm-1:30pm
|
Rashmi Room: CSE 305
|
PLSE LunchNondeterminism detection and verification CAESAR PRANDII: Martin |
Fri, Apr 20
3:30pm-4:30pm
|
Nate and Chenglong Room: CSE 203
|
PLSE Reading GroupProgram Synthesis using Abstraction Refinement |
Mon, Apr 23
12:00pm-1:30pm
|
Julie Room: CSE 128
|
Program Synthesis GroupUser Studies of Principled Model Finder Output |
Mon, Apr 23
3:30pm-4:30pm
|
Steven Lyubomirsky Room: CSE 203
|
590N: SE Reading GroupSentiment Analysis for Software Engineering: How Far Can We Go? |
Tue, Apr 24
12:00pm-1:30pm
|
Room: CSE 305
|
PLSE LunchSymbolic Execution for Higher-Order Program Verification Czar: Pavel |
Fri, Apr 27
3:30pm-4:30pm
|
Remy Room: CSE 203
|
PLSE Reading GroupPrecise Interprocedural Dataflow Analysis via Graph Reachability (classic) |
Mon, Apr 30
12:00pm-1:30pm
|
Sam E Room: CSE 128
|
Program Synthesis GroupSAT-based compilation to a non-von Neumann processor |
Mon, Apr 30
3:30pm-4:30pm
|
Miryung Kim Room: CSE 203
|
590N: SE Reading GroupInteractive and Automated Debugging for Big Data Analytics |
Tue, May 1
12:00pm-1:30pm
|
Room: CSE 305
|
PLSE LunchUFL: a domain-specific language for differential equations that will someday take my job. Czar: Chandra |
Fri, May 4
3:30pm-4:30pm
|
Sam and Bill Room: CSE 203
|
PLSE Reading GroupDeepcoder: Learning To Write Programs |
Mon, May 7
12:00pm-1:30pm
|
Ras Room: CSE 128
|
Program Synthesis GroupCode Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces |
Mon, May 7
3:30pm-4:30pm
|
Mike Room: CSE 203
|
590N: SE Reading GroupA Static Verification Framework for Message Passing in Go using Behavioural Types |
Tue, May 8
12:00pm-1:30pm
|
Remy Room: CSE 305
|
PLSE LunchSloth: Lazy Concrete Pattern Matching on Trees Terminator: Chenglong |
Fri, May 11
3:30pm-4:30pm
|
Steve Room: CSE 203
|
PLSE Reading GroupEfficient Sampling of SAT Solutions for Testing |
Mon, May 14
12:00pm-1:30pm
|
– Room: CSE 128
|
Program Synthesis GroupNo meeting – PNW PLSE workshop at Microsoft |
Mon, May 14
3:30pm-4:30pm
|
N/A Room: CSE 203
|
590N: SE Reading GroupNo meeting – PNW PLSE workshop at Microsoft |
Tue, May 15
12:00pm-1:30pm
|
Stuart Room: CSE 305
|
PLSE LunchRapid Semantics (Defense) Czar: Remy |
Fri, May 18
3:30pm-4:30pm
|
Chandra Room: CSE 203
|
PLSE Reading GroupSynthesis with Abstract Examples |
Mon, May 21
12:00pm-1:30pm
|
Sam K Room: CSE 128
|
Program Synthesis GroupHackathon!: Reinforcement learning experiments on super-optimization Optional reading: Human-level control through deep reinforcement learning |
Mon, May 21
3:30pm-4:30pm
|
Rashmi Room: CSE 203
|
590N: SE Reading GroupCodeCarbonCopy |
Mon, May 21
5pm-6pm
|
Calvin Room: CSE 407
|
Proof Assistant User GroupCozy details |
Tue, May 22
12:00pm-1:30pm
|
Adam Geller Room: CSE 305
|
PLSE LunchAutomatically minimizing webpages to expedite debugging Czar: Chandra |
Fri, May 25
3:30pm-4:30pm
|
Talia Room: CSE 203
|
PLSE Reading GroupWhen Good Components Go Bad |
Mon, May 28
12:00pm-1:30pm
|
– Room: CSE 128
|
Program Synthesis GroupNo meeting – Memorial Day |
Mon, May 28
3:30pm-4:30pm
|
N/A Room: CSE 203
|
590N: SE Reading GroupNo meeting – Memorial Day |
Tue, May 29
12:00pm-1:30pm
|
Chenglong/Dominik Room: CSE 305
|
PLSE LunchVisualization Meets Constraint Programming Czar: Doug |
Fri, Jun 1
3:30pm-4:30pm
|
Pavel Room: CSE 203
|
PLSE Reading GroupThe Road to Live Programming: Insights From the Practice |
Mon, Jun 4
12:00pm-1:30pm
|
Fredrik Kjolstad (MIT) Room: CSE 128
|
Program Synthesis GroupThe Sparse Tensor Algebra Compiler |
Tue, Jun 5
12:00pm-1:30pm
|
Everyone! Room: The Ave
|
PLSE LunchAve Lunch |
Mon, Jun 11
12:00pm-1:30pm
|
Ruzica Piskac (Yale) Room: CSE 403
|
Program Synthesis GroupTBD |
Tue, Jun 12
12:00pm-1:30pm
|
Pavel Room: CSE 305
|
PLSE LunchPLDI Practice Talk Czar: Chandra |
Mon, Jun 18
12:00pm-1:30pm
|
PLSE! Room: The Ave
|
PLSE LunchSummer Ave lunch June 18 - September 25, 2018 |
Mon, Jun 18
5pm-6pm
|
– Room: CSE 407
|
Proof Assistant User Group– |
Mon, Jul 16
5pm-6pm
|
– Room: CSE 407
|
Proof Assistant User Group– |
Mon, Jul 30
5:00pm-7:30pm
|
PLSE Room: CSE 407
|
Lab Movie NightJodorowsky’s Dune |
Mon, Aug 20
5pm-6pm
|
Pavel Room: CSE 407
|
Proof Assistant User GroupCassius details and interacting with Z3 |
Mon, Sep 17
5pm-6pm
|
– Room: CSE 407
|
Proof Assistant User Group– |
Wed, Sep 19
2pm-3pm
|
John Gustafson Room: CSE 305 AT 2pm!!
|
PLSE LunchNext Generation Arithmetic for HPC and AI: An Update |
Fri, Sep 28
3:30pm-4:30pm
|
Everyone! Room: CSE 203
|
PLSE Reading GroupSpecifying 590P and Synthesizing the Schedule |
Mon, Oct 1
12:00pm-1:30pm
|
Everyone Room: CSE 128
|
Program Synthesis GroupChoose Papers |
Mon, Oct 1
3:30pm-4:30pm
|
Everyone Room: CSE 203
|
590N: SE Reading GroupOrganization |
Tue, Oct 2
12:00pm-1:30pm
|
PLSE Room: The Ave
|
PLSE LunchAve Lunch |
Fri, Oct 5
3:30pm-4:30pm
|
Max Willsey, Chandrakana Nandi, Remy Wang Room: CSE 203
|
PLSE Reading GroupLiquid Types
|
Mon, Oct 8
12:00pm-1:30pm
|
Julie Room: CSE 128
|
Program Synthesis GroupRelational Program Synthesis |
Mon, Oct 8
3:30pm-4:30pm
|
Doug Room: CSE 203
|
590N: SE Reading GroupHow Many of All Bugs Do We Find? A Study of Static Bug Detectors (ASE 2018) by Andrew Habib, Michael Pradel |
Tue, Oct 9
12:00pm-1:30pm
|
PLSE Seminar: Derek Dreyer Room: CSE 305
|
PLSE LunchRustBelt: Logical Foundations for the Future of Safe Systems Programming Czar: Chandra |
Fri, Oct 12
3:30pm-4:30pm
|
Doug Woos, Sorawee Porncharoenwase Room: CSE 203
|
PLSE Reading GroupWho Tests the Testers |
Mon, Oct 15
12:00pm-1:30pm
|
Sam K Room: CSE 128
|
Program Synthesis GroupDeepBugs: A Learning Approach to Name-based Bug Detection |
Mon, Oct 15
3:30pm-4:30pm
|
Rashmi Room: CSE 203
|
590N: SE Reading GroupCompiler Fuzzing through Deep Learning (ISSTA 2018) by Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather |
Mon, Oct 15
5pm-6pm
|
– Room: CSE 407
|
Proof Assistant User Group– |
Tue, Oct 16
12:00pm-1:30pm
|
Remy Wang Room: CSE 305
|
PLSE LunchWIP: Regularizing Horn Clauses via Strategy Synthesis for Ehrenfeucht–Fraïssé Games Czar: Steven |
Fri, Oct 19
3:30pm-4:30pm
|
Talia Ringer, Jacob Van Geffen Room: CSE 203
|
PLSE Reading GroupBP: Formal Proofs, the Fine Print and Side Effects |
Mon, Oct 22
12:00pm-1:30pm
|
Maaz Room: CSE 128
|
Program Synthesis GroupGenerating non-equivalent programs |
Mon, Oct 22
3:30pm-4:30pm
|
Taylor Room: CSE 203
|
590N: SE Reading GroupPerfFuzz: Automatically Generating Pathological Inputs by Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song |
Mon, Oct 22
4:30pm-5:30pm
|
Max Room: CSE 407
|
PUTTY: PLSE Underground Tech Talks, Yeah!Fluidics + Chemicals = ?? |
Tue, Oct 23
12:00pm-1:30pm
|
Jared and Steven Room: CSE 305
|
PLSE LunchWIP talk: Relay IR Czar: Doug |
Fri, Oct 26
3:30pm-4:30pm
|
Nate Yazdani Room: CSE 203
|
PLSE Reading GroupVerifying concurrent software using movers in CSPEC |
Mon, Oct 29
12:00pm-1:30pm
|
Krzysztof Room: CSE 128
|
Program Synthesis GroupBLeak: Automatically Debugging Memory Leaks in Web Applications |
Mon, Oct 29
3:30pm-4:30pm
|
Sam Room: CSE 203
|
590N: SE Reading GroupAn empirical investigation into learning bug-fixing patches in the wild via neural machine translation (ASE 2018) by Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, Denys Poshyvanyk |
Tue, Oct 30
12:00pm-1:30pm
|
PLSE Seminar: Amal Ahmed Room: CSE 305
|
PLSE LunchCompositional Compiler Verification for a Multi-Language World Czar: Remy |
Fri, Nov 2
3:30pm-4:30pm
|
Gus, Steven Room: CSE 203
|
PLSE Reading GroupBuild systems a la carte |
Mon, Nov 5
12:00pm-1:30pm
|
Ras Room: CSE 128
|
Program Synthesis GroupSpatial: A Language and Compiler for Application Accelerators |
Mon, Nov 5
3:30pm-4:30pm
|
Zhen Room: CSE 203
|
590N: SE Reading GroupCode Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces (FSE 2018) by Jordan Henkel, Shuvendu Lahiri, Ben Liblit, Thomas Reps |
Tue, Nov 6
12:00pm-1:30pm
|
Shumo Chu Room: CSE 305
|
PLSE LunchA Meta-Theory for SQL Czar: Chandra |
Fri, Nov 9
3:30pm-4:30pm
|
James Wilcox Room: CSE 203
|
PLSE Reading GroupThe Left Hand of Equals (ONWARD 2016) |
Mon, Nov 12
12:00pm-1:30pm
|
– Room: CSE 128
|
Program Synthesis GroupVeterans Day - No meeting |
Tue, Nov 13
12:00pm-1:30pm
|
James W Room: CSE 305
|
PLSE LunchWork-in-progress talk: Inferring Inductive Invariants Czar: Rashmi |
Fri, Nov 16
3:30pm-4:30pm
|
No one Room: CSE 203
|
PLSE Reading GroupPLDI: No Meeting |
Mon, Nov 19
12:00pm-1:30pm
|
Sam E Room: CSE 128
|
Program Synthesis GroupSyntax-Guided Synthesis of Datalog Programs |
Mon, Nov 19
3:30pm-4:30pm
|
James Room: CSE 203
|
590N: SE Reading GroupEvaluating Fuzz Testing |
Mon, Nov 19
4:30pm-5:30pm
|
Pavel Room: CSE 407
|
PUTTY: PLSE Underground Tech Talks, Yeah!E-Graphs |
Mon, Nov 19
5pm-6pm
|
– Room: CSE 407
|
Proof Assistant User Group– |
Tue, Nov 20
12:00pm-1:30pm
|
PLSE Room: CSE 305
|
PLSE LunchThanksgiving Week Ave Lunch |
Fri, Nov 23
3:30pm-4:30pm
|
No Meeting Room: CSE 203
|
PLSE Reading GroupThanksgiving Holiday |
Mon, Nov 26
12:00pm-1:30pm
|
Yu Room: CSE 128
|
Program Synthesis GroupControl Plane Compression |
Mon, Nov 26
3:30pm-4:30pm
|
Rene and Mike Room: CSE 203
|
590N: SE Reading GroupEvaluating Test-Suite Reduction in Real-World Software Evolution (ISSTA 2018) by August Shi, Alex Gyori, Muhammad Suleman Mahmood, Peiyuan Zhao, Darko Marinov |
Mon, Nov 26
5:00pm-7:30pm
|
PLSE Room: CSE 407
|
Lab Movie NightJodorowsky’s Dune |
Tue, Nov 27
12:00pm-1:30pm
|
PLSE Seminar: Roopsha Samanta Room: CSE 305
|
PLSE LunchTBD Czar: Chandra |
Fri, Nov 30
3:30pm-4:30pm
|
Jared Roesch, Marisa Kirasame Room: CSE 203
|
PLSE Reading GroupProgramming with a Differentiable Forth Interpreter |
Mon, Dec 3
12:00pm-1:30pm
|
James Room: CSE 128
|
Program Synthesis GroupLearning to solve SMT formulas |
Mon, Dec 3
3:30pm-4:30pm
|
Yufeng Room: CSE 203
|
590N: SE Reading GroupDeep Learning Type Inference (FSE 2018) by Vincent J. Hellendoorn, Christian Bird, Earl T. Barr, Miltiadis Allamanis |
Tue, Dec 4
12:00pm-1:30pm
|
Ryan Newton Room: CSE 305
|
PLSE LunchTowards Software Containers with Guaranteed Reproducibility Czar: Steven |
Fri, Dec 7
3:30pm-4:30pm
|
No Meeting Room: CSE 203
|
PLSE Reading GroupCSE Holiday Party |
Mon, Dec 10
12:00pm-1:30pm
|
Sarah Room: CSE 128
|
Program Synthesis GroupBidirectional Evaluation with Direct Manipulation |
Mon, Dec 10
3:30pm-4:30pm
|
TBD Room: CSE 203
|
590N: SE Reading GroupDiscussion |
Tue, Dec 11
12:00pm-1:30pm
|
PLSE Room: The Ave
|
PLSE LunchFinals Week Ave Lunch |
Mon, Dec 17
4:30pm-5:30pm
|
Holiday break Room: CSE 407
|
PUTTY: PLSE Underground Tech Talks, Yeah!No PUTTY |
Mon, Dec 17
5pm-6pm
|
– Room: CSE 407
|
Proof Assistant User Group– |
Mon, Jan 7
3:30pm-4:30pm
|
Mike, Rene Room: CSE 203
|
590N: SE Reading GroupIntroduction |
Tue, Jan 8
12:00pm-1:30pm
|
John Room: CSE 305
|
PLSE LunchPOPL19 Practice Talk Who’s feeding you very hungry caterpillars: Remy |
Fri, Jan 11
3:30pm-4:30pm
|
Everyone! Room: CSE 203
|
PLSE Reading GroupSpecifying 590P and Synthesizing the Schedule |
Mon, Jan 14
12:00pm-1:30pm
|
Everyone Room: CSE 128
|
Program Synthesis GroupChat about plans |
Mon, Jan 14
3:30pm-4:30pm
|
Martin Kellogg Room: CSE 203
|
590N: SE Reading GroupEfficient static checking of library updates (FSE 2018) by Darius Foo, Hendy Chua, Jason Yeo, Ming Yi Ang, and Asankhaya Sharma |
Tue, Jan 15
12:00pm-1:30pm
|
PLSE Group Room: CSE 403
|
PLSE LunchPL Lab packing party Lunch Czar: Doug |
Fri, Jan 18
3:30pm-4:30pm
|
Pavel and Zhen Room: CSE 303
|
PLSE Reading GroupReady, set, verify! applying hs-to-coq to real-world Haskell code (experience report) |
Mon, Jan 21
12:00pm-1:30pm
|
No one Room: CSE 128
|
Program Synthesis GroupNo meeting – MLK Day |
Mon, Jan 21
3:30pm-4:30pm
|
No one Room: CSE 203
|
590N: SE Reading GroupNo meeting – MLK Day |
Tue, Jan 22
12:00pm-1:30pm
|
TBD Room: CSE 305
|
PLSE LunchTBD Lunch czar: Chandra |
Fri, Jan 25
3:30pm-4:30pm
|
Marisa and Jared Room: CSE 403
|
PLSE Reading GroupDestination-Passing Style for Efficient Memory Management |
Mon, Jan 28
12:00pm-1:30pm
|
Zhao Song Room: CSE 128
|
Program Synthesis GroupAdversarial Deep Learning |
Mon, Jan 28
3:30pm-4:30pm
|
Yim Register and Zhen Zhang Room: CSE 203
|
590N: SE Reading GroupDarwinian Data Structure Selection (FSE 2018) by Michail Basios, Lingbo Li, Fan Wu, Leslie Kanthan, Earl Barr |
Tue, Jan 29
12:00pm-1:30pm
|
Sarah Chasins Room: CSE 305
|
PLSE LunchWeb Automation for Everyone Lunch Czar: Krzysztof |
Fri, Feb 1
3:30pm-4:30pm
|
Chandra, Gus, Krzysztof Room: CSE 403
|
PLSE Reading GroupDenali: a goal-directed superoptimizer |
Mon, Feb 4
12:00pm-1:30pm
|
TBD Room: CSE 128
|
Program Synthesis GroupTBD |
Mon, Feb 4
3:30pm-4:30pm
|
No one Room: CSE 203
|
590N: SE Reading GroupSnow day |
Tue, Feb 5
12:00pm-1:30pm
|
Ave Room: University Way
|
PLSE LunchLunch Snow day |
Fri, Feb 8
3:30pm-4:30pm
|
Snow Day Room: CSE 403
|
PLSE Reading GroupNo meeting
|
Mon, Feb 11
12:00pm-1:30pm
|
TBD Room: CSE 128
|
Program Synthesis GroupTBD |
Mon, Feb 11
3:30pm-4:30pm
|
Doug Woos Room: CSE 203
|
590N: SE Reading GroupSnow day |
Tue, Feb 12
12:00pm-1:30pm
|
Zhen Zhang Room: CSE 305
|
PLSE LunchSemantic Gauge for Android Malwares (CANCELLED, Snow day) Lunch Czar: Martin |
Fri, Feb 15
3:30pm-4:30pm
|
Remy and Marisa Room: CSE 403
|
PLSE Reading GroupPrototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of Lambda-Prolog/Makam
|
Mon, Feb 18
12:00pm-1:30pm
|
TBD Room: CSE 128
|
Program Synthesis GroupTBD |
Mon, Feb 18
3:30pm-4:30pm
|
No one Room: CSE 203
|
590N: SE Reading GroupNo meeting – Presidents’ Day |
Tue, Feb 19
12:00pm-1:30pm
|
Martin Room: CSE 305
|
PLSE LunchCompliance and Verification Lunch: Chenglong (gluten free) |
Fri, Feb 22
3:30pm-4:30pm
|
Nate, Logan, and Jack Room: CSE 403
|
PLSE Reading GroupStructuring the Synthesis of Heap-Manipulating Programs |
Mon, Feb 25
12:00pm-1:30pm
|
TBD Room: CSE 128
|
Program Synthesis GroupTBD |
Mon, Feb 25
3:30pm-4:30pm
|
Yufeng Room: CSE 203
|
590N: SE Reading GroupTesting Probabilistic Programming Systems (FSE 2018) by Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic |
Tue, Feb 26
12:00pm-1:30pm
|
Krzysztof Room: CSE 305
|
PLSE LunchSynthesizing data movement in GPU kernels using abstract dynamic programming Lunch czar: Talia |
Fri, Mar 1
3:30pm-4:30pm
|
Talia and Chenglong Room: CSE 403
|
PLSE Reading Groupcode2vec: Learning Distributed Representations of Code |
Mon, Mar 4
12:00pm-1:30pm
|
TBD Room: CSE 128
|
Program Synthesis GroupTBD |
Mon, Mar 4
3:30pm-4:30pm
|
Remy Room: CSE 203
|
590N: SE Reading GroupAroma: Code Recommendation via Structural Code Search (arxiv 2018) by Sifei Luan, Di Yang, Koushik Sen, Satish Chandra |
Tue, Mar 5
12:00pm-1:30pm
|
Ave Room: University Way
|
PLSE LunchLunch Lunch czar: Vladimir Putin |
Fri, Mar 8
3:30pm-4:30pm
|
Doug, Josh, and Miya Room: CSE 403
|
PLSE Reading GroupLive Functional Programming with Typed Holes
|
Mon, Mar 11
12:00pm-1:30pm
|
TBD Room: CSE 128
|
Program Synthesis GroupTBD |
Mon, Mar 11
3:30pm-4:30pm
|
Rashmi Room: CSE 203
|
590N: SE Reading GroupRandomized Testing of Distributed Systems with Probabilistic Guarantees (OOPSLA 2018) by Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher |
Tue, Mar 12
12:00pm-1:30pm
|
Everyone Room: CSE 305
|
PLSE LunchVisit Days Lunch czar: TBD |
Fri, Mar 15
3:30pm-4:30pm
|
TBD Room: CSE 403
|
PLSE Reading GroupTBD
|
Mon, Mar 18
12:00pm-1:30pm
|
TBD Room: CSE 128
|
Program Synthesis GroupTBD |
Mon, Mar 18
3:30pm-4:30pm
|
Sam Kaufman Room: CSE 203
|
590N: SE Reading GroupA practical guide for using statistical tests to assess randomized algorithms in software engineering (ICSE 2011) by Andrea Arcuri, Lionel Briand; and skim Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review (ICSE 2018) by Rolando Reyes, Oscar Dieste, Efrain Fonseca, Natalia Juristo |
Mon, Apr 1
3:30pm-4:30pm
|
Mike, Rene Room: CSE 203
|
590N: SE Reading GroupIntroduction |
Tue, Apr 2
12:00pm-1:30pm
|
Emery Berger Room: CSE 305
|
PLSE LunchSaving the World from Spreadsheets Lunch Czar: Doug |
Fri, Apr 5
2:30pm-4:00pm
|
Chenglong Room: CSE2 245
|
Program Synthesis GroupVisualization by Example |
Fri, Apr 5
3:30pm-4:30pm
|
OOPSLA deadline Room: CSE 203
|
PLSE Reading GroupNo meeting, OOPSLA deadline |
Mon, Apr 8
3:30pm-4:30pm
|
Sam K. Room: CSE 203
|
590N: SE Reading GroupChaff from the Wheat: Characterizing and Determining Valid Bug Reports |
Tue, Apr 9
12:00pm-1:30pm
|
Zhen Room: CSE 305
|
PLSE LunchSemantic Gauge for Android Malware Lunch Czar: Martin |
Fri, Apr 12
2:30pm-4:00pm
|
Krzysztof Room: CSE2 245
|
Program Synthesis GroupTBD |
Fri, Apr 12
3:30pm-4:30pm
|
Everyone! Room: CSE 203
|
PLSE Reading GroupSpecifying 590P and Synthesizing the Schedule
|
Mon, Apr 15
3:30pm-4:30pm
|
Rashmi Room: CSE 203
|
590N: SE Reading GroupStatic Automated Program Repair for Heap Properties (ICSE 2018) |
Tue, Apr 16
12:00pm-1:30pm
|
TBD Room: TBD
|
PLSE LunchTBD Lunch czar: Doug |
Fri, Apr 19
2:30pm-4:00pm
|
Yu Feng Room: CSE2 245
|
Program Synthesis GroupSmart contracts |
Fri, Apr 19
3:30pm-4:30pm
|
Doug Room: Gates 287
|
PLSE Reading GroupJulia: dynamism and performance reconciled by design
|
Mon, Apr 22
3:30pm-4:30pm
|
Martin Room: CSE 203
|
590N: SE Reading GroupDetecting Incorrect Build Rules (contact Martin K (kelloggm at cs dot washington dot edu) for a preprint) |
Mon, Apr 22
4:30pm-5:30pm
|
Martin Room: CSE 407
|
PUTTY: PLSE Underground Tech Talks, Yeah!building a typechecker is easy and I prove it to you by doing it |
Tue, Apr 23
12:00pm-1:30pm
|
Yu Room: CSE 305
|
PLSE LunchPrecise Attack Synthesis for Smart Contracts Lunch Czar: Jacob |
Fri, Apr 26
2:30pm-4:00pm
|
Jasper Room: CSE2 245
|
Program Synthesis GroupTBD |
Fri, Apr 26
3:30pm-4:30pm
|
Marisa Room: Gates 287
|
PLSE Reading GroupCapturing the future by replaying the past
|
Mon, Apr 29
3:30pm-4:30pm
|
Zhen Room: CSE 203
|
590N: SE Reading GroupAutomatically Generating Precise Oracles from Structured Natural Language Specifications (ICSE 19) |
Mon, Apr 29
5:00pm-7:30pm
|
PLSE Room: CSE 407
|
Lab Movie NightTBD |
Tue, Apr 30
12:00pm-1:30pm
|
Lunch on the Ave Room: Lunch on the Ave
|
PLSE LunchLunch on the Ave TBD |
Fri, May 3
2:30pm-4:00pm
|
Jacob Room: CSE2 245
|
Program Synthesis GroupJITSynth |
Fri, May 3
3:30pm-4:30pm
|
Talia Room: Gates 287
|
PLSE Reading GroupIdentifying refactoring opportunities for replacing type code with subclass and state
|
Mon, May 6
3:30pm-4:30pm
|
Mike Room: CSE 203
|
590N: SE Reading GroupVFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences (ICSE 19) |
Tue, May 7
12:00pm-1:30pm
|
Oak Room: CSE 305
|
PLSE LunchSymbolic Optimization Coaching Lunch czar: Chandra |
Fri, May 10
2:30pm-4:00pm
|
Sam Room: CSE2 245
|
Program Synthesis GroupName-value embeddings |
Fri, May 10
3:30pm-4:30pm
|
Oak Room: Gates 287
|
PLSE Reading GroupRoot cause of blame
|
Mon, May 13
3:30pm-4:30pm
|
Rene Room: CSE 203
|
590N: SE Reading GroupTest selection pair: Predictive Test Selection (draft; should get camera-ready); Assessing Transition-based Test Selection Algorithms at Google |
Tue, May 14
12:00pm-1:30pm
|
Josh Room: CSE 305
|
PLSE LunchTheia: The Next 700 Program Execution Visualizations Lunch czar: Zhen |
Fri, May 17
2:30pm-4:00pm
|
Julie Room: CSE2 245
|
Program Synthesis GroupTBD |
Fri, May 17
3:30pm-4:30pm
|
Bill Room: Gates 287
|
PLSE Reading GroupCompiler fuzzing through deep learning
|
Mon, May 20
3:30pm-4:30pm
|
Jose Room: CSE 203
|
590N: SE Reading GroupBugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes (ICSE 19) (optional: BugsJS: A Benchmark of JavaScript Bugs (ICST 19) and Bugs.jar: A Large-scale, Diverse Dataset of Real-world Java Bugs (MSR 18) |
Tue, May 21
12:00pm-1:30pm
|
Remy Room: CSE 305
|
PLSE LunchWormhole Optimization and Gradient Induction Maaz |
Fri, May 24
2:30pm-4:00pm
|
Gabriel Room: CSE2 245
|
Program Synthesis GroupTBD |
Fri, May 24
3:30pm-4:30pm
|
Cancelled Room: -
|
PLSE Reading GroupCancelled
|
Mon, May 27
3:30pm-4:30pm
|
Room: CSE 203
|
590N: SE Reading GroupMemorial Day |
Tue, May 28
12:00pm-1:30pm
|
Daniel Rosenwasser Room: CSE 305
|
PLSE LunchTypeScript Rashmi |
Wed, May 29
4:30pm-5:30pm
|
Pavel Room: CSE 407
|
PUTTY: PLSE Underground Tech Talks, Yeah!Statistics |
Fri, May 31
2:30pm-4:00pm
|
TBD Room: CSE2 245
|
Program Synthesis GroupTBD |
Fri, May 31
3:30pm-4:30pm
|
Zach, Chandra, Martin Room: Gates 287
|
PLSE Reading GroupContinuous formal verification of Amazon s2n
|
Mon, Jun 3
3:30pm-4:30pm
|
Mike Room: CSE 203
|
590N: SE Reading GroupSMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code |
Tue, Jun 4
12:00pm-1:30pm
|
Jacob Room: CSE 305
|
PLSE LunchJITSynth Lunch is not Chandra, it is Chenglong |
Fri, Jun 7
2:30pm-4:00pm
|
TBD Room: CSE2 245
|
Program Synthesis GroupTBD |
Fri, Jun 7
3:30pm-4:30pm
|
Steven Room: Gates 287
|
PLSE Reading GroupEvolving a language in and for the real world: C++ 1991-2006
|
Mon, Jul 29
5:00pm-7:30pm
|
PLSE Room: CSE 407
|
Lab Movie NightTBD |
Fri, Sep 27
3:30pm-4:30pm
|
PLSE Room: Gates 287
|
PL Reading GroupPlanning |
Mon, Sep 30
3:30pm-4:30pm
|
Mike Room: CSE 303
|
590N: SE Reading GroupDo Developers Discover New Tools On The Toilet?, by Emerson Murphy-Hill, Edward Smith, Caitlin Sadowski, Ciera Jaspan, Colin Winter, Matthew Jorde, Andrea Knight, Andrew Trenk, Steve Gross (ICSE 2019) |
Mon, Sep 30
5:00pm-7:30pm
|
PLSE Room: CSE 407
|
Lab Movie NightTBD |
Tue, Oct 1
12:00pm-1:30pm
|
Everyone Room: Gates 253
|
PLSE LunchPLSE Town Hall Czar: Chandra |
Fri, Oct 4
3:30pm-4:30pm
|
Max Room: Gates 287
|
PL Reading GroupA Taste of Rewrite Systems Term Rewriting & E-Graphs 1 - Czar: Max |
Mon, Oct 7
3:30pm-4:30pm
|
Martin Room: CSE 303
|
590N: SE Reading GroupDistilling Neural Representations of Data Structure Manipulation using fMRI and fNIRS, by Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach, and Westley Weimer (ICSE 2019) |
Tue, Oct 8
12:00pm-1:30pm
|
Room: Gates 253
|
PLSE LunchTBD Czar: Krzysztof Drewniak |
Fri, Oct 11
3:30pm-4:30pm
|
Josh Room: Gates 287
|
PL Reading GroupGraph Transformation for Specification and Programming
|
Mon, Oct 14
3:30pm-4:30pm
|
Ben Room: CSE 303
|
590N: SE Reading GroupResource-aware Program Analysis via Online Abstraction Coarsening, by Kihong Heo, Hakjoo Oh, and Hongseok Yang (ICSE 2019) |
Tue, Oct 15
12:00pm-1:30pm
|
Josh Room: Gates 253
|
PLSE LunchTheia: Automatically Generating Correct Program State Visualizations Czar: Talia |
Fri, Oct 18
3:30pm-4:30pm
|
Chandra Room: Gates 287
|
PL Reading GroupSimplify: A Theorem Prover for Program Checking
|
Mon, Oct 21
3:30pm-4:30pm
|
Rashmi Room: CSE 303
|
590N: SE Reading GroupPIVOT: Learning API-Device Correlations to Facilitate Android Compatibility Issue Detection, by Lili Wei, Yepang Liu, and Shing-Chi Cheung (ICSE 2019) |
Tue, Oct 22
12:00pm-1:30pm
|
Talia Room: Gates 253
|
PLSE LunchProof Engineering Tools for a New Era Czar: Oak |
Fri, Oct 25
3:30pm-4:30pm
|
Chandra Room: Gates 287
|
PL Reading GroupEquality Saturation: a New Approach to Optimization
|
Mon, Oct 28
3:30pm-4:30pm
|
Alexey Room: CSE 303
|
590N: SE Reading GroupRedundant Loads: A Software Inefficiency Indicator, by Pengfei SuCollege, Shasha Wen, Hailong Yang, Milind Chabbi, and Xu Liu (ICSE 2019) |
Tue, Oct 29
12:00pm-1:30pm
|
PLSE Room: Ave
|
PLSE LunchAve lunch |
Fri, Nov 1
3:30pm-4:30pm
|
Remy Room: Gates 287
|
PL Reading GroupAnswer Set Programming at a Glance
|
Mon, Nov 4
3:30pm-4:30pm
|
Alex Room: CSE 303
|
590N: SE Reading GroupGoing Farther Together: The Impact of Social Capital on Sustained Participation in Open Source, by Huilian Sophie Qiu, Alexander Nolte, Anita Brown, Alexander Serebrenik, and Bogdan Vasilescu (ICSE 2019) |
Tue, Nov 5
12:00pm-1:30pm
|
Taylor Room: Gates 253
|
PLSE LunchReplicated Datatypes Czar: Zhen |
Fri, Nov 8
3:30pm-4:30pm
|
Ben Room: Gates 287
|
PL Reading GroupApplications of ASP |
Mon, Nov 11
3:30pm-4:30pm
|
No one Room: CSE 303
|
590N: SE Reading GroupVeteran’s Day holiday |
Tue, Nov 12
12:00pm-1:30pm
|
Ben Room: Gates 253
|
PLSE LunchTBD Czar: Chandra |
Fri, Nov 15
3:30pm-4:30pm
|
Ben Room: Gates 287
|
PL Reading GroupASP, the Frame Problem and Plan Generation We’ll continue on with the frame problem from last week’s paper (the second half of the KR portion). Following this we will look into Lifschitz’ paper on ASP and Plan Generation. |
Mon, Nov 18
3:30pm-4:30pm
|
Sahil Room: CSE 303
|
590N: SE Reading GroupScalable Approaches for Test Suite Reduction, by Emilio Cruciani, Breno Miranda, Roberto Verdecchia, and Antonia Bertolino (ICSE 2019) |
Tue, Nov 19
12:00pm-1:30pm
|
Chenglong Room: Gates 371
|
PLSE LunchAutomating Data Visualization for the Masses The talk will be from 11:00am to 12:30pm at Gates 371, then we’ll have lunch in the lab Gates 253. Czar: Jacob |
Fri, Nov 22
3:30pm-4:30pm
|
PLDI Deadline Room: Gates 287
|
PL Reading GroupNo meeting |
Mon, Nov 25
3:30pm-4:30pm
|
Sam Room: CSE 303
|
590N: SE Reading GroupThe Seven Sins: Security Smells in Infrastructure as Code Scripts, by Akond Rahman, Chris Parnin, and Laurie Williams (ICSE 2019) |
Tue, Nov 26
12:00pm-1:30pm
|
Martin Room: Gates 253
|
PLSE LunchVerifying Object Construction Czar: Rashmi |
Fri, Nov 29
3:30pm-4:30pm
|
Thanksgiving Room: Gates 287
|
PL Reading GroupNo meeting |
Mon, Dec 2
3:30pm-4:30pm
|
Zhen Room: CSE 303
|
590N: SE Reading GroupTowards Automating Precision Studies of Clone Detectors, by Vaibhav Saini, Farima Farmahini, Yadong Lu, Di Yang, Pedro Martins, Hitesh Sajnani, Pierre Baldi, and Crista Lopes (ICSE 2019) |
Tue, Dec 3
12:00pm-1:30pm
|
Ori Lahav Room: Gates 253
|
PLSE LunchVerification under causally consistent shared memory Czar: Ben |
Fri, Dec 6
3:30pm-4:30pm
|
Nick Walker Room: Gates 287
|
PL Reading GroupASP application: Open-World Reasoning for Service Robots Useful tutorial for the paper: https://nickwalker.us/projects/planning-for-user-commands |
Mon, Dec 9
3:30pm-4:30pm
|
Mike Room: CSE 303
|
590N: SE Reading GroupiSENSE: Completion-Aware Crowdtesting Management, by Junjie Wang, Ye Yang, Rahul Krishna, Tim Menzies, and Qing Wang (ICSE 2019) |
Tue, Dec 10
12:00pm-1:30pm
|
Everyone Room: Gates 253
|
PLSE LunchAve lunch |
Mon, Jan 6
3:30pm-4:30pm
|
Rene Room: Gates 345
|
590N: SE Reading GroupIntroduction |
Tue, Jan 7
12:00pm-1:30pm
|
Everyone Room: Gates 253
|
PLSE LunchWelcome back Lunch czar: Krzysztof |
Fri, Jan 10
3:30pm-4:30pm
|
Marisa Room: Gates 287
|
PL Reading GroupContinuations: The Essence of Compiling with Continuation czar: Marisa |
Fri, Jan 10
3:30pm-4:30pm
|
Marisa Room: Gates 287
|
PL Reading GroupContinuations 1: The Essence of Compiling with Continuation czar: Marisa |
Mon, Jan 13
3:30pm-4:30pm
|
Martin Room: Gates 345
|
590N: SE Reading GroupNullaway: practical type-based Null safety for Java |
Tue, Jan 14
12:00pm-1:30pm
|
POPL Speakers Room: Gates 253
|
PLSE LunchPOPL Practice Talks Lunch Czar: Ben |
Fri, Jan 17
3:30pm-4:30pm
|
Room: Gates 287
|
PL Reading GroupContinuations 2: czar: Marisa |
Mon, Jan 20
3:30pm-4:30pm
|
No meeting – holiday Room: Gates 345
|
590N: SE Reading Group |
Tue, Jan 21
12:00pm-1:30pm
|
Max Room: Gates 253
|
PLSE LunchEgg Lunch Czar: Chandra |
Fri, Jan 24
3:30pm-4:30pm
|
Ben, Chandra Room: Gates 287
|
PL Reading GroupDefunctionalization at work czar: Marisa |
Mon, Jan 27
3:30pm-4:30pm
|
Sam K. Room: Gates 345
|
590N: SE Reading GroupNotation as a tool of thought |
Tue, Jan 28
12:00pm-1:30pm
|
Everyone! Room: Ave
|
PLSE LunchAve lunch |
Fri, Jan 31
3:30pm-4:30pm
|
Oak Room: Gates 287
|
PL Reading GroupMulti-stage Programming 1: czar: Oak |
Mon, Feb 3
3:30pm-4:30pm
|
Anant Room: Gates 345
|
590N: SE Reading GroupProbabilistic Programming |
Tue, Feb 4
12:00pm-1:30pm
|
Jacob Room: Gates 253
|
PLSE LunchQuantum and PL Lunch Czar: Talia |
Fri, Feb 7
3:30pm-4:30pm
|
Room: Gates 287
|
PL Reading GroupMulti-stage Programming 2: czar: Oak |
Mon, Feb 10
3:30pm-4:30pm
|
Josh Room: Gates 345
|
590N: SE Reading GroupBinary reduction of dependency graphs |
Tue, Feb 11
12:00pm-1:30pm
|
Josh Room: Gates 253
|
PLSE LunchProject Sidewinder: Transforming Program State Visualizations Lunch czar: Gus |
Fri, Feb 14
3:30pm-4:30pm
|
Room: Gates 287
|
PL Reading GroupMulti-stage Programming 3: czar: Oak |
Mon, Feb 17
3:30pm-4:30pm
|
No meeting – holiday Room: Gates 345
|
590N: SE Reading Group |
Tue, Feb 18
12:00pm-1:30pm
|
Zhen Room: Gates 253
|
PLSE LunchLiquid: a high-level semantic pattern-matching DSL for program binaries Lunch czar: Chandra |
Fri, Feb 21
3:30pm-4:30pm
|
Room: Gates 287
|
PL Reading GroupMulti-stage Programming 4: czar: Oak |
Mon, Feb 24
3:30pm-4:30pm
|
Rashmi Room: Gates 345
|
590N: SE Reading GroupDetection and Repair of Architectural Inconsistencies in Java |
Tue, Feb 25
12:00pm-1:30pm
|
Everyone! Room: Ave
|
PLSE LunchAve lunch |
Fri, Feb 28
3:30pm-4:30pm
|
Jacob Room: Gates 287
|
PL Reading GroupOS Verification: czar: Jacob |
Mon, Mar 2
3:30pm-4:30pm
|
Ben Room: Gates 345
|
590N: SE Reading GroupSemantic Fuzzing with Zest |
Tue, Mar 3
12:00pm-1:30pm
|
Chandra Room: Gates 253
|
PLSE LunchSzalinski: High Level Structure Synthesis for CAD Lunch czar: Remy |
Fri, Mar 6
3:30pm-4:30pm
|
Room: Gates 287
|
PL Reading GroupOS Verification: czar: Jacob |
Mon, Mar 9
3:30pm-4:30pm
|
Zhen Room: Gates 345
|
590N: SE Reading GroupBDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation |
Tue, Mar 10
12:00pm-1:30pm
|
Cancelled due to COVID-19 Room: No lunch
|
PLSE LunchCancelled due to COVID-19 |
Fri, Mar 13
3:30pm-4:30pm
|
Room: Gates 287
|
PL Reading GroupOS Verification: czar: Jacob |
Mon, Mar 30
3:30pm-4:30pm
|
TODO Room: Zoom
|
590N: SE Reading GroupTODO |
Tue, Mar 31
12:00pm-1:30pm
|
Everyone Room: Zoom
|
PLSE (Virtual) LunchWelcome back |
Mon, Apr 6
3:30pm-4:30pm
|
Josh Pollock Room: Zoom
|
590N: SE Reading GroupIncorrectness Logic |
Tue, Apr 7
12:00pm-1:30pm
|
Oak Room: Zoom
|
PLSE (Virtual) LunchError tracer for symbolic evaluation |
Mon, Apr 13
3:30pm-4:30pm
|
Ben Room: Zoom
|
590N: SE Reading GroupTypestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities |
Tue, Apr 14
12:00pm-1:30pm
|
TBD Room: Zoom
|
PLSE (Virtual) LunchTBD |
Mon, Apr 20
3:30pm-4:30pm
|
Sahil Verma Room: Zoom
|
590N: SE Reading GroupStructure-Invariant Testing for Machine Translation |
Tue, Apr 21
12:00pm-1:30pm
|
TBD Room: Zoom
|
PLSE (Virtual) LunchTBD |
Mon, Apr 27
3:30pm-4:30pm
|
Kevin Ellis (MIT) Room: Zoom
|
590N: SE Reading GroupMeeting replaced by faculty candidate talk |
Tue, Apr 28
12:00pm-1:30pm
|
Luis Vega Room: Zoom
|
PLSE (Virtual) LunchTBD |
Mon, May 4
3:30pm-4:30pm
|
Eunice Room: Zoom
|
590N: SE Reading GroupWhen Not to Comment |
Tue, May 5
12:00pm-1:30pm
|
Gus Room: Zoom
|
PLSE (Virtual) LunchTBD |
Mon, May 11
3:30pm-4:30pm
|
Sam K. Room: Zoom
|
590N: SE Reading GroupTraining Binary Classifiers as Data Structure Invariants |
Tue, May 12
12:00pm-1:30pm
|
Martin Room: Zoom
|
PLSE (Virtual) LunchBig Experiments with Little Checkers |
Mon, May 18
3:30pm-4:30pm
|
Rashmi Room: Zoom
|
590N: SE Reading GroupConquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks |
Tue, May 19
12:00pm-1:30pm
|
Chandra Room: Zoom
|
PLSE (Virtual) LunchEarly draft of PLDI talk on Szalinski |
Mon, May 25
3:30pm-4:30pm
|
No meeting – Memorial Day Room: Zoom
|
590N: SE Reading Group |
Tue, May 26
12:00pm-1:30pm
|
Josh M. Pollock Room: Zoom
|
PLSE (Virtual) LunchSidewinder: Senior Thesis Presentation |
Mon, Jun 1
3:30pm-4:30pm
|
Zhen Zhang Room: Zoom
|
590N: SE Reading GroupExtracting Taint Specifications for JavaScript Libraries |
Tue, Jun 2
12:00pm-1:30pm
|
TBD Room: TBD
|
PLSE (Virtual) LunchTBD |
Mon, Jun 8
3:30pm-4:30pm
|
Martin Room: Zoom
|
590N: SE Reading GroupTailoring Programs for Static Analysis via Program Transformation |
Tue, Jun 9
12:00pm-1:30pm
|
Taylor Room: Zoom
|
PLSE (Virtual) LunchVerifying Strong Eventual Consistency in δ-CRDTs |
Mon, Oct 5
3:30pm-4:30pm
|
Rene Room: Zoom
|
590N: SE Reading GroupIntroduction |
Tue, Oct 6
12:00pm-1:30pm
|
Everyone Room: Zoom
|
PLSE (Virtual) LunchLightning Talks |
Mon, Oct 12
3:30pm-4:30pm
|
No meeting Room: Zoom
|
590N: SE Reading Group |
Tue, Oct 13
12:00pm-1:30pm
|
Talia Ringer Room: Zoom
|
PLSE (Virtual) LunchProof Repair Across Type Equivalences |
Mon, Oct 19
3:30pm-4:30pm
|
Thomas and Zhen Room: Zoom
|
590N: SE Reading GroupSoftware Documentation: The Practitioners’ Perspective |
Tue, Oct 20
12:00pm-1:30pm
|
Maaz Ahmad Room: Zoom
|
PLSE (Virtual) LunchSemantic Code Transformations by Verified Lifting |
Mon, Oct 26
3:30pm-4:30pm
|
Nico Room: Zoom
|
590N: SE Reading GroupHere We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language? |
Tue, Oct 27
12:00pm-1:30pm
|
TBD Room: Zoom
|
PLSE (Virtual) LunchTBD |
Mon, Nov 2
3:30pm-4:30pm
|
Wilson and Sam Room: Zoom
|
590N: SE Reading GroupAn Empirical Study on Program Failures of Deep Learning Jobs |
Tue, Nov 3
12:00pm-1:30pm
|
Oak Room: Zoom
|
PLSE (Virtual) LunchTBD |
Mon, Nov 9
3:30pm-4:30pm
|
Arthur and Katharine Room: Zoom
|
590N: SE Reading GroupThe Secret Life of Bugs: Going Past the Errors and Omissions in Software Repositories |
Tue, Nov 10
12:00pm-1:30pm
|
Stephanie Balzer, CMU Room: Zoom
|
PLSE (Virtual) LunchManifest Deadlock-Freedom for Shared Session Types |
Mon, Nov 16
3:30pm-4:30pm
|
Lior and Nick Room: Zoom
|
590N: SE Reading GroupVersion Control Systems: An Information Foraging Perspective |
Tue, Nov 17
12:00pm-1:30pm
|
Jacob Room: Zoom
|
PLSE (Virtual) LunchSynthesizing Crash Consistency Code |
Mon, Nov 23
3:30pm-4:30pm
|
Audrey & Ben Room: Zoom
|
590N: SE Reading GroupFlexeme: Untangling Commits Using Lexical Flows |
Tue, Nov 24
12:00pm-1:30pm
|
Aviral Goel Room: Zoom
|
PLSE (Virtual) LunchOn the Design, Implementation, and Use of Laziness in R |
Mon, Nov 30
3:30pm-4:30pm
|
Eunice & Rashmi Room: Zoom
|
590N: SE Reading GroupAbstracting failure-inducing inputs |
Tue, Dec 1
12:00pm-1:30pm
|
Chandra Room: Zoom
|
PLSE (Virtual) LunchRuler: Rewrite Rule Inference Using Equality Saturation |
Mon, Dec 7
3:30pm-4:30pm
|
Syed Room: Zoom
|
590N: SE Reading GroupA Study on the Lifecycle of Flaky Tests |
Tue, Dec 8
12:00pm-1:30pm
|
Chenglong Room: Zoom
|
PLSE (Virtual) LunchFalx: Synthesis Powered Data Visualization |
Mon, Dec 14
3:30pm-4:30pm
|
Martin and Michael F. Room: Zoom
|
590N: SE Reading GroupRevealing Injection Vulnerabilities by Leveraging Existing Tests |
Tue, Jan 5
12:00pm-1:00pm
|
Everyone Room: Zoom
|
PLSE (Virtual) LunchPlanning |
Mon, Jan 11
3:30pm-4:30pm
|
Rene Room: Zoom
|
590N: SE Reading GroupIntroduction |
Tue, Jan 12
12:00pm-1:00pm
|
TBD Room: Zoom
|
PLSE (Virtual) LunchTBD |
Mon, Jan 18
3:30pm-4:30pm
|
No meeting – holiday Room: Zoom
|
590N: SE Reading Group |
Tue, Jan 19
12:00pm-1:00pm
|
Everyone Room: Zoom
|
PLSE (Virtual) LunchResearch Potpourri |
Mon, Jan 25
3:30pm-4:30pm
|
Rashmi Room: Zoom
|
590N: SE Reading GroupBuild Scripts with Perfect Dependencies |
Tue, Jan 26
12:00pm-1:00pm
|
Julie Room: Zoom
|
PLSE (Virtual) LunchFormal methods and program synthesis for authoring and maintaining term rewriting systems |
Mon, Feb 1
3:30pm-4:30pm
|
Katharine and Zhen Room: Zoom
|
590N: SE Reading GroupPlease Turn Your Cameras On: Remote Onboarding of Software Developers during a Pandemic |
Tue, Feb 2
12:00pm-1:00pm
|
Thomas Room: Zoom
|
PLSE (Virtual) LunchCan Refactorings Indicate Design Tradeoffs? |
Mon, Feb 8
3:30pm-4:30pm
|
Audrey and Ben Room: Zoom
|
590N: SE Reading GroupBoosting Fuzzer Efficiency: An Information-Theoretic Perspective |
Tue, Feb 9
12:00pm-1:00pm
|
Martin Room: Zoom
|
PLSE (Virtual) LunchUsing types to verify that resources are closed |
Mon, Feb 15
3:30pm-4:30pm
|
No meeting – holiday Room: Zoom
|
590N: SE Reading Group |
Tue, Feb 16
12:00pm-1:00pm
|
Steven Room: Zoom
|
PLSE (Virtual) LunchDynamic Tensor Rematerialization |
Mon, Feb 22
3:30pm-4:30pm
|
James Room: Zoom
|
590N: SE Reading GroupWhen APIs are Intentionally Bypassed: An Exploratory Study of API Workarounds |
Tue, Feb 23
12:00pm-1:00pm
|
Rashmi Room: Zoom
|
PLSE (Virtual) LunchVerifying Iteration Correctness |
Mon, Mar 1
3:30pm-4:30pm
|
Nico Room: Zoom
|
590N: SE Reading GroupNo Strings Attached: An Empirical Study of String-related Software Bugs |
Tue, Mar 2
12:00pm-1:00pm
|
Bill Zorn Room: Zoom
|
PLSE (Virtual) LunchRounding correctly, or correctly rounding?: the future of sinking-point |
Mon, Mar 8
3:30pm-4:30pm
|
Martin Room: Zoom
|
590N: SE Reading GroupCommunity Expectations for Research Artifacts and Evaluation Processes |
Tue, Mar 9
12:00pm-1:00pm
|
Everyone Room: Zoom
|
PLSE (Virtual) LunchVisit Day Prep |
Mon, Mar 15
3:30pm-4:30pm
|
Thomas Room: Zoom
|
590N: SE Reading GroupAssessing Practitioner Beliefs about Software Defect Prediction |
Mon, Mar 29
3:30pm-4:30pm
|
Rene Room: Zoom
|
590N: SE Reading GroupIntroduction |
Tue, Mar 30
12:00pm-1:00pm
|
Everyone Room: Zoom
|
PLSE (Virtual) LunchPlanning |
Mon, Apr 5
3:30pm-4:30pm
|
Martin Room: Zoom
|
590N: SE Reading GroupAutomatically Eliminating Speculative Leaks from Cryptographic Code with Blade |
Tue, Apr 6
12:00pm-1:00pm
|
TBD Room: Zoom
|
PLSE (Virtual) LunchTBD |
Mon, Apr 12
3:30pm-4:30pm
|
Ben Room: Zoom
|
590N: SE Reading GroupTransRegex: Multi-modal Regular Expression Synthesis by Generate-and-repair |
Tue, Apr 13
12:00pm-1:00pm
|
Ryan Doenges Room: Zoom
|
PLSE (Virtual) LunchPetr4: Formal Foundations for P4 Data Planes |
Mon, Apr 19
3:30pm-4:30pm
|
Audrey Room: Zoom
|
590N: SE Reading GroupA Tale from the Trenches: Cognitive Biases and Software Development |
Tue, Apr 20
12:00pm-1:00pm
|
Jacob Room: Zoom
|
PLSE (Virtual) LunchTBD |
Mon, Apr 26
3:30pm-4:30pm
|
Thomas Room: Zoom
|
590N: SE Reading GroupHow (Not) to Find Bugs: The Interplay Between Merge Conflicts, Co-Changes, and Bugs |
Tue, Apr 27
12:00pm-1:00pm
|
Steven Room: Zoom
|
PLSE (Virtual) Lunch3LA |
Mon, May 3
3:30pm-4:30pm
|
James Room: Zoom
|
590N: SE Reading GroupAspect Oriented Programming |
Tue, May 4
12:00pm-1:00pm
|
Rashmi Room: Zoom
|
PLSE (Virtual) LunchVerifying Determinism in Sequential Programs - ICSE practice talk |
Mon, May 10
3:30pm-4:30pm
|
Blarry + Nico Room: Zoom
|
590N: SE Reading GroupExempla gratis (E.G.): code examples for free |
Tue, May 11
12:00pm-1:00pm
|
Gus Room: Zoom
|
PLSE (Virtual) LunchGlenside |
Mon, May 17
3:30pm-4:30pm
|
Jerome + Rock Room: Zoom
|
590N: SE Reading GroupWhite-box Fairness Testing through Adversarial Sampling |
Tue, May 18
12:00pm-1:00pm
|
Loris D’Antoni Room: Zoom
|
PLSE (Virtual) LunchProgrammable Program Synthesis |
Mon, May 24
3:30pm-4:30pm
|
No meeting - holiday (Victoria Day, CAN) Room: Zoom
|
590N: SE Reading Group |
Tue, May 25
12:00pm-1:00pm
|
TBD Room: Zoom
|
PLSE (Virtual) LunchLikely canceled in deference to Grad Lunch With the Director |
Mon, May 31
3:30pm-4:30pm
|
Arthur Room: Zoom
|
590N: SE Reading GroupHow Do Software Developers Use GitHub Actions to Automate Their Workflows? |
Tue, Jun 1
12:00pm-1:00pm
|
Yihong Zhang Room: Zoom
|
PLSE (Virtual) LunchRelational E-graphs |
Mon, Jun 7
3:30pm-4:30pm
|
Rashmi Room: Zoom
|
590N: SE Reading GroupJShrink: In-Depth Investigation into Debloating Modern Java Applications |
Fri, Oct 1
1:00pm-2:00pm
|
Rachit Nigam, PhD Student, Cornell University Room: Gates 231
|
PLSE TalksCompiler Infrastructure for Accelerator Generators |
Mon, Oct 4
3:30pm-4:30pm
|
Rene & Mike Room: Zoom
|
590N: SE Reading GroupIntroduction |
Fri, Oct 8
1:00pm-2:00pm
|
Jacques Klein Room: Gates 231
|
PLSE TalksA Journey Through Android App Analysis: Solutions and Open Challenges |
Mon, Oct 11
3:30pm-4:30pm
|
Ben (Indigenous People’s Day, Canadian Thanksgiving) Room: Zoom
|
590N: SE Reading GroupInput Algebras |
Fri, Oct 15
1:00pm-2:00pm
|
Luis Vega |
PLSE TalksLuis’s General Exam (at 11:30am) |
Mon, Oct 18
3:30pm-4:30pm
|
Bowen Room: Zoom
|
590N: SE Reading GroupMicroHECL: High-Efficient Root Cause Localization in Large-Scale Microservice Systems |
Fri, Oct 22
1:00pm-2:00pm
|
Room: Gates 231
|
PLSE TalksOOPSLA week |
Mon, Oct 25
3:30pm-4:30pm
|
Thomas Room: Zoom
|
590N: SE Reading GroupExtracting Concise Bug-Fixing Patches from Human-Written Patches in Version Control Systems |
Fri, Oct 29
1:00pm-2:00pm
|
Oak Room: Gates 231
|
PLSE TalksAn Expressive, Optimal, and Somewhat Efficient Pretty Printer |
Mon, Nov 1
3:30pm-4:30pm
|
Ardi Madadi Room: Zoom
|
590N: SE Reading GroupWhat It Would Take to Use Mutation Testing in Industry—A Study at Facebook |
Thu, Nov 4
12:00pm-1:00pm
|
Mangpo Phothilimthana |
PLSE TalksAutotuning Production Machine Learning Compilers |
Fri, Nov 5
1:00pm-2:00pm
|
Daniel Shapero Room: Gates 231
|
PLSE TalksGeometry, topology, and homology, oh my! (Mesh transformations via SMT) |
Mon, Nov 8
3:30pm-4:30pm
|
Ryan Featherman Room: Zoom
|
590N: SE Reading GroupEstimating Residual Risk in Greybox Fuzzing |
Fri, Nov 12
1:00pm-2:00pm
|
Jacob Van Geffen Room: Gates 231
|
PLSE TalksTBD |
Mon, Nov 15
3:30pm-4:30pm
|
Hannah + Terrell Room: Zoom
|
590N: SE Reading GroupHow Do Programmers Use Unsafe Rust? |
Fri, Nov 19
1:00pm-2:00pm
|
Room: Gates 253
|
PLSE TalksPLDI deadline |
Mon, Nov 22
3:30pm-4:30pm
|
James + Arthur Room: Zoom
|
590N: SE Reading GroupTowards Activity-Aware Tool Support for Change Tasks |
Fri, Nov 26
1:00pm-2:00pm
|
Thanksgiving Holiday Room: Gates 253
|
PLSE Talks |
Mon, Nov 29
3:30pm-4:30pm
|
Nico Room: Zoom
|
590N: SE Reading GroupRelating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study |
Fri, Dec 3
1:00pm-2:00pm
|
Remy Wang Room: Gates 231
|
PLSE TalksWhat is the Logic of Databases? |
Mon, Dec 6
3:30pm-4:30pm
|
Martin Room: Zoom
|
590N: SE Reading GroupJavaDL: Automatically Incrementalizing Java Bug Pattern Detection |
Fri, Dec 10
1:00pm-2:00pm
|
Room: Gates 231
|
PLSE Talks |
Mon, Dec 13
3:30pm-4:30pm
|
Bernease & Rene Room: Zoom
|
590N: SE Reading GroupFairness through awareness |
Fri, Jan 7
1:00pm-2:00pm
|
Steven Lyubomirsky Room: Gates 253
|
PLSE TalksPractice job talk |
Mon, Jan 10
3:30pm-4:30pm
|
Mike and Rene Room: Zoom/CSE2 345
|
590N: SE Reading GroupCiFi: Versatile Analysis of Class and Field Immutability |
Fri, Jan 14
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, Jan 17
3:30pm-4:30pm
|
No meeting – holiday Room: Zoom/CSE2 345
|
590N: SE Reading Group |
Fri, Jan 21
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, Jan 24
3:30pm-4:30pm
|
Bowen Room: Zoom/CSE2 345
|
590N: SE Reading GroupHALO: Hierarchy-aware Fault Localization for Cloud Systems |
Fri, Jan 28
1:00pm-2:00pm
|
Steven Lyubomirsky Room: Gates 253
|
PLSE TalksPractice job talk (another one) |
Mon, Jan 31
3:30pm-4:30pm
|
Thomas Room: Zoom/CSE2 345
|
590N: SE Reading GroupThe Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding |
Fri, Feb 4
1:00pm-2:00pm
|
Martin Room: Gates 253
|
PLSE TalksPractice job talk |
Mon, Feb 7
3:30pm-4:30pm
|
Michael Room: Zoom/CSE2 345
|
590N: SE Reading Group‘Do this! Do that!, And nothing will happen’ Do specifications lead to securely stored passwords? |
Fri, Feb 11
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, Feb 14
3:30pm-4:30pm
|
James Room: Zoom/CSE2 345
|
590N: SE Reading GroupHard-to-answer questions about code |
Fri, Feb 18
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, Feb 21
3:30pm-4:30pm
|
No meeting – holiday Room: Zoom/CSE2 345
|
590N: SE Reading Group |
Fri, Feb 25
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, Feb 28
3:30pm-4:30pm
|
Nico Room: Zoom/CSE2 345
|
590N: SE Reading GroupHashing It Out: A Survey of Programmers’ Cannabis Usage, Perception, and Motivation |
Fri, Mar 4
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, Mar 7
3:30pm-4:30pm
|
Ben Room: Zoom/CSE2 345
|
590N: SE Reading GroupGrowing A Test Corpus with Bonsai Fuzzing |
Fri, Mar 11
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, Mar 14
3:30pm-4:30pm
|
Chase Room: Zoom/CSE2 345
|
590N: SE Reading Group‘How Was Your Weekend?’ Software Development Teams Working From Home During COVID-19 |
Fri, Mar 18
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, Mar 28
3:30pm-4:30pm
|
René Room: Zoom + CSE2 245
|
590N: SE Reading GroupIntroduction, logistics, and paper selection |
Fri, Apr 1
1:00pm-2:00pm
|
Everyone! Room: Boat?
|
PLSE TalksVisit Days! |
Mon, Apr 4
3:30pm-4:30pm
|
Ardi Madadi Room: Zoom + CSE2 245
|
590N: SE Reading GroupSemantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs |
Fri, Apr 8
1:00pm-2:00pm
|
Josh Pollock Room: Gates 253
|
PLSE TalksTowards a Design-Space Evaluation of Domain-Specific Languages |
Mon, Apr 11
3:30pm-4:30pm
|
Hannah Potter Room: Zoom + CSE2 245
|
590N: SE Reading GroupHow statically-typed functional programmers write code |
Fri, Apr 15
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, Apr 18
3:30pm-4:30pm
|
Nico Ritschel Room: Zoom + CSE2 245
|
590N: SE Reading GroupAn Empirical Study of Release Note Production and Usage in Practice |
Fri, Apr 22
1:00pm-2:00pm
|
Eric Mullen Room: Gates 253
|
PLSE TalksEARTH DAY: Energy-aware Scheduling – Rescheduled to May 20 |
Mon, Apr 25
3:30pm-4:30pm
|
Thomas Schweizer Room: Zoom + CSE2 245
|
590N: SE Reading GroupFIRA: Fine-Grained Graph-Based Code Change Representation for Automated Commit Message Generation |
Fri, Apr 29
1:00pm-2:00pm
|
TBD Room: Gates 253
|
PLSE TalksTBD |
Mon, May 2
3:30pm-4:30pm
|
Michael Flanders Room: Zoom + CSE2 245
|
590N: SE Reading GroupLess is More: Supporting Developers in Vulnerability Detection during Code Review |
Fri, May 6
1:00pm-2:00pm
|
Gus Smith Room: Gates 371 (NOT the PLSE lab!)
|
PLSE TalksGus Smith’s General Exam |
Mon, May 9
3:30pm-4:30pm
|
Marie Salomon Room: Zoom + CSE2 245
|
590N: SE Reading GroupAre automated debugging techniques actually helping programmers? |
Fri, May 13
1:00pm-2:00pm
|
Yihong Zhang Room: Gates 253 (The presenter will be remote)
|
PLSE TalksChasing an Egg |
Mon, May 16
3:30pm-4:30pm
|
James Yoo Room: Zoom + CSE2 245
|
590N: SE Reading GroupHiring is Broken: What Do Developers Say About Technical Interviews? |
Fri, May 20
1:00pm-2:00pm
|
Eric Mullen Room: Gates 253
|
PLSE TalksEARTH DAY: Energy-aware Scheduling – Rescheduled to May 20 |
Mon, May 23
3:30pm-4:30pm
|
Ben Kushigian Room: Zoom + CSE2 245
|
590N: SE Reading GroupRefty: Refinement Types for Valid Deep Learning Models |
Fri, May 27
1:00pm-2:00pm
|
Lancelot Wathieu Room: Gates 253
|
PLSE TalksFridge Compiler |
Mon, May 30
3:30pm-4:30pm
|
No meeting – holiday Room: Zoom + CSE2 245
|
590N: SE Reading Group |
Fri, Jun 3
1:00pm-2:00pm
|
Marisa Kirisame Room: Gates 371
|
PLSE TalksOptimal Heap Limits for Reducing Browser Memory Use Note room: Not the PLSE lab! |
Mon, Jun 6
3:30pm-4:30pm
|
Martin Kellogg Room: Zoom + CSE2 245
|
590N: SE Reading GroupDiversity-Driven Automated Formal Verification |
Subscribe to aggregated calendar: iCal or Google Calendar