1![A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017](https://www.pdfsearch.io/img/5fdb192c08a94a4ec86e79f2036b6622.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-09-19 11:02:58
|
---|
2![The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University](https://www.pdfsearch.io/img/aac26d80dfbf893d8eb5122afb0fb006.jpg) | Add to Reading ListSource URL: thev.netLanguage: English - Date: 2011-02-09 02:39:42
|
---|
3![Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/47ee5d91acbc665de48bb2a25c4259f3.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-04 05:12:57
|
---|
4![Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University](https://www.pdfsearch.io/img/a918bd98053fe3d177b2663c2ffd63eb.jpg) | Add to Reading ListSource URL: tlt2017.di.unito.itLanguage: English - Date: 2017-10-04 12:33:27
|
---|
5![Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di](https://www.pdfsearch.io/img/732544a91dff5cbdef340ba15059bccc.jpg) | Add to Reading ListSource URL: smeiklej.comLanguage: English - Date: 2018-10-23 14:58:02
|
---|
6![Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland](https://www.pdfsearch.io/img/15d3bc590dc52944955b250e73aab1e2.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:02
|
---|
7![October 12, 2018 VIA UPS and Electronic Mail Mr. J. Christopher Prue, R.Ph. MBA Vice President, Product Regulatory Science Fontem U.S. IncSouth Tyron Street, Suite 350 October 12, 2018 VIA UPS and Electronic Mail Mr. J. Christopher Prue, R.Ph. MBA Vice President, Product Regulatory Science Fontem U.S. IncSouth Tyron Street, Suite 350](https://www.pdfsearch.io/img/6aae3a673e2881fd6264f0b123e1cde7.jpg) | Add to Reading ListSource URL: www.fda.govLanguage: English |
---|
8![Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p](https://www.pdfsearch.io/img/bffa50c3cabd137ab83ea2812143f40e.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 15:58:45
|
---|
9![A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version. A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.](https://www.pdfsearch.io/img/ea6a3f847dc6bbcfde06c890a2dd3ccb.jpg) | Add to Reading ListSource URL: www.neven.orgLanguage: English - Date: 2012-04-18 06:07:38
|
---|
10![Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/275b93b15cf7e9fdf023ac6ff2c8bd00.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:59
|
---|