io-port.net

io-port 06068781 Hayden, Christopher M.; Magill, Stephen; Hicks, Michael; Foster, Nate; Foster, Jeffrey S.

Specifying and verifying the correctness of dynamic software updates. (English)

Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 278-293 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05949422 Ma, Kin-Keung; Yit Phang, Khoo; Foster, Jeffrey S.; Hicks, Michael

Directed symbolic execution. (English)

Yahav, Eran (ed.), Static analysis. 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23701-0/pbk). Lecture Notes in Computer Science 6887, 95-111 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05941131 Bernard, Thomas A.M.; Grelck, Clemens; Hicks, Michael A.; Jesshope, Chris R.; Poss, Raphael

Resource-agnostic programming for many-core microgrids. (English)

Guarracino, Mario R. (ed.) et al., Euro-Par 2010 parallel processing workshops. HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC. Ischia, Italy, August 31 ‒ September 3, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21877-4/pbk). Lecture Notes in Computer Science 6586, 109-116 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50215733 Pratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael

LOCKSMITH: practical static race detection for C (English)

ACM Trans. Program. Lang. Syst. 33, No. 1, 3 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70019357 Sturton, Cynthia; Hicks, Matthew; Wagner, David; King, Samuel T.

Defeating UCI: building stealthy and malicious hardware (English)

IEEE Symposium on Security and Privacy, 64-77 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70286943 Hicks, Michael; Bazzi, Rida A.; Zaniolo, Carlo

Foreword (English)

ICDE Workshops, 132-133 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70288802 Hayden, Christopher M.; Smith, Edward K.; Hicks, Michael; Foster, Jeffrey S.

State transfer for clear and efficient runtime updates (English)

ICDE Workshops, 179-184 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70322166 An, Jong-Hoon (David); Chaudhuri, Avik; Foster, Jeffrey S.; Hicks, Michael

Dynamic inference of static types for ruby (English)

POPL, 459-472 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70580702 Mardziel, Piotr; Magill, Stephen; Hicks, Michael; Srivatsa, Mudhakar

Dynamic enforcement of knowledge-based security policies (English)

CSF, 114-128 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70583184 Swamy, Nikhil; Guts, Nataliya; Leijen, Daan; Hicks, Michael

Lightweight monadic programming in ML (English)

ICFP, 15-27 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70840360 Ma, Kin-Keung; Khoo, Yit Phang; Foster, Jeffrey S.; Hicks, Michael

Directed symbolic execution (English)

SAS, 95-111 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05901296 Meister, Jeffrey A.; Foster, Jeffrey S.; Hicks, Michael

Serializing C intermediate representations for efficient and portable parsing. (English)

Softw., Pract. Exper. 40, No. 3, 225-238 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50145473 Meister, Jeffrey A.; Foster, Jeffrey S.; Hicks, Michael

Serializing C intermediate representations for efficient and portable parsing (English)

Softw., Pract. Exper. 40, No. 3, 225-238 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50258459 Hicks, M.

Only the clothes changed: women operators in british computing and advertising, 1950-1970 (English)

IEEE Annals of the History of Computing 32, No. 4, 5-17 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70019601 Hicks, Matthew; Finnicum, Murph; King, Samuel T.; Martin, Milo M. K.; Smith, Jonathan M.

Overcoming an untrusted computing base: detecting and removing malicious hardware automatically (English)

IEEE Symposium on Security and Privacy, 159-172 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70020001 Hicks, Michael A.; Van Tol, Michiel W.; Jesshope, Chris R.

Towards scalable I/O on a many-core architecture (English)

ICSAMOS, 341-348 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70076697 Bernard, Thomas A. M.; Grelck, Clemens; Hicks, Michael A.; Jesshope, Chris R.; Poss, Raphaël

Resource-agnostic programming for many-core microgrids (English)

Euro-Par Workshops, 109-116 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70321353 Martin, Jean-Phillipe; Hicks, Michael; Costa, Manuel; Akritidis, Periklis; Castro, Miguel

Dynamically checking ownership policies in concurrent c/c++ programs (English)

POPL, 457-470 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70059650 Subramanian, Suriya; Hicks, Michael W.; Mckinley, Kathryn S.

Dynamic software updates: a VM-centric approach (English)

PLDI, 1-12 (2009).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70059818 Neamtiu, Iulian; Hicks, Michael W.

Safe and timely updates to multi-threaded programs (English)

PLDI, 13-24 (2009).

20

PDF XML AMS-TeX TEXT BIBTeX DOI