Michael Hicks - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 54 from 54

2021

BullFrog: Online Schema Evolution via Lazy EvaluationSouvik Bhattacherjee, Gang Liao, Michael Hicks, Daniel J. Abadi. SIGMOD 2021: 194-206 [doi]

2017

Decomposition instead of self-composition for proving the absence of timing channelsTimos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei. PLDI 2017: 362-375 [doi]

Counterexample-guided approach to finding numerical invariantsThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks. FSE 2017: 605-615 [doi]

2016

IEEE SecDev 2016: Prioritizing Secure DevelopmentRobert K. Cunningham, Pamela Gupta, Ulf Lindqvist, Stelios Sidiroglou-Douskos, Michael Hicks. ieeesp, 14(4):82-84, 2016. [doi]

Tedsuto: A General Framework for Testing Dynamic Software UpdatesLuís Pina, Michael Hicks. icst 2016: 278-287 [doi]

2014

2013

Principles of POPLDerek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Phil Wadler. SIGPLAN, 48(4S):12-16, 2013. [doi]

Expositor: scriptable time-travel debugging with first-class tracesYit Phang Khoo, Jeffrey S. Foster, Michael Hicks. ICSE 2013: 352-361 [doi]

Memory Trace Oblivious Program ExecutionChang Liu, Michael Hicks, Elaine Shi. csfw 2013: 51-65 [doi]

Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretationPiotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa. jcs, 21(4):463-532, 2013. [doi]

Rubah: Efficient, General-purpose Dynamic Software Updating for JavaLuís Pina, Michael Hicks. HotSWUp 2013: [doi]

Knowledge inference for optimizing secure multi-party computationAseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer. PLDI 2013: 3-14 [doi]

Finding lesion correspondences in different views of automated 3D breast ultrasoundTao Tan, Bram Platel, Michael Hicks, Ritse M. Mann, Nico Karssemeijer. micad 2013: [doi]

2012

A study of dynamic software update quiescence for multithreaded programsChristopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster. HotSWUp 2012: 6-10 [doi]

Kitsune: efficient, general-purpose dynamic software updating for CChristopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster. OOPSLA 2012: 249-264 [doi]

Evaluating Dynamic Software Update Safety Using Systematic TestingChristopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster. TSE, 38(6):1340-1354, 2012. [doi]

Specifying and Verifying the Correctness of Dynamic Software UpdatesChristopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster. vstte 2012: 278-293 [doi]

Automating object transformations for dynamic software updatingStephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley. OOPSLA 2012: 265-280 [doi]

Knowledge-oriented secure multiparty computationPiotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa. PLDI 2012: 2 [doi]

Towards standardized benchmarks for Dynamic Software Updating systemsEdward K. Smith, Michael Hicks, Jeffrey S. Foster. HotSWUp 2012: 11-15 [doi]

2011

Dynamic inference of static types for rubyJong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks. POPL 2011: 459-472 [doi]

State transfer for clear and efficient runtime updatesChristopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster. icde 2011: 179-184 [doi]

ForewordMichael Hicks, Rida A. Bazzi, Carlo Zaniolo. icde 2011: 132-133 [doi]

Directed Symbolic ExecutionKin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks. SAS 2011: 95-111 [doi]

Dynamic Enforcement of Knowledge-Based Security PoliciesPiotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa. csfw 2011: 114-128 [doi]

LOCKSMITH: Practical static race detection for CPolyvios Pratikakis, Jeffrey S. Foster, Michael Hicks. TOPLAS, 33(1):3, 2011. [doi]

Lightweight monadic programming in MLNikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks. ICFP 2011: 15-27 [doi]

2010

2009

2008

Implicit Flows: Can't Live with 'Em, Can't Live without 'EmDave King 0002, Boniface Hicks, Michael Hicks, Trent Jaeger. iciss 2008: 56-70 [doi]

Path projection for user-centered static analysis toolsYit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal. PASTE 2008: 57-63 [doi]

Contextual effects for version-consistent dynamic software updatingalland safe concurrent programmingIulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis. POPL 2008: 37-49 [doi]

Formalizing Soundness of Contextual EffectsPolyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu. tphol 2008: 262-277 [doi]

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reductionPeter Sewell, Gareth Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough. JFP, 18(4):437-502, 2008. [doi]

Modular Information Hiding and Type-Safe Linking for CSaurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins. TSE, 34(3):357-376, 2008. [doi]

Verified enforcement of stateful information release policiesNikhil Swamy, Michael Hicks. PLDI 2008: 21-32 [doi]

Fable: A Language for Enforcing User-defined Security PoliciesNikhil Swamy, Brian J. Corcoran, Michael Hicks. sp 2008: 369-383 [doi]

Verified enforcement of stateful information release policiesNikhil Swamy, Michael Hicks. SIGPLAN, 43(12):21-31, 2008. [doi]

2007

Defeating script injection attacks with browser-enforced embedded policiesTrevor Jim, Nikhil Swamy, Michael Hicks. WWW 2007: 601-610 [doi]

Modular information hiding and type-safe linking for CSaurabh Srivastava, Michael Hicks, Jeffrey S. Foster. tldi 2007: 3-14 [doi]

2006

2005

Understanding source code evolution using abstract syntax tree matchingIulian Neamtiu, Jeffrey S. Foster, Michael Hicks. sigsoft, 30(4):1-5, 2005. [doi]

Merging Network Measurement with Data TransportPavlos Papageorgiou, Michael Hicks. ppam 2005: 368-371 [doi]

Dynamic inference of polymorphic lock typesJames Rose, Nikhil Swamy, Michael Hicks. SCP, 58(3):366-383, 2005. [doi]

2003

Dynamic rebinding for marshalling and update, with destruct-time ?Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough. SIGPLAN, 38(9):99-110, 2003. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Michael Hicks'

Viewing Publication 1 - 54 from 54

2021

2017

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Michael Hicks'

Viewing Publication 1 - 54 from 54

2021

2017

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1