Philippe Suter

34 papers A* 4A 5B 7Journal 6Unranked 10

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Identifying Android library dependencies in the presence of code obfuscation and minimization. ICSE (Companion Volume) Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp
2017	—	`ch.`	Serverless Computing: Current Trends and Open Problems. Research Advances in Cloud Computing Ioana Baldini, Paul C. Castro, Kerry Shih-Ping Chang, Perry Cheng, Stephen Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Aleksander Slominski, Philippe Suter
2017	J	`jnl`	Serverless Computing: Current Trends and Open Problems. CoRR Ioana Baldini, Paul C. Castro, Kerry Shih-Ping Chang, Perry Cheng, Stephen J. Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric M. Rabbah, Aleksander Slominski, Philippe Suter
2017	—	`conf`	The serverless trilemma: function composition for serverless computing. Onward! Ioana Baldini, Perry Cheng, Stephen J. Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, Olivier Tardieu
2017	J	`jnl`	Who you gonna call? Analyzing Web Requests in Android Applications. CoRR Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
2017	A	`conf`	Who you gonna call?: analyzing web requests in Android applications. MSR Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
2016	A	`conf`	A look at the dynamics of the JavaScript package ecosystem. MSR Erik Wittern, Philippe Suter, Shriram Rajagopalan
2016	—	`conf`	Cloud-native, event-based programming for mobile applications. MOBILESoft Ioana Baldini, Paul C. Castro, Perry Cheng, Stephen J. Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter
2016	—	`conf`	Spreadsheets for stream processing with unbounded windows and partitions. DEBS Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
2015	—	`conf`	Distributed programming in Scala with APGAS. Scala@PLDI Philippe Suter, Olivier Tardieu, Josh Milthorpe
2015	—	`conf`	Inferring Web API Descriptions from Usage Data. HotWeb Philippe Suter, Erik Wittern
2015	—	`conf`	Spreadsheets for Stream Partitions and Windows. SEMS@ICSE Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
2015	J	`jnl`	Spreadsheets for Stream Partitions and Windows. CoRR Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
2014	A	`conf`	Stream Processing with a Spreadsheet. ECOOP Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
2013	—	`conf`	An overview of the Leon verification system: verification by translation to recursive functions. SCALA@ECOOP Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter
2013	—	`conf`	Effect Analysis for Programs with Callbacks. VSTTE Etienne Kneuss, Viktor Kuncak, Philippe Suter
2013	B	`conf`	Executing Specifications Using Synthesis and Constraint Solving. RV Viktor Kuncak, Etienne Kneuss, Philippe Suter
2013	J	`jnl`	Functional synthesis for linear arithmetic and sets. Int. J. Softw. Tools Technol. Transf. Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2013	J	`jnl`	On Integrating Deductive Synthesis and Verification Systems CoRR Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter
2013	B	`conf`	Reductions for Synthesis Procedures. VMCAI Swen Jacobs, Viktor Kuncak, Philippe Suter
2013	A	`conf`	Synthesis modulo recursive functions. OOPSLA Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter
2012	A*	`conf`	Constraints as control. POPL Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
2012	—	`—`	Programming with Specifications. Philippe Suter
2012	J	`jnl`	Software synthesis procedures. Commun. ACM Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2011	B	`conf`	Satisfiability Modulo Recursive Programs. SAS Philippe Suter, Ali Sinan Köksal, Viktor Kuncak
2011	A	`conf`	Scala to the Power of Z3: Integrating SMT and Programming. CADE Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
2011	B	`conf`	Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI Philippe Suter, Robin Steiger, Viktor Kuncak
2010	B	`conf`	Building a Calculus of Data Structures. VMCAI Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies
2010	A*	`conf`	Comfusy: A Tool for Complete Functional Synthesis. CAV Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2010	A*	`conf`	Complete functional synthesis. PLDI Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2010	A*	`conf`	Decision procedures for algebraic data types with abstractions. POPL Philippe Suter, Mirco Dotta, Viktor Kuncak
2010	B	`conf`	Ordered Sets in the Calculus of Data Structures. CSL Viktor Kuncak, Ruzica Piskac, Philippe Suter
2010	—	`conf`	Phantm: PHP analyzer for type mismatch. SIGSOFT FSE Etienne Kneuss, Philippe Suter, Viktor Kuncak
2010	B	`conf`	Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV Etienne Kneuss, Philippe Suter, Viktor Kuncak