392 citations
- Argonne National LaboratoryUS11 papers
- Lawrence Livermore National LaboratoryUS10 papers
- The University of Texas at AustinUS10 papers
- University of California, BerkeleyUS8 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Santa Fe InstituteUS6 papers
- Florida State UniversityUS5 papers
- Fudan UniversityCN5 papers
- Intel (United States)US5 papers
- Oregon State UniversityUS5 papers
- Wayne State UniversityUS5 papers
- Los Alamos National LaboratoryUS4 papers
Showing 2019 · cs.PLShow all
2 papers · 2 filters
cs.PL2019
Equivalence Checking of Non-deterministic Operations
Sergio Antoy, Michael Hanus
Checking the semantic equivalence of operations is an important task in software development. For instance, regression testing is a routine task performed when software systems are…
cs.PL2019
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Developing interactive applications (apps) against event-driven software frameworks such as Android is notoriously difficult. To create apps that behave as expected, developers mus…