Martin Pohlack
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2003–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FMCAD | Using model checking tools to triage the severity of security bugs in the Xen hypervisor. | Byron Cook, Bjrn Dbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz |
| 2010 | EuroSys | Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack. | Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Rivire |
| 2010 | MICRO | ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory. | Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman |
| 2006 | RTSS | Principles for the Prediction of Video Decoding Times Applied to MPEG-1/2 and MPEG-4 Part 2 Video. | Michael Roitzsch, Martin Pohlack |
| 2003 | RTSS | Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS). | Lars Reuther, Martin Pohlack |