nlp.cis.upenn.edu
Penn Natural Language Processing
Penn Natural Language Processing. Welcome to Natural Language Processing at Penn! Place: Levine 307, 3330 Walnut St. Time: 1:30pm - 3:00 pm, Monday. Feb 5th: Derry Wijaya (Upenn). Feb 12th: Dan Widyono (Upenn). Feb 19th: Joao Graca (Unbabel). A data-driven analysis of workers' earnings on Amazon Mechanical Turk. Studying the Dark Triad of Personality using Twitter Behavior. Question Answering as Global Reasoning over Semantic Abstractions. Learning Better Name Translation for Cross-Lingual Wikification.
netdb.cis.upenn.edu
NetDB@Penn
The NetDB@Penn research group is led by Professor Boon Thau Loo. Our group applies data-centric techniques and formal methods to the design, analysis, and implementation of distributed systems. We are currently interested in the development of new programming tools and analysis techniques that improve the process of designing, implementing, verifying, and securing large-scale distributed systems. We take an inter-disciplinary approach, combining ideas from databases, networking, programming langu...Congr...
netdb09.cis.upenn.edu
NetDB 2009: Networking Meets Databases
5th International Workshop on Networking Meets Databases, co-located with SOSP 2009. Session 1: Challenges at Large Scale (Session chair: Joe Hellerstein). Data Indexing for Stateful, Large-scale Data Processing. Dionysios Logothetis and Kenneth Yocum (UC San Diego). Scaling Online Social Networks without Pains. Josep M. Pujol, Geogos Siganos, Vijay Erramilli, Pablo Rodriguez (Telefonica Research). Generating Wide-Area Content-Based Publish/Subscribe Workloads. I Do Declare: Consensus in a Logic Language.
hotdep2011.cis.upenn.edu
HotDep '11
7th Workshop on Hot Topics in System Dependability (HotDep'11). 27 June 2011, Sheraton Hong Kong Hotel and Towers, Hong Kong, China. The Seventh Workshop on Hot Topics in System Dependability (HotDep '11) will be co-located with the 41st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'11). To be held June 27-30, 2011, in Hong Kong. Paper submissions due: March 6, 2011, 11:59pm PST. Notification to authors: April 12, 2011. Final papers due: May 1, 2011.
excape.cis.upenn.edu
Home | ExCAPE: Expeditions in Computer Augmented Program Engineering
Skip directly to: content. Programing for Mobile Platofrms. The goal of ExCAPE is to transform the way programmers develop software by advancing the theory and practice of software synthesis. In the proposed paradigm, a programmer can express insights through a variety of forms such as incomplete programs, example behaviors, and high-level requirements, and the synthesis tool generates the implementation relying on powerful analysis algorithms and programmer collaboration.
dbirday.cis.upenn.edu
Fall 08 Northeast DB/IR Day
Fall 2008 Northeast Database and Information Retrieval Day. Spr 08 DB/IR Day. Fall 07 DB/IR Day. Spr 07 DB/IR Day. Fall 06 DB/IR Day. Spr 06 DB/IR Day. Fall 05 DB/IR Day. Spr 05 DB/IR Day. Wu and Chen Auditorium. Tuesday, October 14, 2008. The Northeast DB/IR Day. Is a forum for bringing database, machine learning, and information retrieval researchers and students from the Northeast region of the US including both academic and research institutions. DB/IR Day. Modern computer architectures contain a var...
cg.cis.upenn.edu
Computer Graphics at the University of Pennsylvania
Undergraduate Digital Media Design program. Graduate Computer Graphics and Game Technology program. Center for Human Modeling and Simulation PhD research lab. Center for Digital Visualization. Summer 2018 Research Applications are open! We are excited to welcome. Chenfanfu Jiang to our faculty this coming fall as an. Assistant Professor of Computer Science and Information Science! Congratulations to Professor Jiang for his Best Paper Award at the Motion in Games Conference!
wripe11.cis.upenn.edu
WRiPE 2011: Workshop on Rigorous Protocol Engineering
1st International Workshop on Rigorous Protocol Engineering, co-located with ICNP 2011. We think the time is ripe for this type of workshop because (1) verification techniques have matured greatly in the last few decades, (2) verification tools such as model checkers, theorem provers, and SAT/SMT solvers have attracted a sizable user base, and (3) such techniques and tools have not traditionally been applied to network protocols (in particular IP, which is now the dominant networking technology). Domain ...
wics.cis.upenn.edu
Penn WiCS
Women in Computer Science at the University of Pennsylvania. The University of Pennsylvania Women in Computer Science student organization aims to foster a community for women in tech at Penn - including Computer Science, Computer Engineering, Computational Biology, Digital Media Design and Networked and Social Systems Engineering. Our purpose is to support and promote women in CS by encouraging discussion and raising awareness regarding issues surrounding Women in Computer Science. Join us at some of ou...
privacy.cis.upenn.edu
Putting Differential Privacy to Work
SOCIAL ENGAGEMENT