quickq-outline

Tools for Reasoning about Web Page Layouts

• Download
• Support
• 如何设置伕理ip上网
• Papers

The Cassius Project develops tools that understand how web pages render. Leveraging modern equation solvers, the Cassius Project hopes to develop a new class of verification, synthesis and debugging tools for web pages.

quickq-outline

VizAssert checks that your website satisfies accessibility, usability, and design properties, no matter the user's device size, font size preferences, or browser.

(define-test (interactive-onscreen b)
  (=> (is-interactive b) (onscreen b))

VizAssert provides mathematical guarantees that, if your assertion passes, no possible set of device size or user preferences could violate the assertion. When that can't be done, VizAssert provides a counterexample and points out the element that violates the assertion. VizAssert works on most small web pages 50–200 elements in size.

quickq-outline

The Cassius Framework is a mathematical formalization of web page layout, mostly implementing CSS 2.1. CSS is huge, so Cassius supports only a subset:

• The CSS 2.1 box model: margins, padding, and borders
• Min and max widths and heights
• Percentage and em measurements
• Colors, foreground and background
• The inline, block, and 如何使用伕理ip上网 display modes
• line-height and font-size
• position and positioning properties
• float and clear

The Cassius Framework matches the behavior of existing web browsers and passes the official conformance tests. It is the core of the tools developed by the Cassius Project. The theoretical foundations of the Cassius Framework are described in our OOPSLA'16 paper.

quickq-outline

1. 如何使用伕理ip上网Our paper on Troika, the proof assistant version of VizAssert, has been accepted to OOPSLA’19! Come talk to us in Athens!
2. 30 AugPavel talked about Cassius at the University of Utah Research Colloquium.
3. 15 JulyPavel gave a summary of the Cassius project at MSR.
4. 29 SeptPavel gave 手机如何使用伕理ip上网 of the Cassius project at 国外ip地址伕理.
5. 2 AugAdam has published a description of his minimizer for web pages, which he built to help debug Cassius.
6. 20 JunPavel gave the talk on VizAssert at PLDI 2018.
7. 14 MayPavel gave a talk on the broader Cassius project at PNW PLSE 2018.
8. 如何伕理上网VizAssert has been accepted to PLDI’18. Come talk to us in Philly!
9. 3 AugCassius has been accepted to OOPSLA'16. Read our paper to find out how Cassius works.
10. 21 DecPavel Panchekha, the main author of Cassius, won the Adobe Research Fellowship for his work on Cassius.

quickq-outline

The Cassius Project comes from the Programming Languages and Software Engineering group at the University of Washington. It is developed by Pavel Panchekha, Adam Timothy Geller, Shoaib Kamil, Michael Ernst, Zachary Tatlock, and Emina Torlak.