Stephen Tse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2005
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ESOP | A Design for a Security-Typed Language with Certificate-Based Declassification. | Stephen Tse, Steve Zdancewic |
| 2004 | ICFP | Translating dependency into parametricity. | Stephen Tse, Steve Zdancewic |
| 2004 | SP | Run-time Principals in Information-flow Type Systems. | Stephen Tse, Steve Zdancewic |