archive-edu.com » EDU » C » COLUMBIA.EDU

Total: 442

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • OpenSig 2003
    and theoretical results aimed at a better understanding of the issues involved in flexible programmable network architecture and the evolution of existing infrastructure in that direction If you are interested in presenting please check out the call for papers The workshop traditionally contains a number of invited talks We ask that speakers submit a two page abstract of their proposed talk on one of the topics mentioned below or other

    Original URL path: http://www.cs.columbia.edu/opensig2003/ (2016-02-17)
    Open archived version from archive


  • Henning Schulzrinne: Contact Information
    0401 1214 Amsterdam Avenue New York NY 10027 7003 United States Department of Computer Science Columbia University 450 Computer Science Building 500 West 120th Street New York NY 10027 7003 USA phone 1 212 939 7000 1 208 692 4508 email delivered preferred or 1 212 666 0140 paper office 1 212 939 7042 1 732 292 3259 Department of Computer Science 1 212 939 7000 voice mail 1 212

    Original URL path: http://www.cs.columbia.edu/~hgs/contact.html (2016-02-17)
    Open archived version from archive


  • Demo hints Hotels Hotels India Interviewing Writing an introduction Sutherland Jobs dated Letters of recommendation Software licenses Limo services man style For new faculty Peanuts Project checklist Proposals Publishing Reports Restaurants Reviewing papers Hints for talks German computer terms TeX

    Original URL path: http://www.cs.columbia.edu/~hgs/etc/ (2016-02-17)
    Open archived version from archive


  • Bio 200 words 100 words 75 words additional brief with dates in German in German short security related technical interests NSF 2 page Microsoft Academic Search

    Original URL path: http://www.cs.columbia.edu/~hgs/resume/ (2016-02-17)
    Open archived version from archive


  • No access

    Original URL path: http://www.cs.columbia.edu/~hgs/personal/ (2016-02-17)
    Open archived version from archive

  • Rocco Servedio's Home Page
    Committee co chair APPROX RANDOM 2012 COLT 2008 ALT 2007 Program Committee member ICALP 2015 COLT 2014 ISAIM 2014 STOC 2013 CCC 2012 ALT 2012 FOCS 2011 ICS 2011 RANDOM 2010 STOC 2009 CCC 2008 SODA 2008 COLT 2007 TAMC 2007 STOC 2006 ICML 2006 COLT 2005 ICML 2005 FOCS 2004 RANDOM 2004 ALT 2004 ICML 2004 ALT 2003 COLT 2002 ICML 2002 A Very Brief And Dry Biography Before coming to Columbia I was an NSF Mathematical Sciences postdoc in the Division of Engineering and Applied Sciences at Harvard University I received my Ph D in computer science my MS in computer science and my AB in Mathematics all from Harvard Miscellaneous Spring 2015 office hours by appointment Come check out the Theory Group at Columbia Click here for some personal stuff If you are looking for milk free egg free recipes for chocolate cake or double layer birthday cake you ve come to the right place Chocolate cake recipe due to Andrea double layer birthday cake taken from The Food Allergy and Anaphylaxis Network recipe page Contact Information Mailing address Columbia University Computer Science Department 500 W 120th Street Room 450 MC 0401 New York NY 10027 Phone

    Original URL path: http://www.cs.columbia.edu/~rocco/ (2016-02-17)
    Open archived version from archive

  • Simha Sethumadhavan's Home Page
    An Uncore Architecture for Dynamic Information Flow Tracking in Heterogeneous Embedded SoCs CODES ISSS 2013 pdf On the Feasibility of Online Malware Detection with Performance Counters ISCA 13 pdf A Quantitative Experimental Approach to Measuring Side Channel Security IEEE Micro Top Picks 12 IEEEXplore Practical Lightweight Secure Inclusion of Third Party Intellectual Property IEEE Design and Test IEEEXplore Concurrency Attacks HotPar 12 web TimeWarp Rethinking Timekeeping and Performance Monitoring Mechanisms to Mitigate Side Channel Attacks ISCA 12 pdf presentation Side channel Vulnerability Factor A Metric for Measuring Information Leakage ISCA 12 pdf Presentation Data Software Architecture Top Pick 12 Approximate Graph Clustering for Program Characterization TACO 12 pdf A Case for Hybrid Discrete Continuous Architectures CAL 11 pdf The SPARCHS Project Hardware Support for Software Security SysSEC 11 pdf Rapid Identification of Architectural Bottlenecks via Precise Event Counting ISCA 11 pdf Silencing Hardware Backdoors IEEE Security and Privacy 2011 Oakland 11 pdf Tamper Evident Microprocessors IEEE Security and Privacy 2010 Oakland 10 pdf COMPASS A Community driven Parallelization Advisor for Sequential Software IWMSE 09 pdf Multitasking Workload Scheduling in Flexible Core Chip Multiprocessors PACT 2008 pdf Composable Lightweight Processors Micro 07 pdf Full list Recruiting If you are an exceptional student and interested in doing cutting edge research in Computer Architecture Digital and Analog VLSI Design and Hardware Security I invite you to apply to join our group We welcome people of any gender identity or expression race ethnicity nationality sexual orientation religion culture subculture and political opinion Partially reproduced from Dreamwidth Learn about New York City as it is Postdocs and Research Scientists Hiroshi Sasaki Jon Weisz PhD Students Yipeng Huang Vincent Mierlak Co Advised with Martha Kim Kanad Sinha Adrian Tang Co Advised with Sal Stolfo Mike Su Co Advised with Gail Kaiser Miguel Yanez MS Students Undergraduate

    Original URL path: http://www.cs.columbia.edu/~simha/ (2016-02-17)
    Open archived version from archive

  • Junfeng Yang, Systems, Computer Science Professor, Columbia University
    vision of stable multithreading StableMT a radical approach to making multithreading reliable and summarizes our last five years of work on designing building and applying stable multithreading systems The final version of this paper will appear in CACM Parrot a Practical Runtime for Deterministic Stable and Reliable Threads nbsp bib Heming Cui Jiri Simsa Yi Hong Lin Hao Li Ben Blum Xinan Xu Junfeng Yang Garth A Gibson Randal E Bryant Proceedings of the 24th ACM Symposium on Operating Systems Principles SOSP 13 November 2013 Describes Parrot a simple deployable thread runtime system for improving reliability with low overhead This is our most recent and best paper on stable and deterministic multithreading Practical Software Model Checking via Dynamic Interface Reduction nbsp bib Huayang Guo Ming Wu Lidong Zhou Gang Hu Junfeng Yang Lintao Zhang Proceedings of the 23rd ACM Symposium on Operating Systems Principles SOSP 11 October 2011 Our most recent and best model checking paper It describes a new reduction technique that decomposes a full distributed system into components and then explores the executions of these components in a divide and conquer way Software Crane our transparent state machine replication system AppDoctor our Android app checker Parrot our latest stable and deterministic multithreading system It has two goals 1 be practical and 2 be fast By default it schedules synchronizations in a round robin manner vastly reducing the set of schedules for reliability When needed it allows developers to add performance hints for speed Together with the code we also released a benchmark suite with 100 multithreaded programs and Parrot s complete results on these programs NeonGoby a system for effectively detecting errors in alias analysis one of the most crucial and widely used program analyses If you have an LLVM based alias analysis you want to check give NeonGoby a try Loom a live workaround system designed to quickly and safely bypass various types of concurrency errors at runtime It contains a generic engine for live updating multithreaded programs without restarts which you can leverage if you want to build a live update tool eXplode a storage system checker It uses an approach we call in situ model checking to thoroughly check general systems software in a lightweight manner People I m fortunate to work or have worked with these brilliant people Yang Tang PhD student Gang Hu PhD student Xinhao Yuan PhD student David Williams King PhD student Lingmei Weng PhD student Rui Gu PhD student Yinzhi Cao Postdoc research scientist 2014 2015 joined Lehigh University as a professor Yan Cui Postdoc research scientist 2013 2015 went to Intel Georgios Koloventzos MS 2016 Karthik Jayaraman MS 2016 Heming Cui PhD 2015 joined the University of Hong Kong as a professor Jingyue Wu PhD 2014 went to Google Chuliang Weng Visiting research scientist 2012 Oren Laadan Postdoc research scientist 2010 2011 founded Cellrox John Gallagher MS 2011 went to FourSquare Chia che Tsai MS 2011 went to Stony Brook for PhD Neetha Maria Sebastian MS 2011 went to

    Original URL path: http://www.cs.columbia.edu/~junfeng/ (2016-02-17)
    Open archived version from archive