usenix conference policies
Provenance and Higher-Order Software Contracts
Website Maintenance Alert
Due to scheduled maintenance, the USENIX website may not be available on Monday, March 17, from 10:00 am–6:00 pm Pacific Daylight Time (UTC -7). We apologize for the inconvenience and thank you for your patience.
If you would like to register for NSDI '25, SREcon25 Americas, or PEPR '25, please complete your registration before or after this time period.
| 12 Tuesday | 13 Wednesday | 14 Thursday | 15 Friday |
|---|---|---|---|
| HotCloud '12 | TaPP '12 | ||
| WiAC '12 | USENIX ATC '12 | ||
| UCMS '12 | HotStorage '12 | NSDR '12 | |
| USENIX Cyberlaw '12 | WebApps '12 |
||
Open Access Media
USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. Support USENIX and our commitment to Open Access.
BibTeX
@conference {255770,
title = {Provenance and {Higher-Order} Software Contracts},
year = {2012},
address = {Boston, MA},
publisher = {USENIX Association},
month = jun
}
title = {Provenance and {Higher-Order} Software Contracts},
year = {2012},
address = {Boston, MA},
publisher = {USENIX Association},
month = jun
}
Presentation Video
Mute
Current Time 0:00
/
Duration Time 0:00
Loaded: 0%
Progress: 0%
Stream TypeLIVE
Remaining Time -0:00
Playback Rate
1
Chapters
- Chapters
Subtitles
- subtitles off
Captions
- captions off
This is a modal window.
Presentation Audio
Links
Paper:
Paper (HTML):
Slides:
connect with us