I am a research assistant professor at the Department of Computer and Information Science at the University of Pennsylvania. I am broadly interested in machine learning and programming languages research. at Stanford advised by Alex Aiken, and spent a year as a postdoc at MIT working with Armando Solar-Lezama. Verifiable Reinforcement Learning via Policy Extraction.
I am a research assistant professor at the Department of Computer and Information Science at the University of Pennsylvania. I am broadly interested in machine learning and programming languages research. at Stanford advised by Alex Aiken, and spent a year as a postdoc at MIT working with Armando Solar-Lezama. Verifiable Reinforcement Learning via Policy Extraction.Tags: Australian Assignment HelpFinancial Projections Template For Business PlanProud To Be A Canadian EssayVce Context Essay StructureAnti Globalization Movement EssayInitiative And Problem SolvingSearch For Dissertations Online
Keith Noah Snavely, Scene Reconstruction and Visualization from Internet Photo Collection.2008Krzysztof Gajos, Automatically Generating Personalized User Interface.
Tapan Parikh, Designing an Architecture for Delivering Mobile Information Services to the Rural Developing World.2007Lin Liao, Location-Based Activity Recognition.
Chida PDF Simulation Software as a Service and Service-Oriented Simulation Experiment, Song Guo PDF Connected Dominating Set Based Topology Control in Wireless Sensor Networks, Jing S.
He PDF Innovative Algorithms and Evaluation Methods for Biological Motif Finding, Wooyoung Kim PDF Algorithms for Transcriptome Quantification and Reconstruction from RNA-Seq Data, Serghei Mangul PDF Shadow Price Guided Genetic Algorithms, Gang Shen PDF DI-SEC: Distributed Security Framework for Heterogeneous Wireless Sensor Networks, Marco Valero PDF Resource Management in Survivable Multi-Granular Optical Networks, yang wang PDF Inferring Genomic Sequences, Irina A.
For such applications, there are many desirable correctness properties that machine learning models should satisfy, including safety, robustness, fairness, causality, and interpretability.
My work aims to address the following challenges: Osbert Bastani. Blackmon PDF Enhanced Web Search Engines with Query-Concept Bipartite Graphs, Yan Chen PDF Dynamic Data Driven Application System for Wildfire Spread Simulation, Feng Gu PDF A Framework for Group Modeling in Agent-Based Pedestrian Crowd Simulations, Fasheng Qiu PDF Using Network Traffic to Infer CPU and Memory Utilization for Cluster Grid Computing Applications, Lanier A.Watkins PDF Integrating Information Theory Measures and a Novel Rule-Set-Reduction Tech-nique to Improve Fuzzy Decision Tree Induction Algorithms, Nael Mohammed Abu-halaweh PDF Using the Discrete Wavelet Transform to Haar'd Code a Blind Digital Watermark, Evelyn R.Academic dissertation to be presented with the assent of the Doctoral Training Committee of Information Technology and Electrical Engineering of the University of Oulu for public defence in Kaljusensali (KTK112), Linnanmaa, on 26 September 2018, at 12 noon The concept of the Internet of Things (Io T) is driven by advancements of the Internet with the interconnection of heterogeneous smart objects using different networking and communication technologies.Among many underlying networking technologies for the Io T, Wireless Sensor Network (WSN) technology has become an integral building block.Atri Rudra, List Decoding and Property Testing of Error Correcting Codes.2006Aseem Agarwala, Authoring Effective Depictions of Reality by Combining Multiple Samples of the Plenoptic Function Mike Swift, Improving the Reliability of Commodity Operating Systems.2005Gerome Miklau, Confidentiality and Integrity in Distributed Data Exchange.Zasha Weinberg, Accurate Annotation of Non-Coding RNAs in Practical Time.2004Luke Mc Dowell, Meaning for the Mases: Theory and Applications for Semantic Web and Semantic Email Systems. [paper] [arxiv] [poster] [code] Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. [paper] [ar Xiv] Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi. [paper] [extended] [ar Xiv] [presentation] [code] Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand. [paper] [ar Xiv] [poster] [code] Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken. PDF Enterprise Data Mining & Machine Learning Framework on Cloud Computing for Investment Platforms, Narasimharao V.Casturi PDF Collaborative Edge Computing in Mobile Internet of Things, Ravishankar Chamarajnagar PDF Multicast Aware Virtual Network Embedding in Software Defined Networks, Evrim Guler PDF Game Theory Based Privacy Protection for Context-Aware Services, Yan Huang PDF TOWARDS AI-ASSISTED DISEASE DIAGNOSIS: LEARNING DEEP FEATURE REPRESENTATIONS FOR MEDICAL IMAGE ANALYSIS, Jyoti Islam PDF High Performance Frequent Subgraph Mining on Transactional Datasets, Bismita Jena PDF Animating Predator and Prey Fish Interactions, Sahithi Podila PDF A Heterogeneous High Performance Computing Framework For Ill-Structured Spatial Join Processing, Danial Aghajarian PDF Incentive Mechanism Design in Mobile Crowdsensing Systems, Zhuojun Duan PDF Privacy Preserving Data Publishing, Zaobo He PDF Service Function Graph Design And Embedding In Next Generation Internet, Maryamsadat Jalalitabar PDF Sparse Coding for Event Tracking and Image Retrieval, Dustin J.